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.r195-smll-167840342400456.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is HirschbergSinclair-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342400456
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 800K
-rw-r--r-- 1 mcc users 14K Feb 26 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 02:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 02:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 02:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 02:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 69K Feb 26 02:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 284K Mar 5 18:22 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 1678526273266

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HirschbergSinclair-PT-20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 530 places, 485 transitions, 1479 arcs.
AT ITER 0 NEW BEST:: SOT 208920 SOS 117197 HAS SOPS 117197 HAS SOUS 116952 HAS SOUPS 116952 WITH SCORE 117069.197
AT ITER 1 NEW BEST:: SOT 208420 SOS 120839 HAS SOPS 120839 HAS SOUS 116841 HAS SOUPS 116841 WITH SCORE 116961.839
AT ITER 5 NEW BEST:: SOT 208420 SOS 120751 HAS SOPS 120751 HAS SOUS 116753 HAS SOUPS 116753 WITH SCORE 116873.751
AT ITER 7 NEW BEST:: SOT 208420 SOS 120613 HAS SOPS 120613 HAS SOUS 116615 HAS SOUPS 116615 WITH SCORE 116735.613
AT ITER 8 NEW BEST:: SOT 208420 SOS 120349 HAS SOPS 120349 HAS SOUS 116351 HAS SOUPS 116351 WITH SCORE 116471.349
AT ITER 12 NEW BEST:: SOT 207600 SOS 122516 HAS SOPS 122516 HAS SOUS 115745 HAS SOUPS 115745 WITH SCORE 115867.516
AT ITER 13 NEW BEST:: SOT 207600 SOS 122223 HAS SOPS 122223 HAS SOUS 115452 HAS SOUPS 115452 WITH SCORE 115574.223
AT ITER 14 NEW BEST:: SOT 207600 SOS 122217 HAS SOPS 122217 HAS SOUS 115446 HAS SOUPS 115446 WITH SCORE 115568.217
AT ITER 15 NEW BEST:: SOT 207600 SOS 122191 HAS SOPS 122191 HAS SOUS 115420 HAS SOUPS 115420 WITH SCORE 115542.191
AT ITER 21 NEW BEST:: SOT 206558 SOS 121196 HAS SOPS 121196 HAS SOUS 114425 HAS SOUPS 114425 WITH SCORE 114546.196
AT ITER 31 NEW BEST:: SOT 206558 SOS 120809 HAS SOPS 120809 HAS SOUS 114038 HAS SOUPS 114038 WITH SCORE 114158.809
AT ITER 34 NEW BEST:: SOT 206558 SOS 120795 HAS SOPS 120795 HAS SOUS 114024 HAS SOUPS 114024 WITH SCORE 114144.795
AT ITER 37 NEW BEST:: SOT 205327 SOS 119625 HAS SOPS 119625 HAS SOUS 112854 HAS SOUPS 112854 WITH SCORE 112973.625
AT ITER 45 NEW BEST:: SOT 203290 SOS 121266 HAS SOPS 121266 HAS SOUS 111345 HAS SOUPS 111345 WITH SCORE 111466.266
AT ITER 50 NEW BEST:: SOT 203290 SOS 121204 HAS SOPS 121204 HAS SOUS 111283 HAS SOUPS 111283 WITH SCORE 111404.204
AT ITER 53 NEW BEST:: SOT 203108 SOS 120841 HAS SOPS 120841 HAS SOUS 110952 HAS SOUPS 110952 WITH SCORE 111072.841
AT ITER 57 NEW BEST:: SOT 203108 SOS 120827 HAS SOPS 120827 HAS SOUS 110938 HAS SOUPS 110938 WITH SCORE 111058.827
AT ITER 58 NEW BEST:: SOT 203108 SOS 120470 HAS SOPS 120470 HAS SOUS 110581 HAS SOUPS 110581 WITH SCORE 110701.47
AT ITER 59 NEW BEST:: SOT 203108 SOS 120462 HAS SOPS 120462 HAS SOUS 110573 HAS SOUPS 110573 WITH SCORE 110693.462
AT ITER 62 NEW BEST:: SOT 203108 SOS 120436 HAS SOPS 120436 HAS SOUS 110547 HAS SOUPS 110547 WITH SCORE 110667.436
AT ITER 63 NEW BEST:: SOT 200441 SOS 118063 HAS SOPS 118063 HAS SOUS 108077 HAS SOUPS 108077 WITH SCORE 108195.063
AT ITER 66 NEW BEST:: SOT 200441 SOS 118062 HAS SOPS 118062 HAS SOUS 108076 HAS SOUPS 108076 WITH SCORE 108194.062
AT ITER 70 NEW BEST:: SOT 200441 SOS 117777 HAS SOPS 117777 HAS SOUS 107791 HAS SOUPS 107791 WITH SCORE 107908.777
AT ITER 77 NEW BEST:: SOT 200441 SOS 117744 HAS SOPS 117744 HAS SOUS 107758 HAS SOUPS 107758 WITH SCORE 107875.744
AT ITER 80 NEW BEST:: SOT 200236 SOS 117422 HAS SOPS 117422 HAS SOUS 107581 HAS SOUPS 107581 WITH SCORE 107698.422
AT ITER 81 NEW BEST:: SOT 199706 SOS 116921 HAS SOPS 116921 HAS SOUS 107080 HAS SOUPS 107080 WITH SCORE 107196.921
AT ITER 83 NEW BEST:: SOT 198276 SOS 115671 HAS SOPS 115671 HAS SOUS 105803 HAS SOUPS 105803 WITH SCORE 105918.671
AT ITER 92 NEW BEST:: SOT 198276 SOS 115478 HAS SOPS 115478 HAS SOUS 105610 HAS SOUPS 105610 WITH SCORE 105725.478
AT ITER 93 NEW BEST:: SOT 198023 SOS 115225 HAS SOPS 115225 HAS SOUS 105357 HAS SOUPS 105357 WITH SCORE 105472.225
AT ITER 94 NEW BEST:: SOT 195067 SOS 112390 HAS SOPS 112390 HAS SOUS 102474 HAS SOUPS 102474 WITH SCORE 102586.39
AT ITER 95 NEW BEST:: SOT 194951 SOS 112345 HAS SOPS 112345 HAS SOUS 102211 HAS SOUPS 102211 WITH SCORE 102323.345
AT ITER 99 NEW BEST:: SOT 192437 SOS 110302 HAS SOPS 110302 HAS SOUS 99699 HAS SOUPS 99699 WITH SCORE 99809.302
AT ITER 100 NEW BEST:: SOT 192410 SOS 110274 HAS SOPS 110274 HAS SOUS 99671 HAS SOUPS 99671 WITH SCORE 99781.274
AT ITER 108 NEW BEST:: SOT 192343 SOS 110207 HAS SOPS 110207 HAS SOUS 99604 HAS SOUPS 99604 WITH SCORE 99714.207
AT ITER 110 NEW BEST:: SOT 192343 SOS 110146 HAS SOPS 110146 HAS SOUS 99543 HAS SOUPS 99543 WITH SCORE 99653.146
AT ITER 114 NEW BEST:: SOT 192343 SOS 109996 HAS SOPS 109996 HAS SOUS 99489 HAS SOUPS 99489 WITH SCORE 99598.996
AT ITER 118 NEW BEST:: SOT 192012 SOS 109664 HAS SOPS 109664 HAS SOUS 99323 HAS SOUPS 99323 WITH SCORE 99432.664
AT ITER 125 NEW BEST:: SOT 192010 SOS 109662 HAS SOPS 109662 HAS SOUS 99321 HAS SOUPS 99321 WITH SCORE 99430.662
AT ITER 127 NEW BEST:: SOT 192010 SOS 109649 HAS SOPS 109649 HAS SOUS 99308 HAS SOUPS 99308 WITH SCORE 99417.649
AT ITER 128 NEW BEST:: SOT 191960 SOS 109619 HAS SOPS 109619 HAS SOUS 99278 HAS SOUPS 99278 WITH SCORE 99387.619
AT ITER 129 NEW BEST:: SOT 191960 SOS 109464 HAS SOPS 109464 HAS SOUS 99123 HAS SOUPS 99123 WITH SCORE 99232.464
AT ITER 135 NEW BEST:: SOT 191922 SOS 109462 HAS SOPS 109462 HAS SOUS 99121 HAS SOUPS 99121 WITH SCORE 99230.462
AT ITER 139 NEW BEST:: SOT 191904 SOS 109444 HAS SOPS 109444 HAS SOUS 99103 HAS SOUPS 99103 WITH SCORE 99212.444
AT ITER 141 NEW BEST:: SOT 188114 SOS 108425 HAS SOPS 108425 HAS SOUS 95504 HAS SOUPS 95504 WITH SCORE 95612.425
AT ITER 151 NEW BEST:: SOT 188114 SOS 108347 HAS SOPS 108347 HAS SOUS 95426 HAS SOUPS 95426 WITH SCORE 95534.347
AT ITER 153 NEW BEST:: SOT 187960 SOS 108084 HAS SOPS 108084 HAS SOUS 95411 HAS SOUPS 95411 WITH SCORE 95519.084
AT ITER 154 NEW BEST:: SOT 187960 SOS 107752 HAS SOPS 107752 HAS SOUS 95079 HAS SOUPS 95079 WITH SCORE 95186.752
AT ITER 158 NEW BEST:: SOT 186339 SOS 106376 HAS SOPS 106376 HAS SOUS 93681 HAS SOUPS 93681 WITH SCORE 93787.376
AT ITER 162 NEW BEST:: SOT 186339 SOS 106290 HAS SOPS 106290 HAS SOUS 93681 HAS SOUPS 93681 WITH SCORE 93787.29
AT ITER 163 NEW BEST:: SOT 186323 SOS 106274 HAS SOPS 106274 HAS SOUS 93665 HAS SOUPS 93665 WITH SCORE 93771.274
AT ITER 167 NEW BEST:: SOT 186409 SOS 106286 HAS SOPS 106286 HAS SOUS 93585 HAS SOUPS 93585 WITH SCORE 93691.286
AT ITER 169 NEW BEST:: SOT 186279 SOS 106056 HAS SOPS 106056 HAS SOUS 93355 HAS SOUPS 93355 WITH SCORE 93461.056
AT ITER 173 NEW BEST:: SOT 186159 SOS 105935 HAS SOPS 105935 HAS SOUS 93234 HAS SOUPS 93234 WITH SCORE 93339.935
AT ITER 176 NEW BEST:: SOT 186157 SOS 105933 HAS SOPS 105933 HAS SOUS 93232 HAS SOUPS 93232 WITH SCORE 93337.933
AT ITER 187 NEW BEST:: SOT 186157 SOS 105910 HAS SOPS 105910 HAS SOUS 93209 HAS SOUPS 93209 WITH SCORE 93314.91
AT ITER 189 NEW BEST:: SOT 186157 SOS 105905 HAS SOPS 105905 HAS SOUS 93204 HAS SOUPS 93204 WITH SCORE 93309.905
AT ITER 191 NEW BEST:: SOT 186157 SOS 105866 HAS SOPS 105866 HAS SOUS 93165 HAS SOUPS 93165 WITH SCORE 93270.866
AT ITER 193 NEW BEST:: SOT 183616 SOS 103909 HAS SOPS 103909 HAS SOUS 90771 HAS SOUPS 90771 WITH SCORE 90874.909
AT ITER 200 NEW BEST:: SOT 183616 SOS 103872 HAS SOPS 103872 HAS SOUS 90734 HAS SOUPS 90734 WITH SCORE 90837.872
AT ITER 202 NEW BEST:: SOT 183616 SOS 103840 HAS SOPS 103840 HAS SOUS 90702 HAS SOUPS 90702 WITH SCORE 90805.84
AT ITER 206 NEW BEST:: SOT 180869 SOS 103500 HAS SOPS 103500 HAS SOUS 88427 HAS SOUPS 88427 WITH SCORE 88530.5
AT ITER 210 NEW BEST:: SOT 180821 SOS 103272 HAS SOPS 103272 HAS SOUS 88029 HAS SOUPS 88029 WITH SCORE 88132.272
AT ITER 211 NEW BEST:: SOT 180821 SOS 103220 HAS SOPS 103220 HAS SOUS 87944 HAS SOUPS 87944 WITH SCORE 88047.22
AT ITER 217 NEW BEST:: SOT 180844 SOS 103252 HAS SOPS 103252 HAS SOUS 87871 HAS SOUPS 87871 WITH SCORE 87974.252
AT ITER 222 NEW BEST:: SOT 180763 SOS 102827 HAS SOPS 102827 HAS SOUS 87618 HAS SOUPS 87618 WITH SCORE 87720.827
AT ITER 223 NEW BEST:: SOT 180439 SOS 102449 HAS SOPS 102449 HAS SOUS 87438 HAS SOUPS 87438 WITH SCORE 87540.449
AT ITER 225 NEW BEST:: SOT 180421 SOS 102413 HAS SOPS 102413 HAS SOUS 87420 HAS SOUPS 87420 WITH SCORE 87522.413
AT ITER 230 NEW BEST:: SOT 180396 SOS 102388 HAS SOPS 102388 HAS SOUS 87395 HAS SOUPS 87395 WITH SCORE 87497.388
AT ITER 233 NEW BEST:: SOT 180367 SOS 102157 HAS SOPS 102157 HAS SOUS 87164 HAS SOUPS 87164 WITH SCORE 87266.157
AT ITER 236 NEW BEST:: SOT 180090 SOS 101666 HAS SOPS 101666 HAS SOUS 87102 HAS SOUPS 87102 WITH SCORE 87203.666
AT ITER 242 NEW BEST:: SOT 179908 SOS 101389 HAS SOPS 101389 HAS SOUS 86966 HAS SOUPS 86966 WITH SCORE 87067.389
AT ITER 244 NEW BEST:: SOT 179908 SOS 101366 HAS SOPS 101366 HAS SOUS 86966 HAS SOUPS 86966 WITH SCORE 87067.366
AT ITER 246 NEW BEST:: SOT 179908 SOS 101365 HAS SOPS 101365 HAS SOUS 86965 HAS SOUPS 86965 WITH SCORE 87066.365
AT ITER 248 NEW BEST:: SOT 179652 SOS 100903 HAS SOPS 100903 HAS SOUS 86503 HAS SOUPS 86503 WITH SCORE 86603.903
AT ITER 251 NEW BEST:: SOT 179652 SOS 100874 HAS SOPS 100874 HAS SOUS 86474 HAS SOUPS 86474 WITH SCORE 86574.874
AT ITER 252 NEW BEST:: SOT 179733 SOS 100854 HAS SOPS 100854 HAS SOUS 86434 HAS SOUPS 86434 WITH SCORE 86534.854
AT ITER 253 NEW BEST:: SOT 179733 SOS 100767 HAS SOPS 100767 HAS SOUS 86347 HAS SOUPS 86347 WITH SCORE 86447.767
AT ITER 263 NEW BEST:: SOT 179553 SOS 100373 HAS SOPS 100373 HAS SOUS 86117 HAS SOUPS 86117 WITH SCORE 86217.373
AT ITER 264 NEW BEST:: SOT 179388 SOS 100086 HAS SOPS 100086 HAS SOUS 85866 HAS SOUPS 85866 WITH SCORE 85966.086
AT ITER 265 NEW BEST:: SOT 179287 SOS 99892 HAS SOPS 99892 HAS SOUS 85672 HAS SOUPS 85672 WITH SCORE 85771.892
AT ITER 269 NEW BEST:: SOT 179287 SOS 99783 HAS SOPS 99783 HAS SOUS 85610 HAS SOUPS 85610 WITH SCORE 85709.783
AT ITER 270 NEW BEST:: SOT 179179 SOS 99735 HAS SOPS 99735 HAS SOUS 85590 HAS SOUPS 85590 WITH SCORE 85689.735
AT ITER 272 NEW BEST:: SOT 176920 SOS 100978 HAS SOPS 100978 HAS SOUS 83761 HAS SOUPS 83761 WITH SCORE 83861.978
AT ITER 273 NEW BEST:: SOT 177028 SOS 100969 HAS SOPS 100969 HAS SOUS 83612 HAS SOUPS 83612 WITH SCORE 83712.969
AT ITER 274 NEW BEST:: SOT 176931 SOS 100745 HAS SOPS 100745 HAS SOUS 83470 HAS SOUPS 83470 WITH SCORE 83570.745
AT ITER 276 NEW BEST:: SOT 176922 SOS 100736 HAS SOPS 100736 HAS SOUS 83408 HAS SOUPS 83408 WITH SCORE 83508.736
AT ITER 280 NEW BEST:: SOT 176886 SOS 100700 HAS SOPS 100700 HAS SOUS 83372 HAS SOUPS 83372 WITH SCORE 83472.7
AT ITER 283 NEW BEST:: SOT 176704 SOS 100231 HAS SOPS 100231 HAS SOUS 83008 HAS SOUPS 83008 WITH SCORE 83108.231
AT ITER 285 NEW BEST:: SOT 176674 SOS 100104 HAS SOPS 100104 HAS SOUS 82940 HAS SOUPS 82940 WITH SCORE 83040.104
AT ITER 295 NEW BEST:: SOT 176688 SOS 100281 HAS SOPS 100281 HAS SOUS 82936 HAS SOUPS 82936 WITH SCORE 83036.281
AT ITER 298 NEW BEST:: SOT 176688 SOS 100273 HAS SOPS 100273 HAS SOUS 82928 HAS SOUPS 82928 WITH SCORE 83028.273
AT ITER 301 NEW BEST:: SOT 176685 SOS 100270 HAS SOPS 100270 HAS SOUS 82925 HAS SOUPS 82925 WITH SCORE 83025.27
AT ITER 304 NEW BEST:: SOT 176544 SOS 99994 HAS SOPS 99994 HAS SOUS 82662 HAS SOUPS 82662 WITH SCORE 82761.994
AT ITER 306 NEW BEST:: SOT 176361 SOS 99546 HAS SOPS 99546 HAS SOUS 82397 HAS SOUPS 82397 WITH SCORE 82496.546
AT ITER 311 NEW BEST:: SOT 176361 SOS 99545 HAS SOPS 99545 HAS SOUS 82396 HAS SOUPS 82396 WITH SCORE 82495.545
AT ITER 314 NEW BEST:: SOT 176361 SOS 99545 HAS SOPS 99545 HAS SOUS 82326 HAS SOUPS 82326 WITH SCORE 82425.545
AT ITER 315 NEW BEST:: SOT 176320 SOS 99504 HAS SOPS 99504 HAS SOUS 82257 HAS SOUPS 82257 WITH SCORE 82356.504
AT ITER 319 NEW BEST:: SOT 176294 SOS 99435 HAS SOPS 99435 HAS SOUS 82188 HAS SOUPS 82188 WITH SCORE 82287.435
AT ITER 320 NEW BEST:: SOT 176294 SOS 99536 HAS SOPS 99536 HAS SOUS 82137 HAS SOUPS 82137 WITH SCORE 82236.536
AT ITER 325 NEW BEST:: SOT 176149 SOS 99115 HAS SOPS 99115 HAS SOUS 81901 HAS SOUPS 81901 WITH SCORE 82000.115
AT ITER 327 NEW BEST:: SOT 176168 SOS 99311 HAS SOPS 99311 HAS SOUS 81748 HAS SOUPS 81748 WITH SCORE 81847.311
AT ITER 329 NEW BEST:: SOT 176152 SOS 99268 HAS SOPS 99268 HAS SOUS 81678 HAS SOUPS 81678 WITH SCORE 81777.268
AT ITER 340 NEW BEST:: SOT 176152 SOS 99243 HAS SOPS 99243 HAS SOUS 81653 HAS SOUPS 81653 WITH SCORE 81752.243
AT ITER 342 NEW BEST:: SOT 176152 SOS 99221 HAS SOPS 99221 HAS SOUS 81642 HAS SOUPS 81642 WITH SCORE 81741.221
AT ITER 343 NEW BEST:: SOT 175888 SOS 98977 HAS SOPS 98977 HAS SOUS 81394 HAS SOUPS 81394 WITH SCORE 81492.977
AT ITER 344 NEW BEST:: SOT 175758 SOS 98814 HAS SOPS 98814 HAS SOUS 81236 HAS SOUPS 81236 WITH SCORE 81334.814
AT ITER 348 NEW BEST:: SOT 175740 SOS 98760 HAS SOPS 98760 HAS SOUS 81182 HAS SOUPS 81182 WITH SCORE 81280.76
AT ITER 352 NEW BEST:: SOT 175740 SOS 98722 HAS SOPS 98722 HAS SOUS 81144 HAS SOUPS 81144 WITH SCORE 81242.722
AT ITER 353 NEW BEST:: SOT 175650 SOS 98632 HAS SOPS 98632 HAS SOUS 80964 HAS SOUPS 80964 WITH SCORE 81062.632
AT ITER 355 NEW BEST:: SOT 175635 SOS 98617 HAS SOPS 98617 HAS SOUS 80949 HAS SOUPS 80949 WITH SCORE 81047.617
AT ITER 359 NEW BEST:: SOT 175550 SOS 98532 HAS SOPS 98532 HAS SOUS 80864 HAS SOUPS 80864 WITH SCORE 80962.532
AT ITER 363 NEW BEST:: SOT 175573 SOS 98555 HAS SOPS 98555 HAS SOUS 80680 HAS SOUPS 80680 WITH SCORE 80778.555
AT ITER 368 NEW BEST:: SOT 175573 SOS 98555 HAS SOPS 98555 HAS SOUS 80667 HAS SOUPS 80667 WITH SCORE 80765.555
AT ITER 372 NEW BEST:: SOT 175573 SOS 98512 HAS SOPS 98512 HAS SOUS 80557 HAS SOUPS 80557 WITH SCORE 80655.512
AT ITER 375 NEW BEST:: SOT 173634 SOS 97559 HAS SOPS 97559 HAS SOUS 78768 HAS SOUPS 78768 WITH SCORE 78865.559
AT ITER 377 NEW BEST:: SOT 173571 SOS 97456 HAS SOPS 97456 HAS SOUS 78642 HAS SOUPS 78642 WITH SCORE 78739.456
AT ITER 378 NEW BEST:: SOT 172627 SOS 96624 HAS SOPS 96624 HAS SOUS 77804 HAS SOUPS 77804 WITH SCORE 77900.624
AT ITER 386 NEW BEST:: SOT 172627 SOS 96589 HAS SOPS 96589 HAS SOUS 77769 HAS SOUPS 77769 WITH SCORE 77865.589
AT ITER 389 NEW BEST:: SOT 172627 SOS 96543 HAS SOPS 96543 HAS SOUS 77769 HAS SOUPS 77769 WITH SCORE 77865.543
AT ITER 392 NEW BEST:: SOT 172286 SOS 96222 HAS SOPS 96222 HAS SOUS 77448 HAS SOUPS 77448 WITH SCORE 77544.222
AT ITER 393 NEW BEST:: SOT 172246 SOS 96172 HAS SOPS 96172 HAS SOUS 77419 HAS SOUPS 77419 WITH SCORE 77515.172
AT ITER 395 NEW BEST:: SOT 172246 SOS 96102 HAS SOPS 96102 HAS SOUS 77349 HAS SOUPS 77349 WITH SCORE 77445.102
AT ITER 398 NEW BEST:: SOT 172092 SOS 95948 HAS SOPS 95948 HAS SOUS 77195 HAS SOUPS 77195 WITH SCORE 77290.948
AT ITER 399 NEW BEST:: SOT 172092 SOS 95811 HAS SOPS 95811 HAS SOUS 77058 HAS SOUPS 77058 WITH SCORE 77153.811
AT ITER 405 NEW BEST:: SOT 172090 SOS 95809 HAS SOPS 95809 HAS SOUS 77056 HAS SOUPS 77056 WITH SCORE 77151.809
AT ITER 413 NEW BEST:: SOT 172090 SOS 95745 HAS SOPS 95745 HAS SOUS 76992 HAS SOUPS 76992 WITH SCORE 77087.745
AT ITER 414 NEW BEST:: SOT 172001 SOS 95654 HAS SOPS 95654 HAS SOUS 76904 HAS SOUPS 76904 WITH SCORE 76999.654
AT ITER 415 NEW BEST:: SOT 170086 SOS 95360 HAS SOPS 95360 HAS SOUS 75181 HAS SOUPS 75181 WITH SCORE 75276.36
AT ITER 418 NEW BEST:: SOT 170086 SOS 95301 HAS SOPS 95301 HAS SOUS 75122 HAS SOUPS 75122 WITH SCORE 75217.301
AT ITER 424 NEW BEST:: SOT 170029 SOS 95229 HAS SOPS 95229 HAS SOUS 75050 HAS SOUPS 75050 WITH SCORE 75145.229
AT ITER 426 NEW BEST:: SOT 170039 SOS 95239 HAS SOPS 95239 HAS SOUS 74985 HAS SOUPS 74985 WITH SCORE 75080.239
AT ITER 429 NEW BEST:: SOT 170039 SOS 95176 HAS SOPS 95176 HAS SOUS 74922 HAS SOUPS 74922 WITH SCORE 75017.176
AT ITER 430 NEW BEST:: SOT 170039 SOS 95146 HAS SOPS 95146 HAS SOUS 74892 HAS SOUPS 74892 WITH SCORE 74987.146
AT ITER 445 NEW BEST:: SOT 169947 SOS 95054 HAS SOPS 95054 HAS SOUS 74800 HAS SOUPS 74800 WITH SCORE 74895.054
AT ITER 446 NEW BEST:: SOT 169686 SOS 94626 HAS SOPS 94626 HAS SOUS 74394 HAS SOUPS 74394 WITH SCORE 74488.626
AT ITER 448 NEW BEST:: SOT 169579 SOS 94428 HAS SOPS 94428 HAS SOUS 74196 HAS SOUPS 74196 WITH SCORE 74290.428
AT ITER 458 NEW BEST:: SOT 169497 SOS 94182 HAS SOPS 94182 HAS SOUS 74032 HAS SOUPS 74032 WITH SCORE 74126.182
AT ITER 460 NEW BEST:: SOT 169475 SOS 93994 HAS SOPS 93994 HAS SOUS 73901 HAS SOUPS 73901 WITH SCORE 73994.994
AT ITER 462 NEW BEST:: SOT 169398 SOS 93737 HAS SOPS 93737 HAS SOUS 73524 HAS SOUPS 73524 WITH SCORE 73617.737
AT ITER 474 NEW BEST:: SOT 169398 SOS 93676 HAS SOPS 93676 HAS SOUS 73463 HAS SOUPS 73463 WITH SCORE 73556.676
AT ITER 476 NEW BEST:: SOT 169398 SOS 93674 HAS SOPS 93674 HAS SOUS 73461 HAS SOUPS 73461 WITH SCORE 73554.674
AT ITER 479 NEW BEST:: SOT 169322 SOS 93562 HAS SOPS 93562 HAS SOUS 73349 HAS SOUPS 73349 WITH SCORE 73442.562
AT ITER 485 NEW BEST:: SOT 167068 SOS 92561 HAS SOPS 92561 HAS SOUS 71514 HAS SOUPS 71514 WITH SCORE 71606.561
AT ITER 487 NEW BEST:: SOT 167060 SOS 92529 HAS SOPS 92529 HAS SOUS 71490 HAS SOUPS 71490 WITH SCORE 71582.529
AT ITER 491 NEW BEST:: SOT 167051 SOS 92507 HAS SOPS 92507 HAS SOUS 71472 HAS SOUPS 71472 WITH SCORE 71564.507
AT ITER 496 NEW BEST:: SOT 167042 SOS 92464 HAS SOPS 92464 HAS SOUS 71442 HAS SOUPS 71442 WITH SCORE 71534.464
AT ITER 526 NEW BEST:: SOT 167015 SOS 92437 HAS SOPS 92437 HAS SOUS 71388 HAS SOUPS 71388 WITH SCORE 71480.437
AT ITER 528 NEW BEST:: SOT 166996 SOS 92418 HAS SOPS 92418 HAS SOUS 71350 HAS SOUPS 71350 WITH SCORE 71442.418
AT ITER 538 NEW BEST:: SOT 166961 SOS 92383 HAS SOPS 92383 HAS SOUS 71280 HAS SOUPS 71280 WITH SCORE 71372.383
AT ITER 539 NEW BEST:: SOT 166923 SOS 92269 HAS SOPS 92269 HAS SOUS 71242 HAS SOUPS 71242 WITH SCORE 71334.269
AT ITER 542 NEW BEST:: SOT 166823 SOS 91967 HAS SOPS 91967 HAS SOUS 71024 HAS SOUPS 71024 WITH SCORE 71115.967
AT ITER 543 NEW BEST:: SOT 166815 SOS 91951 HAS SOPS 91951 HAS SOUS 71020 HAS SOUPS 71020 WITH SCORE 71111.951
AT ITER 545 NEW BEST:: SOT 166788 SOS 91848 HAS SOPS 91848 HAS SOUS 70917 HAS SOUPS 70917 WITH SCORE 71008.848
AT ITER 546 NEW BEST:: SOT 166694 SOS 91754 HAS SOPS 91754 HAS SOUS 70823 HAS SOUPS 70823 WITH SCORE 70914.754
AT ITER 549 NEW BEST:: SOT 166694 SOS 91772 HAS SOPS 91772 HAS SOUS 70743 HAS SOUPS 70743 WITH SCORE 70834.772
AT ITER 559 NEW BEST:: SOT 166666 SOS 91720 HAS SOPS 91720 HAS SOUS 70719 HAS SOUPS 70719 WITH SCORE 70810.72
AT ITER 561 NEW BEST:: SOT 164472 SOS 93077 HAS SOPS 93077 HAS SOUS 69182 HAS SOUPS 69182 WITH SCORE 69275.077
AT ITER 562 NEW BEST:: SOT 164530 SOS 93135 HAS SOPS 93135 HAS SOUS 69124 HAS SOUPS 69124 WITH SCORE 69217.135
AT ITER 565 NEW BEST:: SOT 164502 SOS 93107 HAS SOPS 93107 HAS SOUS 69068 HAS SOUPS 69068 WITH SCORE 69161.107
AT ITER 572 NEW BEST:: SOT 163409 SOS 94280 HAS SOPS 94280 HAS SOUS 68296 HAS SOUPS 68296 WITH SCORE 68390.28
AT ITER 575 NEW BEST:: SOT 163274 SOS 94145 HAS SOPS 94145 HAS SOUS 67931 HAS SOUPS 67931 WITH SCORE 68025.145
AT ITER 579 NEW BEST:: SOT 163269 SOS 94115 HAS SOPS 94115 HAS SOUS 67922 HAS SOUPS 67922 WITH SCORE 68016.115
AT ITER 595 NEW BEST:: SOT 163212 SOS 94051 HAS SOPS 94051 HAS SOUS 67801 HAS SOUPS 67801 WITH SCORE 67895.051
AT ITER 602 NEW BEST:: SOT 162943 SOS 93644 HAS SOPS 93644 HAS SOUS 67485 HAS SOUPS 67485 WITH SCORE 67578.644
AT ITER 603 NEW BEST:: SOT 162857 SOS 93553 HAS SOPS 93553 HAS SOUS 67394 HAS SOUPS 67394 WITH SCORE 67487.553
AT ITER 618 NEW BEST:: SOT 162790 SOS 93486 HAS SOPS 93486 HAS SOUS 67327 HAS SOUPS 67327 WITH SCORE 67420.486
AT ITER 621 NEW BEST:: SOT 162708 SOS 93404 HAS SOPS 93404 HAS SOUS 67253 HAS SOUPS 67253 WITH SCORE 67346.404
AT ITER 625 NEW BEST:: SOT 162708 SOS 93162 HAS SOPS 93162 HAS SOUS 67011 HAS SOUPS 67011 WITH SCORE 67104.162
AT ITER 629 NEW BEST:: SOT 162711 SOS 93165 HAS SOPS 93165 HAS SOUS 66924 HAS SOUPS 66924 WITH SCORE 67017.165
AT ITER 631 NEW BEST:: SOT 162657 SOS 92975 HAS SOPS 92975 HAS SOUS 66680 HAS SOUPS 66680 WITH SCORE 66772.975
AT ITER 632 NEW BEST:: SOT 162625 SOS 92943 HAS SOPS 92943 HAS SOUS 66616 HAS SOUPS 66616 WITH SCORE 66708.943
AT ITER 635 NEW BEST:: SOT 162625 SOS 92757 HAS SOPS 92757 HAS SOUS 66616 HAS SOUPS 66616 WITH SCORE 66708.757
AT ITER 639 NEW BEST:: SOT 162659 SOS 92777 HAS SOPS 92777 HAS SOUS 66603 HAS SOUPS 66603 WITH SCORE 66695.777
AT ITER 648 NEW BEST:: SOT 162749 SOS 92794 HAS SOPS 92794 HAS SOUS 66598 HAS SOUPS 66598 WITH SCORE 66690.794
AT ITER 650 NEW BEST:: SOT 162437 SOS 92482 HAS SOPS 92482 HAS SOUS 65974 HAS SOUPS 65974 WITH SCORE 66066.482
AT ITER 655 NEW BEST:: SOT 162367 SOS 92517 HAS SOPS 92517 HAS SOUS 65831 HAS SOUPS 65831 WITH SCORE 65923.517
AT ITER 662 NEW BEST:: SOT 158278 SOS 91011 HAS SOPS 91011 HAS SOUS 62027 HAS SOUPS 62027 WITH SCORE 62118.011
AT ITER 663 NEW BEST:: SOT 158259 SOS 90992 HAS SOPS 90992 HAS SOUS 62008 HAS SOUPS 62008 WITH SCORE 62098.992
AT ITER 664 NEW BEST:: SOT 158256 SOS 90989 HAS SOPS 90989 HAS SOUS 62005 HAS SOUPS 62005 WITH SCORE 62095.989
AT ITER 666 NEW BEST:: SOT 158216 SOS 90949 HAS SOPS 90949 HAS SOUS 61965 HAS SOUPS 61965 WITH SCORE 62055.949
AT ITER 667 NEW BEST:: SOT 158205 SOS 90924 HAS SOPS 90924 HAS SOUS 61932 HAS SOUPS 61932 WITH SCORE 62022.924
AT ITER 685 NEW BEST:: SOT 157086 SOS 93225 HAS SOPS 93225 HAS SOUS 61294 HAS SOUPS 61294 WITH SCORE 61387.225
AT ITER 696 NEW BEST:: SOT 157017 SOS 88844 HAS SOPS 88844 HAS SOUS 61120 HAS SOUPS 61120 WITH SCORE 61208.844
AT ITER 700 NEW BEST:: SOT 156913 SOS 88740 HAS SOPS 88740 HAS SOUS 60867 HAS SOUPS 60867 WITH SCORE 60955.74
AT ITER 704 NEW BEST:: SOT 156871 SOS 88625 HAS SOPS 88625 HAS SOUS 60736 HAS SOUPS 60736 WITH SCORE 60824.625
AT ITER 705 NEW BEST:: SOT 156871 SOS 88597 HAS SOPS 88597 HAS SOUS 60736 HAS SOUPS 60736 WITH SCORE 60824.597
AT ITER 709 NEW BEST:: SOT 156835 SOS 88474 HAS SOPS 88474 HAS SOUS 60673 HAS SOUPS 60673 WITH SCORE 60761.474
AT ITER 718 NEW BEST:: SOT 156809 SOS 88448 HAS SOPS 88448 HAS SOUS 60581 HAS SOUPS 60581 WITH SCORE 60669.448
AT ITER 726 NEW BEST:: SOT 156791 SOS 88430 HAS SOPS 88430 HAS SOUS 60581 HAS SOUPS 60581 WITH SCORE 60669.43
AT ITER 736 NEW BEST:: SOT 156447 SOS 88086 HAS SOPS 88086 HAS SOUS 60065 HAS SOUPS 60065 WITH SCORE 60153.086
AT ITER 738 NEW BEST:: SOT 156447 SOS 88064 HAS SOPS 88064 HAS SOUS 60043 HAS SOUPS 60043 WITH SCORE 60131.064
AT ITER 762 NEW BEST:: SOT 156390 SOS 88569 HAS SOPS 88569 HAS SOUS 60000 HAS SOUPS 60000 WITH SCORE 60088.569
AT ITER 763 NEW BEST:: SOT 156375 SOS 88554 HAS SOPS 88554 HAS SOUS 59985 HAS SOUPS 59985 WITH SCORE 60073.554
AT ITER 768 NEW BEST:: SOT 156350 SOS 88529 HAS SOPS 88529 HAS SOUS 59935 HAS SOUPS 59935 WITH SCORE 60023.529
AT ITER 770 NEW BEST:: SOT 156314 SOS 88491 HAS SOPS 88491 HAS SOUS 59863 HAS SOUPS 59863 WITH SCORE 59951.491
AT ITER 772 NEW BEST:: SOT 156219 SOS 88282 HAS SOPS 88282 HAS SOUS 59673 HAS SOUPS 59673 WITH SCORE 59761.282
AT ITER 773 NEW BEST:: SOT 155833 SOS 87940 HAS SOPS 87940 HAS SOUS 59404 HAS SOUPS 59404 WITH SCORE 59491.94
AT ITER 796 NEW BEST:: SOT 155817 SOS 87924 HAS SOPS 87924 HAS SOUS 59404 HAS SOUPS 59404 WITH SCORE 59491.924
AT ITER 799 NEW BEST:: SOT 155787 SOS 87894 HAS SOPS 87894 HAS SOUS 59386 HAS SOUPS 59386 WITH SCORE 59473.894
AT ITER 806 NEW BEST:: SOT 155787 SOS 87890 HAS SOPS 87890 HAS SOUS 59386 HAS SOUPS 59386 WITH SCORE 59473.89
AT ITER 812 NEW BEST:: SOT 155768 SOS 87871 HAS SOPS 87871 HAS SOUS 59225 HAS SOUPS 59225 WITH SCORE 59312.871
AT ITER 816 NEW BEST:: SOT 155737 SOS 87840 HAS SOPS 87840 HAS SOUS 59163 HAS SOUPS 59163 WITH SCORE 59250.84
AT ITER 833 NEW BEST:: SOT 155737 SOS 87764 HAS SOPS 87764 HAS SOUS 59162 HAS SOUPS 59162 WITH SCORE 59249.764
AT ITER 834 NEW BEST:: SOT 155303 SOS 87830 HAS SOPS 87830 HAS SOUS 58814 HAS SOUPS 58814 WITH SCORE 58901.83
AT ITER 840 NEW BEST:: SOT 155211 SOS 87738 HAS SOPS 87738 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58809.738
AT ITER 842 NEW BEST:: SOT 155211 SOS 87570 HAS SOPS 87570 HAS SOUS 58554 HAS SOUPS 58554 WITH SCORE 58641.57
AT ITER 845 NEW BEST:: SOT 154860 SOS 88867 HAS SOPS 88867 HAS SOUS 58411 HAS SOUPS 58411 WITH SCORE 58499.867
AT ITER 853 NEW BEST:: SOT 154860 SOS 88867 HAS SOPS 88867 HAS SOUS 58343 HAS SOUPS 58343 WITH SCORE 58431.867
AT ITER 856 NEW BEST:: SOT 154828 SOS 88510 HAS SOPS 88510 HAS SOUS 58342 HAS SOUPS 58342 WITH SCORE 58430.51
AT ITER 871 NEW BEST:: SOT 154651 SOS 87990 HAS SOPS 87990 HAS SOUS 58087 HAS SOUPS 58087 WITH SCORE 58174.99
AT ITER 877 NEW BEST:: SOT 154642 SOS 87981 HAS SOPS 87981 HAS SOUS 57951 HAS SOUPS 57951 WITH SCORE 58038.981
AT ITER 886 NEW BEST:: SOT 154608 SOS 84799 HAS SOPS 84799 HAS SOUS 57883 HAS SOUPS 57883 WITH SCORE 57967.799
AT ITER 889 NEW BEST:: SOT 154784 SOS 84993 HAS SOPS 84993 HAS SOUS 57869 HAS SOUPS 57869 WITH SCORE 57953.993
AT ITER 890 NEW BEST:: SOT 154584 SOS 84463 HAS SOPS 84463 HAS SOUS 57469 HAS SOUPS 57469 WITH SCORE 57553.463
AT ITER 898 NEW BEST:: SOT 154584 SOS 84470 HAS SOPS 84470 HAS SOUS 57462 HAS SOUPS 57462 WITH SCORE 57546.47
AT ITER 905 NEW BEST:: SOT 154514 SOS 84400 HAS SOPS 84400 HAS SOUS 57342 HAS SOUPS 57342 WITH SCORE 57426.4
AT ITER 913 NEW BEST:: SOT 154505 SOS 85623 HAS SOPS 85623 HAS SOUS 57333 HAS SOUPS 57333 WITH SCORE 57418.623
AT ITER 920 NEW BEST:: SOT 154513 SOS 85792 HAS SOPS 85792 HAS SOUS 57208 HAS SOUPS 57208 WITH SCORE 57293.792
AT ITER 921 NEW BEST:: SOT 154513 SOS 85771 HAS SOPS 85771 HAS SOUS 57187 HAS SOUPS 57187 WITH SCORE 57272.771
AT ITER 930 NEW BEST:: SOT 154512 SOS 85770 HAS SOPS 85770 HAS SOUS 56974 HAS SOUPS 56974 WITH SCORE 57059.77
AT ITER 938 NEW BEST:: SOT 154369 SOS 85608 HAS SOPS 85608 HAS SOUS 56881 HAS SOUPS 56881 WITH SCORE 56966.608
AT ITER 943 NEW BEST:: SOT 154363 SOS 85596 HAS SOPS 85596 HAS SOUS 56869 HAS SOUPS 56869 WITH SCORE 56954.596
AT ITER 945 NEW BEST:: SOT 154363 SOS 85582 HAS SOPS 85582 HAS SOUS 56869 HAS SOUPS 56869 WITH SCORE 56954.582
AT ITER 953 NEW BEST:: SOT 154356 SOS 85575 HAS SOPS 85575 HAS SOUS 56847 HAS SOUPS 56847 WITH SCORE 56932.575
AT ITER 955 NEW BEST:: SOT 154227 SOS 85446 HAS SOPS 85446 HAS SOUS 56460 HAS SOUPS 56460 WITH SCORE 56545.446
AT ITER 960 NEW BEST:: SOT 154129 SOS 85348 HAS SOPS 85348 HAS SOUS 56276 HAS SOUPS 56276 WITH SCORE 56361.348
AT ITER 964 NEW BEST:: SOT 154091 SOS 85310 HAS SOPS 85310 HAS SOUS 56200 HAS SOUPS 56200 WITH SCORE 56285.31
AT ITER 971 NEW BEST:: SOT 154068 SOS 85260 HAS SOPS 85260 HAS SOUS 56181 HAS SOUPS 56181 WITH SCORE 56266.26
AT ITER 972 NEW BEST:: SOT 154055 SOS 85198 HAS SOPS 85198 HAS SOUS 56119 HAS SOUPS 56119 WITH SCORE 56204.198
AT ITER 973 NEW BEST:: SOT 154031 SOS 85174 HAS SOPS 85174 HAS SOUS 56095 HAS SOUPS 56095 WITH SCORE 56180.174
AT ITER 976 NEW BEST:: SOT 154023 SOS 85166 HAS SOPS 85166 HAS SOUS 56094 HAS SOUPS 56094 WITH SCORE 56179.166
AT ITER 984 NEW BEST:: SOT 154049 SOS 85192 HAS SOPS 85192 HAS SOUS 56030 HAS SOUPS 56030 WITH SCORE 56115.192
AT ITER 1003 NEW BEST:: SOT 154097 SOS 85393 HAS SOPS 85393 HAS SOUS 56019 HAS SOUPS 56019 WITH SCORE 56104.393
AT ITER 1010 NEW BEST:: SOT 154097 SOS 85386 HAS SOPS 85386 HAS SOUS 56012 HAS SOUPS 56012 WITH SCORE 56097.386
AT ITER 1011 NEW BEST:: SOT 154089 SOS 85378 HAS SOPS 85378 HAS SOUS 56004 HAS SOUPS 56004 WITH SCORE 56089.378
AT ITER 1017 NEW BEST:: SOT 154061 SOS 85294 HAS SOPS 85294 HAS SOUS 55976 HAS SOUPS 55976 WITH SCORE 56061.294
AT ITER 1020 NEW BEST:: SOT 154078 SOS 85311 HAS SOPS 85311 HAS SOUS 55953 HAS SOUPS 55953 WITH SCORE 56038.311
AT ITER 1035 NEW BEST:: SOT 154048 SOS 85285 HAS SOPS 85285 HAS SOUS 55893 HAS SOUPS 55893 WITH SCORE 55978.285
AT ITER 1039 NEW BEST:: SOT 153997 SOS 85153 HAS SOPS 85153 HAS SOUS 55812 HAS SOUPS 55812 WITH SCORE 55897.153
AT ITER 1051 NEW BEST:: SOT 153995 SOS 85156 HAS SOPS 85156 HAS SOUS 55803 HAS SOUPS 55803 WITH SCORE 55888.156
AT ITER 1054 NEW BEST:: SOT 153974 SOS 85135 HAS SOPS 85135 HAS SOUS 55782 HAS SOUPS 55782 WITH SCORE 55867.135
AT ITER 1057 NEW BEST:: SOT 153973 SOS 85134 HAS SOPS 85134 HAS SOUS 55780 HAS SOUPS 55780 WITH SCORE 55865.134
AT ITER 1065 NEW BEST:: SOT 153957 SOS 85118 HAS SOPS 85118 HAS SOUS 55764 HAS SOUPS 55764 WITH SCORE 55849.118
AT ITER 1069 NEW BEST:: SOT 153918 SOS 85079 HAS SOPS 85079 HAS SOUS 55704 HAS SOUPS 55704 WITH SCORE 55789.079
AT ITER 1077 NEW BEST:: SOT 153777 SOS 84902 HAS SOPS 84902 HAS SOUS 55668 HAS SOUPS 55668 WITH SCORE 55752.902
AT ITER 1085 NEW BEST:: SOT 153723 SOS 84690 HAS SOPS 84690 HAS SOUS 55456 HAS SOUPS 55456 WITH SCORE 55540.69
AT ITER 1091 NEW BEST:: SOT 153710 SOS 84677 HAS SOPS 84677 HAS SOUS 55443 HAS SOUPS 55443 WITH SCORE 55527.677
AT ITER 1092 NEW BEST:: SOT 153345 SOS 86539 HAS SOPS 86539 HAS SOUS 55335 HAS SOUPS 55335 WITH SCORE 55421.539
AT ITER 1112 NEW BEST:: SOT 152903 SOS 86524 HAS SOPS 86524 HAS SOUS 54950 HAS SOUPS 54950 WITH SCORE 55036.524
AT ITER 1116 NEW BEST:: SOT 152900 SOS 86515 HAS SOPS 86515 HAS SOUS 54944 HAS SOUPS 54944 WITH SCORE 55030.515
AT ITER 1131 NEW BEST:: SOT 152997 SOS 86612 HAS SOPS 86612 HAS SOUS 54837 HAS SOUPS 54837 WITH SCORE 54923.612
AT ITER 1140 NEW BEST:: SOT 152997 SOS 86657 HAS SOPS 86657 HAS SOUS 54831 HAS SOUPS 54831 WITH SCORE 54917.657
AT ITER 1146 NEW BEST:: SOT 152980 SOS 86640 HAS SOPS 86640 HAS SOUS 54829 HAS SOUPS 54829 WITH SCORE 54915.64
AT ITER 1147 NEW BEST:: SOT 151561 SOS 86796 HAS SOPS 86796 HAS SOUS 53743 HAS SOUPS 53743 WITH SCORE 53829.796
AT ITER 1167 NEW BEST:: SOT 151549 SOS 86784 HAS SOPS 86784 HAS SOUS 53719 HAS SOUPS 53719 WITH SCORE 53805.784
AT ITER 1171 NEW BEST:: SOT 151548 SOS 86783 HAS SOPS 86783 HAS SOUS 53718 HAS SOUPS 53718 WITH SCORE 53804.783
AT ITER 1176 NEW BEST:: SOT 151468 SOS 86614 HAS SOPS 86614 HAS SOUS 53558 HAS SOUPS 53558 WITH SCORE 53644.614
AT ITER 1187 NEW BEST:: SOT 151444 SOS 86590 HAS SOPS 86590 HAS SOUS 53534 HAS SOUPS 53534 WITH SCORE 53620.59
AT ITER 1194 NEW BEST:: SOT 151529 SOS 86675 HAS SOPS 86675 HAS SOUS 53526 HAS SOUPS 53526 WITH SCORE 53612.675
AT ITER 1197 NEW BEST:: SOT 151485 SOS 86601 HAS SOPS 86601 HAS SOUS 53452 HAS SOUPS 53452 WITH SCORE 53538.601
AT ITER 1200 NEW BEST:: SOT 151482 SOS 86598 HAS SOPS 86598 HAS SOUS 53446 HAS SOUPS 53446 WITH SCORE 53532.598
AT ITER 1208 NEW BEST:: SOT 151470 SOS 86586 HAS SOPS 86586 HAS SOUS 53422 HAS SOUPS 53422 WITH SCORE 53508.586
AT ITER 1212 NEW BEST:: SOT 151464 SOS 86574 HAS SOPS 86574 HAS SOUS 53378 HAS SOUPS 53378 WITH SCORE 53464.574
AT ITER 1217 NEW BEST:: SOT 151464 SOS 86595 HAS SOPS 86595 HAS SOUS 53357 HAS SOUPS 53357 WITH SCORE 53443.595
AT ITER 1218 NEW BEST:: SOT 151439 SOS 86471 HAS SOPS 86471 HAS SOUS 53307 HAS SOUPS 53307 WITH SCORE 53393.471
AT ITER 1219 NEW BEST:: SOT 151427 SOS 86434 HAS SOPS 86434 HAS SOUS 53282 HAS SOUPS 53282 WITH SCORE 53368.434
AT ITER 1221 NEW BEST:: SOT 151424 SOS 86471 HAS SOPS 86471 HAS SOUS 53276 HAS SOUPS 53276 WITH SCORE 53362.471
AT ITER 1224 NEW BEST:: SOT 151420 SOS 86461 HAS SOPS 86461 HAS SOUS 53262 HAS SOUPS 53262 WITH SCORE 53348.461
AT ITER 1244 NEW BEST:: SOT 151293 SOS 86334 HAS SOPS 86334 HAS SOUS 53105 HAS SOUPS 53105 WITH SCORE 53191.334
AT ITER 1247 NEW BEST:: SOT 151305 SOS 85823 HAS SOPS 85823 HAS SOUS 53101 HAS SOUPS 53101 WITH SCORE 53186.823
AT ITER 1258 NEW BEST:: SOT 151299 SOS 85778 HAS SOPS 85778 HAS SOUS 52996 HAS SOUPS 52996 WITH SCORE 53081.778
AT ITER 1261 NEW BEST:: SOT 151230 SOS 85535 HAS SOPS 85535 HAS SOUS 52815 HAS SOUPS 52815 WITH SCORE 52900.535
AT ITER 1269 NEW BEST:: SOT 151230 SOS 85128 HAS SOPS 85128 HAS SOUS 52815 HAS SOUPS 52815 WITH SCORE 52900.128
AT ITER 1275 NEW BEST:: SOT 151228 SOS 85126 HAS SOPS 85126 HAS SOUS 52813 HAS SOUPS 52813 WITH SCORE 52898.126
AT ITER 1280 NEW BEST:: SOT 151112 SOS 85010 HAS SOPS 85010 HAS SOUS 52581 HAS SOUPS 52581 WITH SCORE 52666.01
AT ITER 1286 NEW BEST:: SOT 151112 SOS 85054 HAS SOPS 85054 HAS SOUS 52537 HAS SOUPS 52537 WITH SCORE 52622.054
AT ITER 1308 NEW BEST:: SOT 151101 SOS 85032 HAS SOPS 85032 HAS SOUS 52515 HAS SOUPS 52515 WITH SCORE 52600.032
AT ITER 1312 NEW BEST:: SOT 151084 SOS 84998 HAS SOPS 84998 HAS SOUS 52481 HAS SOUPS 52481 WITH SCORE 52565.998
AT ITER 1325 NEW BEST:: SOT 151073 SOS 83183 HAS SOPS 83183 HAS SOUS 52399 HAS SOUPS 52399 WITH SCORE 52482.183
AT ITER 1333 NEW BEST:: SOT 151073 SOS 83183 HAS SOPS 83183 HAS SOUS 52373 HAS SOUPS 52373 WITH SCORE 52456.183
AT ITER 1334 NEW BEST:: SOT 151148 SOS 83258 HAS SOPS 83258 HAS SOUS 52367 HAS SOUPS 52367 WITH SCORE 52450.258
AT ITER 1335 NEW BEST:: SOT 151195 SOS 83631 HAS SOPS 83631 HAS SOUS 52275 HAS SOUPS 52275 WITH SCORE 52358.631
AT ITER 1338 NEW BEST:: SOT 151146 SOS 83582 HAS SOPS 83582 HAS SOUS 52177 HAS SOUPS 52177 WITH SCORE 52260.582
AT ITER 1340 NEW BEST:: SOT 151137 SOS 83256 HAS SOPS 83256 HAS SOUS 51851 HAS SOUPS 51851 WITH SCORE 51934.256
AT ITER 1343 NEW BEST:: SOT 151125 SOS 83112 HAS SOPS 83112 HAS SOUS 51827 HAS SOUPS 51827 WITH SCORE 51910.112
AT ITER 1346 NEW BEST:: SOT 151164 SOS 82983 HAS SOPS 82983 HAS SOUS 51733 HAS SOUPS 51733 WITH SCORE 51815.983
AT ITER 1357 NEW BEST:: SOT 151158 SOS 82977 HAS SOPS 82977 HAS SOUS 51721 HAS SOUPS 51721 WITH SCORE 51803.977
AT ITER 1358 NEW BEST:: SOT 151148 SOS 82967 HAS SOPS 82967 HAS SOUS 51701 HAS SOUPS 51701 WITH SCORE 51783.967
AT ITER 1360 NEW BEST:: SOT 151085 SOS 82962 HAS SOPS 82962 HAS SOUS 51580 HAS SOUPS 51580 WITH SCORE 51662.962
AT ITER 1366 NEW BEST:: SOT 151123 SOS 83000 HAS SOPS 83000 HAS SOUS 51515 HAS SOUPS 51515 WITH SCORE 51598.0
AT ITER 1372 NEW BEST:: SOT 151096 SOS 82889 HAS SOPS 82889 HAS SOUS 51501 HAS SOUPS 51501 WITH SCORE 51583.889
AT ITER 1374 NEW BEST:: SOT 151086 SOS 82865 HAS SOPS 82865 HAS SOUS 51498 HAS SOUPS 51498 WITH SCORE 51580.865
AT ITER 1378 NEW BEST:: SOT 151079 SOS 82858 HAS SOPS 82858 HAS SOUS 51484 HAS SOUPS 51484 WITH SCORE 51566.858
AT ITER 1382 NEW BEST:: SOT 151332 SOS 83111 HAS SOPS 83111 HAS SOUS 51438 HAS SOUPS 51438 WITH SCORE 51521.111
AT ITER 1395 NEW BEST:: SOT 151328 SOS 83105 HAS SOPS 83105 HAS SOUS 51432 HAS SOUPS 51432 WITH SCORE 51515.105
AT ITER 1404 NEW BEST:: SOT 151328 SOS 83105 HAS SOPS 83105 HAS SOUS 51423 HAS SOUPS 51423 WITH SCORE 51506.105
AT ITER 1409 NEW BEST:: SOT 151323 SOS 83073 HAS SOPS 83073 HAS SOUS 51401 HAS SOUPS 51401 WITH SCORE 51484.073
AT ITER 1415 NEW BEST:: SOT 151292 SOS 83042 HAS SOPS 83042 HAS SOUS 51339 HAS SOUPS 51339 WITH SCORE 51422.042
AT ITER 1418 NEW BEST:: SOT 151277 SOS 83008 HAS SOPS 83008 HAS SOUS 51320 HAS SOUPS 51320 WITH SCORE 51403.008
AT ITER 1425 NEW BEST:: SOT 151245 SOS 82965 HAS SOPS 82965 HAS SOUS 51256 HAS SOUPS 51256 WITH SCORE 51338.965
AT ITER 1436 NEW BEST:: SOT 151241 SOS 82961 HAS SOPS 82961 HAS SOUS 51248 HAS SOUPS 51248 WITH SCORE 51330.961
AT ITER 1440 NEW BEST:: SOT 151213 SOS 82976 HAS SOPS 82976 HAS SOUS 51205 HAS SOUPS 51205 WITH SCORE 51287.976
AT ITER 1443 NEW BEST:: SOT 151194 SOS 82843 HAS SOPS 82843 HAS SOUS 51058 HAS SOUPS 51058 WITH SCORE 51140.843
AT ITER 1460 NEW BEST:: SOT 151162 SOS 82757 HAS SOPS 82757 HAS SOUS 50987 HAS SOUPS 50987 WITH SCORE 51069.757
AT ITER 1470 NEW BEST:: SOT 151130 SOS 82725 HAS SOPS 82725 HAS SOUS 50628 HAS SOUPS 50628 WITH SCORE 50710.725
AT ITER 1478 NEW BEST:: SOT 151130 SOS 82719 HAS SOPS 82719 HAS SOUS 50618 HAS SOUPS 50618 WITH SCORE 50700.719
AT ITER 1479 NEW BEST:: SOT 151060 SOS 82701 HAS SOPS 82701 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50519.701
AT ITER 1480 NEW BEST:: SOT 151060 SOS 82676 HAS SOPS 82676 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50519.676
AT ITER 1490 NEW BEST:: SOT 151026 SOS 82642 HAS SOPS 82642 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50519.642
AT ITER 1495 NEW BEST:: SOT 150954 SOS 82481 HAS SOPS 82481 HAS SOUS 50382 HAS SOUPS 50382 WITH SCORE 50464.481
AT ITER 1503 NEW BEST:: SOT 150954 SOS 82379 HAS SOPS 82379 HAS SOUS 50382 HAS SOUPS 50382 WITH SCORE 50464.379
AT ITER 1504 NEW BEST:: SOT 150926 SOS 82329 HAS SOPS 82329 HAS SOUS 50348 HAS SOUPS 50348 WITH SCORE 50430.329
AT ITER 1517 NEW BEST:: SOT 150856 SOS 82220 HAS SOPS 82220 HAS SOUS 50194 HAS SOUPS 50194 WITH SCORE 50276.22
AT ITER 1529 NEW BEST:: SOT 150815 SOS 82041 HAS SOPS 82041 HAS SOUS 50112 HAS SOUPS 50112 WITH SCORE 50194.041
AT ITER 1531 NEW BEST:: SOT 150761 SOS 81933 HAS SOPS 81933 HAS SOUS 50112 HAS SOUPS 50112 WITH SCORE 50193.933
AT ITER 1532 NEW BEST:: SOT 150729 SOS 81981 HAS SOPS 81981 HAS SOUS 50110 HAS SOUPS 50110 WITH SCORE 50191.981
AT ITER 1546 NEW BEST:: SOT 150709 SOS 81900 HAS SOPS 81900 HAS SOUS 50070 HAS SOUPS 50070 WITH SCORE 50151.9
AT ITER 1548 NEW BEST:: SOT 150679 SOS 81870 HAS SOPS 81870 HAS SOUS 50040 HAS SOUPS 50040 WITH SCORE 50121.87
AT ITER 1551 NEW BEST:: SOT 150783 SOS 82128 HAS SOPS 82128 HAS SOUS 49894 HAS SOUPS 49894 WITH SCORE 49976.128
AT ITER 1559 NEW BEST:: SOT 150495 SOS 83051 HAS SOPS 83051 HAS SOUS 49698 HAS SOUPS 49698 WITH SCORE 49781.051
AT ITER 1567 NEW BEST:: SOT 150481 SOS 83037 HAS SOPS 83037 HAS SOUS 49685 HAS SOUPS 49685 WITH SCORE 49768.037
AT ITER 1570 NEW BEST:: SOT 150447 SOS 83003 HAS SOPS 83003 HAS SOUS 49604 HAS SOUPS 49604 WITH SCORE 49687.003
AT ITER 1583 NEW BEST:: SOT 150443 SOS 83113 HAS SOPS 83113 HAS SOUS 49596 HAS SOUPS 49596 WITH SCORE 49679.113
AT ITER 1587 NEW BEST:: SOT 150421 SOS 83101 HAS SOPS 83101 HAS SOUS 49538 HAS SOUPS 49538 WITH SCORE 49621.101
AT ITER 1588 NEW BEST:: SOT 150449 SOS 83129 HAS SOPS 83129 HAS SOUS 49505 HAS SOUPS 49505 WITH SCORE 49588.129
AT ITER 1594 NEW BEST:: SOT 150390 SOS 83070 HAS SOPS 83070 HAS SOUS 49387 HAS SOUPS 49387 WITH SCORE 49470.07
AT ITER 1609 NEW BEST:: SOT 150406 SOS 83086 HAS SOPS 83086 HAS SOUS 49301 HAS SOUPS 49301 WITH SCORE 49384.086
AT ITER 1610 NEW BEST:: SOT 150390 SOS 83070 HAS SOPS 83070 HAS SOUS 49269 HAS SOUPS 49269 WITH SCORE 49352.07
AT ITER 1612 NEW BEST:: SOT 150352 SOS 82896 HAS SOPS 82896 HAS SOUS 49193 HAS SOUPS 49193 WITH SCORE 49275.896
AT ITER 1617 NEW BEST:: SOT 150400 SOS 82972 HAS SOPS 82972 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49223.972
AT ITER 1623 NEW BEST:: SOT 150400 SOS 83109 HAS SOPS 83109 HAS SOUS 49114 HAS SOUPS 49114 WITH SCORE 49197.109
AT ITER 1628 NEW BEST:: SOT 150350 SOS 83059 HAS SOPS 83059 HAS SOUS 49014 HAS SOUPS 49014 WITH SCORE 49097.059
AT ITER 1633 NEW BEST:: SOT 150338 SOS 83047 HAS SOPS 83047 HAS SOUS 48990 HAS SOUPS 48990 WITH SCORE 49073.047
AT ITER 1634 NEW BEST:: SOT 150313 SOS 83022 HAS SOPS 83022 HAS SOUS 48940 HAS SOUPS 48940 WITH SCORE 49023.022
AT ITER 1638 NEW BEST:: SOT 150273 SOS 82982 HAS SOPS 82982 HAS SOUS 48900 HAS SOUPS 48900 WITH SCORE 48982.982
AT ITER 1660 NEW BEST:: SOT 150263 SOS 82992 HAS SOPS 82992 HAS SOUS 48893 HAS SOUPS 48893 WITH SCORE 48975.992
AT ITER 1665 NEW BEST:: SOT 150262 SOS 83010 HAS SOPS 83010 HAS SOUS 48892 HAS SOUPS 48892 WITH SCORE 48975.01
AT ITER 1667 NEW BEST:: SOT 150262 SOS 83010 HAS SOPS 83010 HAS SOUS 48818 HAS SOUPS 48818 WITH SCORE 48901.01
AT ITER 1668 NEW BEST:: SOT 150251 SOS 82999 HAS SOPS 82999 HAS SOUS 48754 HAS SOUPS 48754 WITH SCORE 48836.999
AT ITER 1671 NEW BEST:: SOT 150277 SOS 83025 HAS SOPS 83025 HAS SOUS 48744 HAS SOUPS 48744 WITH SCORE 48827.025
AT ITER 1672 NEW BEST:: SOT 150282 SOS 83194 HAS SOPS 83194 HAS SOUS 48734 HAS SOUPS 48734 WITH SCORE 48817.194
AT ITER 1692 NEW BEST:: SOT 150242 SOS 83154 HAS SOPS 83154 HAS SOUS 48694 HAS SOUPS 48694 WITH SCORE 48777.154
AT ITER 1693 NEW BEST:: SOT 150247 SOS 83159 HAS SOPS 83159 HAS SOUS 48479 HAS SOUPS 48479 WITH SCORE 48562.159
AT ITER 1695 NEW BEST:: SOT 150247 SOS 83202 HAS SOPS 83202 HAS SOUS 48470 HAS SOUPS 48470 WITH SCORE 48553.202
AT ITER 1701 NEW BEST:: SOT 150160 SOS 83115 HAS SOPS 83115 HAS SOUS 48296 HAS SOUPS 48296 WITH SCORE 48379.115
AT ITER 1705 NEW BEST:: SOT 150138 SOS 83093 HAS SOPS 83093 HAS SOUS 48120 HAS SOUPS 48120 WITH SCORE 48203.093
AT ITER 1714 NEW BEST:: SOT 150138 SOS 83063 HAS SOPS 83063 HAS SOUS 48090 HAS SOUPS 48090 WITH SCORE 48173.063
AT ITER 1715 NEW BEST:: SOT 150063 SOS 82860 HAS SOPS 82860 HAS SOUS 47940 HAS SOUPS 47940 WITH SCORE 48022.86
AT ITER 1720 NEW BEST:: SOT 150055 SOS 82852 HAS SOPS 82852 HAS SOUS 47924 HAS SOUPS 47924 WITH SCORE 48006.852
AT ITER 1730 NEW BEST:: SOT 150181 SOS 82852 HAS SOPS 82852 HAS SOUS 47742 HAS SOUPS 47742 WITH SCORE 47824.852
AT ITER 1731 NEW BEST:: SOT 149874 SOS 82383 HAS SOPS 82383 HAS SOUS 47140 HAS SOUPS 47140 WITH SCORE 47222.383
AT ITER 1741 NEW BEST:: SOT 149819 SOS 82248 HAS SOPS 82248 HAS SOUS 46977 HAS SOUPS 46977 WITH SCORE 47059.248
AT ITER 1754 NEW BEST:: SOT 149662 SOS 82091 HAS SOPS 82091 HAS SOUS 46960 HAS SOUPS 46960 WITH SCORE 47042.091
AT ITER 1755 NEW BEST:: SOT 149660 SOS 82089 HAS SOPS 82089 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47038.089
AT ITER 1762 NEW BEST:: SOT 149673 SOS 81854 HAS SOPS 81854 HAS SOUS 46956 HAS SOUPS 46956 WITH SCORE 47037.854
AT ITER 1769 NEW BEST:: SOT 149669 SOS 81850 HAS SOPS 81850 HAS SOUS 46912 HAS SOUPS 46912 WITH SCORE 46993.85
AT ITER 1772 NEW BEST:: SOT 149645 SOS 81826 HAS SOPS 81826 HAS SOUS 46879 HAS SOUPS 46879 WITH SCORE 46960.826
AT ITER 1778 NEW BEST:: SOT 149531 SOS 81946 HAS SOPS 81946 HAS SOUS 46807 HAS SOUPS 46807 WITH SCORE 46888.946
AT ITER 1784 NEW BEST:: SOT 149531 SOS 81933 HAS SOPS 81933 HAS SOUS 46794 HAS SOUPS 46794 WITH SCORE 46875.933
AT ITER 1792 NEW BEST:: SOT 149501 SOS 81881 HAS SOPS 81881 HAS SOUS 46787 HAS SOUPS 46787 WITH SCORE 46868.881
AT ITER 1793 NEW BEST:: SOT 149494 SOS 81874 HAS SOPS 81874 HAS SOUS 46773 HAS SOUPS 46773 WITH SCORE 46854.874
AT ITER 1795 NEW BEST:: SOT 149501 SOS 81881 HAS SOPS 81881 HAS SOUS 46757 HAS SOUPS 46757 WITH SCORE 46838.881
AT ITER 1798 NEW BEST:: SOT 149528 SOS 81980 HAS SOPS 81980 HAS SOUS 46751 HAS SOUPS 46751 WITH SCORE 46832.98
AT ITER 1809 NEW BEST:: SOT 149488 SOS 81940 HAS SOPS 81940 HAS SOUS 46671 HAS SOUPS 46671 WITH SCORE 46752.94
AT ITER 1820 NEW BEST:: SOT 149406 SOS 81858 HAS SOPS 81858 HAS SOUS 46510 HAS SOUPS 46510 WITH SCORE 46591.858
AT ITER 1839 NEW BEST:: SOT 149325 SOS 81703 HAS SOPS 81703 HAS SOUS 46341 HAS SOUPS 46341 WITH SCORE 46422.703
AT ITER 1841 NEW BEST:: SOT 149114 SOS 81407 HAS SOPS 81407 HAS SOUS 46256 HAS SOUPS 46256 WITH SCORE 46337.407
AT ITER 1842 NEW BEST:: SOT 149047 SOS 81328 HAS SOPS 81328 HAS SOUS 46134 HAS SOUPS 46134 WITH SCORE 46215.328
AT ITER 1853 NEW BEST:: SOT 148927 SOS 81299 HAS SOPS 81299 HAS SOUS 46035 HAS SOUPS 46035 WITH SCORE 46116.299
AT ITER 1854 NEW BEST:: SOT 148927 SOS 81266 HAS SOPS 81266 HAS SOUS 46035 HAS SOUPS 46035 WITH SCORE 46116.266
AT ITER 1856 NEW BEST:: SOT 148867 SOS 81798 HAS SOPS 81798 HAS SOUS 46015 HAS SOUPS 46015 WITH SCORE 46096.798
AT ITER 1896 NEW BEST:: SOT 148867 SOS 81748 HAS SOPS 81748 HAS SOUS 46015 HAS SOUPS 46015 WITH SCORE 46096.748
AT ITER 1903 NEW BEST:: SOT 148866 SOS 81747 HAS SOPS 81747 HAS SOUS 46013 HAS SOUPS 46013 WITH SCORE 46094.747
AT ITER 1908 NEW BEST:: SOT 148930 SOS 81971 HAS SOPS 81971 HAS SOUS 45983 HAS SOUPS 45983 WITH SCORE 46064.971
AT ITER 1912 NEW BEST:: SOT 148926 SOS 81967 HAS SOPS 81967 HAS SOUS 45975 HAS SOUPS 45975 WITH SCORE 46056.967
AT ITER 1932 NEW BEST:: SOT 148934 SOS 82018 HAS SOPS 82018 HAS SOUS 45951 HAS SOUPS 45951 WITH SCORE 46033.018
AT ITER 1945 NEW BEST:: SOT 148934 SOS 82018 HAS SOPS 82018 HAS SOUS 45945 HAS SOUPS 45945 WITH SCORE 46027.018
AT ITER 1957 NEW BEST:: SOT 148891 SOS 81932 HAS SOPS 81932 HAS SOUS 45902 HAS SOUPS 45902 WITH SCORE 45983.932
AT ITER 1970 NEW BEST:: SOT 148920 SOS 81922 HAS SOPS 81922 HAS SOUS 45861 HAS SOUPS 45861 WITH SCORE 45942.922
AT ITER 1985 NEW BEST:: SOT 148835 SOS 81750 HAS SOPS 81750 HAS SOUS 45723 HAS SOUPS 45723 WITH SCORE 45804.75
AT ITER 1992 NEW BEST:: SOT 148829 SOS 81744 HAS SOPS 81744 HAS SOUS 45711 HAS SOUPS 45711 WITH SCORE 45792.744
AT ITER 1994 NEW BEST:: SOT 148829 SOS 81717 HAS SOPS 81717 HAS SOUS 45711 HAS SOUPS 45711 WITH SCORE 45792.717
AT ITER 2001 NEW BEST:: SOT 148817 SOS 81713 HAS SOPS 81713 HAS SOUS 45696 HAS SOUPS 45696 WITH SCORE 45777.713
AT ITER 2002 NEW BEST:: SOT 148905 SOS 81814 HAS SOPS 81814 HAS SOUS 45635 HAS SOUPS 45635 WITH SCORE 45716.814
AT ITER 2011 NEW BEST:: SOT 148900 SOS 81779 HAS SOPS 81779 HAS SOUS 45625 HAS SOUPS 45625 WITH SCORE 45706.779
AT ITER 2014 NEW BEST:: SOT 148881 SOS 81760 HAS SOPS 81760 HAS SOUS 45587 HAS SOUPS 45587 WITH SCORE 45668.76
AT ITER 2018 NEW BEST:: SOT 148833 SOS 81712 HAS SOPS 81712 HAS SOUS 45552 HAS SOUPS 45552 WITH SCORE 45633.712
AT ITER 2029 NEW BEST:: SOT 148720 SOS 81604 HAS SOPS 81604 HAS SOUS 45464 HAS SOUPS 45464 WITH SCORE 45545.604
AT ITER 2034 NEW BEST:: SOT 148647 SOS 81436 HAS SOPS 81436 HAS SOUS 45366 HAS SOUPS 45366 WITH SCORE 45447.436
AT ITER 2047 NEW BEST:: SOT 148588 SOS 81349 HAS SOPS 81349 HAS SOUS 45338 HAS SOUPS 45338 WITH SCORE 45419.349
AT ITER 2065 NEW BEST:: SOT 148568 SOS 81329 HAS SOPS 81329 HAS SOUS 45318 HAS SOUPS 45318 WITH SCORE 45399.329
AT ITER 2067 NEW BEST:: SOT 148568 SOS 81285 HAS SOPS 81285 HAS SOUS 45267 HAS SOUPS 45267 WITH SCORE 45348.285
AT ITER 2083 NEW BEST:: SOT 148463 SOS 81304 HAS SOPS 81304 HAS SOUS 45252 HAS SOUPS 45252 WITH SCORE 45333.304
AT ITER 2084 NEW BEST:: SOT 148374 SOS 81215 HAS SOPS 81215 HAS SOUS 45074 HAS SOUPS 45074 WITH SCORE 45155.215
AT ITER 2139 NEW BEST:: SOT 148365 SOS 81206 HAS SOPS 81206 HAS SOUS 45056 HAS SOUPS 45056 WITH SCORE 45137.206
AT ITER 2157 NEW BEST:: SOT 148359 SOS 81194 HAS SOPS 81194 HAS SOUS 45044 HAS SOUPS 45044 WITH SCORE 45125.194
AT ITER 2164 NEW BEST:: SOT 148338 SOS 81156 HAS SOPS 81156 HAS SOUS 45002 HAS SOUPS 45002 WITH SCORE 45083.156
AT ITER 2167 NEW BEST:: SOT 148338 SOS 81156 HAS SOPS 81156 HAS SOUS 44953 HAS SOUPS 44953 WITH SCORE 45034.156
AT ITER 2180 NEW BEST:: SOT 148292 SOS 81014 HAS SOPS 81014 HAS SOUS 44861 HAS SOUPS 44861 WITH SCORE 44942.014
AT ITER 2184 NEW BEST:: SOT 148209 SOS 80859 HAS SOPS 80859 HAS SOUS 44762 HAS SOUPS 44762 WITH SCORE 44842.859
AT ITER 2194 NEW BEST:: SOT 148163 SOS 80813 HAS SOPS 80813 HAS SOUS 44670 HAS SOUPS 44670 WITH SCORE 44750.813
AT ITER 2208 NEW BEST:: SOT 148085 SOS 80735 HAS SOPS 80735 HAS SOUS 44670 HAS SOUPS 44670 WITH SCORE 44750.735
AT ITER 2231 NEW BEST:: SOT 148043 SOS 80693 HAS SOPS 80693 HAS SOUS 44628 HAS SOUPS 44628 WITH SCORE 44708.693
AT ITER 2244 NEW BEST:: SOT 148152 SOS 80802 HAS SOPS 80802 HAS SOUS 44613 HAS SOUPS 44613 WITH SCORE 44693.802
AT ITER 2278 NEW BEST:: SOT 148216 SOS 80866 HAS SOPS 80866 HAS SOUS 44599 HAS SOUPS 44599 WITH SCORE 44679.866
AT ITER 2284 NEW BEST:: SOT 147847 SOS 83260 HAS SOPS 83260 HAS SOUS 44564 HAS SOUPS 44564 WITH SCORE 44647.26
AT ITER 2285 NEW BEST:: SOT 147792 SOS 83205 HAS SOPS 83205 HAS SOUS 44474 HAS SOUPS 44474 WITH SCORE 44557.205
AT ITER 2287 NEW BEST:: SOT 147765 SOS 83044 HAS SOPS 83044 HAS SOUS 44420 HAS SOUPS 44420 WITH SCORE 44503.044
AT ITER 2288 NEW BEST:: SOT 147755 SOS 83034 HAS SOPS 83034 HAS SOUS 44400 HAS SOUPS 44400 WITH SCORE 44483.034
AT ITER 2301 NEW BEST:: SOT 147606 SOS 82933 HAS SOPS 82933 HAS SOUS 44257 HAS SOUPS 44257 WITH SCORE 44339.933
AT ITER 2304 NEW BEST:: SOT 147604 SOS 82931 HAS SOPS 82931 HAS SOUS 44253 HAS SOUPS 44253 WITH SCORE 44335.931
AT ITER 2316 NEW BEST:: SOT 147603 SOS 82930 HAS SOPS 82930 HAS SOUS 44252 HAS SOUPS 44252 WITH SCORE 44334.93
AT ITER 2317 NEW BEST:: SOT 147598 SOS 82920 HAS SOPS 82920 HAS SOUS 44247 HAS SOUPS 44247 WITH SCORE 44329.92
AT ITER 2321 NEW BEST:: SOT 147470 SOS 82792 HAS SOPS 82792 HAS SOUS 43991 HAS SOUPS 43991 WITH SCORE 44073.792
AT ITER 2322 NEW BEST:: SOT 147468 SOS 82790 HAS SOPS 82790 HAS SOUS 43987 HAS SOUPS 43987 WITH SCORE 44069.79
AT ITER 2327 NEW BEST:: SOT 147431 SOS 82789 HAS SOPS 82789 HAS SOUS 43936 HAS SOUPS 43936 WITH SCORE 44018.789
AT ITER 2336 NEW BEST:: SOT 147426 SOS 82879 HAS SOPS 82879 HAS SOUS 43931 HAS SOUPS 43931 WITH SCORE 44013.879
AT ITER 2344 NEW BEST:: SOT 147242 SOS 82741 HAS SOPS 82741 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43599.741
AT ITER 2345 NEW BEST:: SOT 147287 SOS 82914 HAS SOPS 82914 HAS SOUS 43488 HAS SOUPS 43488 WITH SCORE 43570.914
AT ITER 2366 NEW BEST:: SOT 147290 SOS 82917 HAS SOPS 82917 HAS SOUS 43481 HAS SOUPS 43481 WITH SCORE 43563.917
AT ITER 2387 NEW BEST:: SOT 147247 SOS 82902 HAS SOPS 82902 HAS SOUS 43395 HAS SOUPS 43395 WITH SCORE 43477.902
AT ITER 2389 NEW BEST:: SOT 147247 SOS 82902 HAS SOPS 82902 HAS SOUS 43391 HAS SOUPS 43391 WITH SCORE 43473.902
AT ITER 2399 NEW BEST:: SOT 147220 SOS 82839 HAS SOPS 82839 HAS SOUS 43279 HAS SOUPS 43279 WITH SCORE 43361.839
AT ITER 2403 NEW BEST:: SOT 147205 SOS 82816 HAS SOPS 82816 HAS SOUS 43254 HAS SOUPS 43254 WITH SCORE 43336.816
AT ITER 2416 NEW BEST:: SOT 147192 SOS 82838 HAS SOPS 82838 HAS SOUS 43193 HAS SOUPS 43193 WITH SCORE 43275.838
AT ITER 2451 NEW BEST:: SOT 147185 SOS 82831 HAS SOPS 82831 HAS SOUS 43179 HAS SOUPS 43179 WITH SCORE 43261.831
AT ITER 2456 NEW BEST:: SOT 147177 SOS 82815 HAS SOPS 82815 HAS SOUS 43171 HAS SOUPS 43171 WITH SCORE 43253.815
AT ITER 2469 NEW BEST:: SOT 147165 SOS 82803 HAS SOPS 82803 HAS SOUS 43121 HAS SOUPS 43121 WITH SCORE 43203.803
AT ITER 2470 NEW BEST:: SOT 147165 SOS 82803 HAS SOPS 82803 HAS SOUS 43107 HAS SOUPS 43107 WITH SCORE 43189.803
AT ITER 2488 NEW BEST:: SOT 147140 SOS 82778 HAS SOPS 82778 HAS SOUS 43057 HAS SOUPS 43057 WITH SCORE 43139.778
AT ITER 2513 NEW BEST:: SOT 147140 SOS 82756 HAS SOPS 82756 HAS SOUS 43057 HAS SOUPS 43057 WITH SCORE 43139.756
AT ITER 2518 NEW BEST:: SOT 147095 SOS 82711 HAS SOPS 82711 HAS SOUS 43019 HAS SOUPS 43019 WITH SCORE 43101.711
AT ITER 2532 NEW BEST:: SOT 147027 SOS 82575 HAS SOPS 82575 HAS SOUS 42883 HAS SOUPS 42883 WITH SCORE 42965.575
AT ITER 2534 NEW BEST:: SOT 147022 SOS 82570 HAS SOPS 82570 HAS SOUS 42873 HAS SOUPS 42873 WITH SCORE 42955.57
AT ITER 2541 NEW BEST:: SOT 147015 SOS 82579 HAS SOPS 82579 HAS SOUS 42852 HAS SOUPS 42852 WITH SCORE 42934.579
AT ITER 2591 NEW BEST:: SOT 146958 SOS 82522 HAS SOPS 82522 HAS SOUS 42738 HAS SOUPS 42738 WITH SCORE 42820.522
AT ITER 2603 NEW BEST:: SOT 146952 SOS 82516 HAS SOPS 82516 HAS SOUS 42729 HAS SOUPS 42729 WITH SCORE 42811.516
AT ITER 2608 NEW BEST:: SOT 146743 SOS 84007 HAS SOPS 84007 HAS SOUS 42598 HAS SOUPS 42598 WITH SCORE 42682.007
AT ITER 2612 NEW BEST:: SOT 146325 SOS 85195 HAS SOPS 85195 HAS SOUS 42368 HAS SOUPS 42368 WITH SCORE 42453.195
AT ITER 2619 NEW BEST:: SOT 146223 SOS 84952 HAS SOPS 84952 HAS SOUS 42257 HAS SOUPS 42257 WITH SCORE 42341.952
AT ITER 2625 NEW BEST:: SOT 146212 SOS 84941 HAS SOPS 84941 HAS SOUS 42235 HAS SOUPS 42235 WITH SCORE 42319.941
AT ITER 2627 NEW BEST:: SOT 146191 SOS 84920 HAS SOPS 84920 HAS SOUS 42064 HAS SOUPS 42064 WITH SCORE 42148.92
AT ITER 2658 NEW BEST:: SOT 146189 SOS 84918 HAS SOPS 84918 HAS SOUS 42060 HAS SOUPS 42060 WITH SCORE 42144.918
AT ITER 2667 NEW BEST:: SOT 146169 SOS 84888 HAS SOPS 84888 HAS SOUS 42030 HAS SOUPS 42030 WITH SCORE 42114.888
AT ITER 2703 NEW BEST:: SOT 146154 SOS 84873 HAS SOPS 84873 HAS SOUS 42021 HAS SOUPS 42021 WITH SCORE 42105.873
AT ITER 2707 NEW BEST:: SOT 146160 SOS 84752 HAS SOPS 84752 HAS SOUS 42019 HAS SOUPS 42019 WITH SCORE 42103.752
AT ITER 2720 NEW BEST:: SOT 146160 SOS 84735 HAS SOPS 84735 HAS SOUS 42002 HAS SOUPS 42002 WITH SCORE 42086.735
AT ITER 2738 NEW BEST:: SOT 146160 SOS 84718 HAS SOPS 84718 HAS SOUS 42002 HAS SOUPS 42002 WITH SCORE 42086.718
AT ITER 2744 NEW BEST:: SOT 146155 SOS 84727 HAS SOPS 84727 HAS SOUS 41996 HAS SOUPS 41996 WITH SCORE 42080.727
AT ITER 2748 NEW BEST:: SOT 146199 SOS 84765 HAS SOPS 84765 HAS SOUS 41990 HAS SOUPS 41990 WITH SCORE 42074.765
AT ITER 2754 NEW BEST:: SOT 146195 SOS 84761 HAS SOPS 84761 HAS SOUS 41982 HAS SOUPS 41982 WITH SCORE 42066.761
AT ITER 2758 NEW BEST:: SOT 146190 SOS 84756 HAS SOPS 84756 HAS SOUS 41972 HAS SOUPS 41972 WITH SCORE 42056.756
AT ITER 2759 NEW BEST:: SOT 146186 SOS 84752 HAS SOPS 84752 HAS SOUS 41964 HAS SOUPS 41964 WITH SCORE 42048.752
AT ITER 2761 NEW BEST:: SOT 146190 SOS 84756 HAS SOPS 84756 HAS SOUS 41931 HAS SOUPS 41931 WITH SCORE 42015.756
AT ITER 2783 NEW BEST:: SOT 146190 SOS 84661 HAS SOPS 84661 HAS SOUS 41836 HAS SOUPS 41836 WITH SCORE 41920.661
AT ITER 2794 NEW BEST:: SOT 146172 SOS 84643 HAS SOPS 84643 HAS SOUS 41800 HAS SOUPS 41800 WITH SCORE 41884.643
AT ITER 2803 NEW BEST:: SOT 146119 SOS 84590 HAS SOPS 84590 HAS SOUS 41747 HAS SOUPS 41747 WITH SCORE 41831.59
AT ITER 2819 NEW BEST:: SOT 146085 SOS 84556 HAS SOPS 84556 HAS SOUS 41558 HAS SOUPS 41558 WITH SCORE 41642.556
AT ITER 2825 NEW BEST:: SOT 146081 SOS 84543 HAS SOPS 84543 HAS SOUS 41550 HAS SOUPS 41550 WITH SCORE 41634.543
AT ITER 2826 NEW BEST:: SOT 146081 SOS 84543 HAS SOPS 84543 HAS SOUS 41536 HAS SOUPS 41536 WITH SCORE 41620.543
AT ITER 2838 NEW BEST:: SOT 146078 SOS 84540 HAS SOPS 84540 HAS SOUS 41533 HAS SOUPS 41533 WITH SCORE 41617.54
AT ITER 2842 NEW BEST:: SOT 146069 SOS 84531 HAS SOPS 84531 HAS SOUS 41515 HAS SOUPS 41515 WITH SCORE 41599.531
AT ITER 2850 NEW BEST:: SOT 146056 SOS 84518 HAS SOPS 84518 HAS SOUS 41489 HAS SOUPS 41489 WITH SCORE 41573.518
AT ITER 2883 NEW BEST:: SOT 146034 SOS 84517 HAS SOPS 84517 HAS SOUS 41488 HAS SOUPS 41488 WITH SCORE 41572.517
AT ITER 2891 NEW BEST:: SOT 146013 SOS 84496 HAS SOPS 84496 HAS SOUS 41488 HAS SOUPS 41488 WITH SCORE 41572.496
AT ITER 2893 NEW BEST:: SOT 145992 SOS 84475 HAS SOPS 84475 HAS SOUS 41488 HAS SOUPS 41488 WITH SCORE 41572.475
AT ITER 2894 NEW BEST:: SOT 145979 SOS 84462 HAS SOPS 84462 HAS SOUS 41462 HAS SOUPS 41462 WITH SCORE 41546.462
AT ITER 2903 NEW BEST:: SOT 145956 SOS 84439 HAS SOPS 84439 HAS SOUS 41416 HAS SOUPS 41416 WITH SCORE 41500.439
AT ITER 2918 NEW BEST:: SOT 145965 SOS 84466 HAS SOPS 84466 HAS SOUS 41404 HAS SOUPS 41404 WITH SCORE 41488.466
AT ITER 2924 NEW BEST:: SOT 145946 SOS 84447 HAS SOPS 84447 HAS SOUS 41366 HAS SOUPS 41366 WITH SCORE 41450.447
AT ITER 2936 NEW BEST:: SOT 145946 SOS 84392 HAS SOPS 84392 HAS SOUS 41366 HAS SOUPS 41366 WITH SCORE 41450.392
AT ITER 2948 NEW BEST:: SOT 145940 SOS 84374 HAS SOPS 84374 HAS SOUS 41354 HAS SOUPS 41354 WITH SCORE 41438.374
AT ITER 2968 NEW BEST:: SOT 145931 SOS 84365 HAS SOPS 84365 HAS SOUS 41336 HAS SOUPS 41336 WITH SCORE 41420.365
AT ITER 2975 NEW BEST:: SOT 145925 SOS 84353 HAS SOPS 84353 HAS SOUS 41324 HAS SOUPS 41324 WITH SCORE 41408.353
AT ITER 2976 NEW BEST:: SOT 145895 SOS 84296 HAS SOPS 84296 HAS SOUS 41264 HAS SOUPS 41264 WITH SCORE 41348.296
AT ITER 2984 NEW BEST:: SOT 145870 SOS 84271 HAS SOPS 84271 HAS SOUS 41214 HAS SOUPS 41214 WITH SCORE 41298.271
AT ITER 2985 NEW BEST:: SOT 145857 SOS 84258 HAS SOPS 84258 HAS SOUS 41214 HAS SOUPS 41214 WITH SCORE 41298.258
AT ITER 2991 NEW BEST:: SOT 145851 SOS 84252 HAS SOPS 84252 HAS SOUS 41202 HAS SOUPS 41202 WITH SCORE 41286.252
AT ITER 2998 NEW BEST:: SOT 145821 SOS 84222 HAS SOPS 84222 HAS SOUS 41100 HAS SOUPS 41100 WITH SCORE 41184.222
AT ITER 3025 NEW BEST:: SOT 145821 SOS 84218 HAS SOPS 84218 HAS SOUS 41096 HAS SOUPS 41096 WITH SCORE 41180.218
AT ITER 3029 NEW BEST:: SOT 145822 SOS 84213 HAS SOPS 84213 HAS SOUS 41086 HAS SOUPS 41086 WITH SCORE 41170.213
AT ITER 3044 NEW BEST:: SOT 145822 SOS 84213 HAS SOPS 84213 HAS SOUS 41049 HAS SOUPS 41049 WITH SCORE 41133.213
AT ITER 3045 NEW BEST:: SOT 145822 SOS 84213 HAS SOPS 84213 HAS SOUS 41003 HAS SOUPS 41003 WITH SCORE 41087.213
AT ITER 3053 NEW BEST:: SOT 145804 SOS 84057 HAS SOPS 84057 HAS SOUS 40967 HAS SOUPS 40967 WITH SCORE 41051.057
AT ITER 3064 NEW BEST:: SOT 145787 SOS 84040 HAS SOPS 84040 HAS SOUS 40933 HAS SOUPS 40933 WITH SCORE 41017.04
AT ITER 3070 NEW BEST:: SOT 145779 SOS 84166 HAS SOPS 84166 HAS SOUS 40931 HAS SOUPS 40931 WITH SCORE 41015.166
AT ITER 3088 NEW BEST:: SOT 145778 SOS 84165 HAS SOPS 84165 HAS SOUS 40929 HAS SOUPS 40929 WITH SCORE 41013.165
AT ITER 3093 NEW BEST:: SOT 145752 SOS 84134 HAS SOPS 84134 HAS SOUS 40877 HAS SOUPS 40877 WITH SCORE 40961.134
AT ITER 3095 NEW BEST:: SOT 145743 SOS 84116 HAS SOPS 84116 HAS SOUS 40868 HAS SOUPS 40868 WITH SCORE 40952.116
AT ITER 3104 NEW BEST:: SOT 145732 SOS 84105 HAS SOPS 84105 HAS SOUS 40826 HAS SOUPS 40826 WITH SCORE 40910.105
AT ITER 3123 NEW BEST:: SOT 145716 SOS 84089 HAS SOPS 84089 HAS SOUS 40794 HAS SOUPS 40794 WITH SCORE 40878.089
AT ITER 3143 NEW BEST:: SOT 145703 SOS 84076 HAS SOPS 84076 HAS SOUS 40768 HAS SOUPS 40768 WITH SCORE 40852.076
AT ITER 3152 NEW BEST:: SOT 145696 SOS 84069 HAS SOPS 84069 HAS SOUS 40754 HAS SOUPS 40754 WITH SCORE 40838.069
AT ITER 3156 NEW BEST:: SOT 145706 SOS 84073 HAS SOPS 84073 HAS SOUS 40752 HAS SOUPS 40752 WITH SCORE 40836.073
AT ITER 3159 NEW BEST:: SOT 145698 SOS 84048 HAS SOPS 84048 HAS SOUS 40727 HAS SOUPS 40727 WITH SCORE 40811.048
AT ITER 3165 NEW BEST:: SOT 145694 SOS 84044 HAS SOPS 84044 HAS SOUS 40719 HAS SOUPS 40719 WITH SCORE 40803.044
AT ITER 3166 NEW BEST:: SOT 145688 SOS 84038 HAS SOPS 84038 HAS SOUS 40707 HAS SOUPS 40707 WITH SCORE 40791.038
AT ITER 3177 NEW BEST:: SOT 145688 SOS 84016 HAS SOPS 84016 HAS SOUS 40707 HAS SOUPS 40707 WITH SCORE 40791.016
AT ITER 3179 NEW BEST:: SOT 145669 SOS 83997 HAS SOPS 83997 HAS SOUS 40689 HAS SOUPS 40689 WITH SCORE 40772.997
AT ITER 3203 NEW BEST:: SOT 145618 SOS 84079 HAS SOPS 84079 HAS SOUS 40536 HAS SOUPS 40536 WITH SCORE 40620.079
AT ITER 3205 NEW BEST:: SOT 145572 SOS 84033 HAS SOPS 84033 HAS SOUS 40518 HAS SOUPS 40518 WITH SCORE 40602.033
AT ITER 3212 NEW BEST:: SOT 145572 SOS 84030 HAS SOPS 84030 HAS SOUS 40518 HAS SOUPS 40518 WITH SCORE 40602.03
AT ITER 3215 NEW BEST:: SOT 145620 SOS 84078 HAS SOPS 84078 HAS SOUS 40476 HAS SOUPS 40476 WITH SCORE 40560.078
AT ITER 3219 NEW BEST:: SOT 145620 SOS 84078 HAS SOPS 84078 HAS SOUS 40466 HAS SOUPS 40466 WITH SCORE 40550.078
AT ITER 3246 NEW BEST:: SOT 145608 SOS 84066 HAS SOPS 84066 HAS SOUS 40442 HAS SOUPS 40442 WITH SCORE 40526.066
AT ITER 3277 NEW BEST:: SOT 145570 SOS 84028 HAS SOPS 84028 HAS SOUS 40442 HAS SOUPS 40442 WITH SCORE 40526.028
AT ITER 3335 NEW BEST:: SOT 145487 SOS 83945 HAS SOPS 83945 HAS SOUS 40442 HAS SOUPS 40442 WITH SCORE 40525.945
AT ITER 3340 NEW BEST:: SOT 145487 SOS 83937 HAS SOPS 83937 HAS SOUS 40434 HAS SOUPS 40434 WITH SCORE 40517.937
AT ITER 3361 NEW BEST:: SOT 145352 SOS 83802 HAS SOPS 83802 HAS SOUS 40395 HAS SOUPS 40395 WITH SCORE 40478.802
AT ITER 3387 NEW BEST:: SOT 145349 SOS 83799 HAS SOPS 83799 HAS SOUS 40392 HAS SOUPS 40392 WITH SCORE 40475.799
AT ITER 3399 NEW BEST:: SOT 145344 SOS 83690 HAS SOPS 83690 HAS SOUS 40382 HAS SOUPS 40382 WITH SCORE 40465.69
AT ITER 3401 NEW BEST:: SOT 145264 SOS 83610 HAS SOPS 83610 HAS SOUS 40222 HAS SOUPS 40222 WITH SCORE 40305.61
AT ITER 3422 NEW BEST:: SOT 145227 SOS 83573 HAS SOPS 83573 HAS SOUS 40199 HAS SOUPS 40199 WITH SCORE 40282.573
AT ITER 3424 NEW BEST:: SOT 145164 SOS 83585 HAS SOPS 83585 HAS SOUS 40065 HAS SOUPS 40065 WITH SCORE 40148.585
AT ITER 3438 NEW BEST:: SOT 145103 SOS 83864 HAS SOPS 83864 HAS SOUS 40024 HAS SOUPS 40024 WITH SCORE 40107.864
AT ITER 3444 NEW BEST:: SOT 144969 SOS 83730 HAS SOPS 83730 HAS SOUS 39961 HAS SOUPS 39961 WITH SCORE 40044.73
AT ITER 3446 NEW BEST:: SOT 144907 SOS 83668 HAS SOPS 83668 HAS SOUS 39837 HAS SOUPS 39837 WITH SCORE 39920.668
AT ITER 3451 NEW BEST:: SOT 144910 SOS 83672 HAS SOPS 83672 HAS SOUS 39836 HAS SOUPS 39836 WITH SCORE 39919.672
AT ITER 3457 NEW BEST:: SOT 144900 SOS 83662 HAS SOPS 83662 HAS SOUS 39816 HAS SOUPS 39816 WITH SCORE 39899.662
AT ITER 3462 NEW BEST:: SOT 144890 SOS 83394 HAS SOPS 83394 HAS SOUS 39796 HAS SOUPS 39796 WITH SCORE 39879.394
AT ITER 3514 NEW BEST:: SOT 144809 SOS 83313 HAS SOPS 83313 HAS SOUS 39634 HAS SOUPS 39634 WITH SCORE 39717.313
AT ITER 3549 NEW BEST:: SOT 144768 SOS 83272 HAS SOPS 83272 HAS SOUS 39552 HAS SOUPS 39552 WITH SCORE 39635.272
AT ITER 3572 NEW BEST:: SOT 144767 SOS 83271 HAS SOPS 83271 HAS SOUS 39550 HAS SOUPS 39550 WITH SCORE 39633.271
AT ITER 3588 NEW BEST:: SOT 144767 SOS 83269 HAS SOPS 83269 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39631.269
AT ITER 3594 NEW BEST:: SOT 144751 SOS 83253 HAS SOPS 83253 HAS SOUS 39470 HAS SOUPS 39470 WITH SCORE 39553.253
AT ITER 3625 NEW BEST:: SOT 144748 SOS 83244 HAS SOPS 83244 HAS SOUS 39464 HAS SOUPS 39464 WITH SCORE 39547.244
AT ITER 3636 NEW BEST:: SOT 144742 SOS 83263 HAS SOPS 83263 HAS SOUS 39417 HAS SOUPS 39417 WITH SCORE 39500.263
AT ITER 3638 NEW BEST:: SOT 144736 SOS 83257 HAS SOPS 83257 HAS SOUS 39405 HAS SOUPS 39405 WITH SCORE 39488.257
AT ITER 3649 NEW BEST:: SOT 144734 SOS 83255 HAS SOPS 83255 HAS SOUS 39403 HAS SOUPS 39403 WITH SCORE 39486.255
AT ITER 3658 NEW BEST:: SOT 144715 SOS 83232 HAS SOPS 83232 HAS SOUS 39365 HAS SOUPS 39365 WITH SCORE 39448.232
AT ITER 3701 NEW BEST:: SOT 144669 SOS 83186 HAS SOPS 83186 HAS SOUS 39259 HAS SOUPS 39259 WITH SCORE 39342.186
AT ITER 3702 NEW BEST:: SOT 144720 SOS 83237 HAS SOPS 83237 HAS SOUS 39235 HAS SOUPS 39235 WITH SCORE 39318.237
AT ITER 3714 NEW BEST:: SOT 144706 SOS 83223 HAS SOPS 83223 HAS SOUS 39207 HAS SOUPS 39207 WITH SCORE 39290.223
AT ITER 3715 NEW BEST:: SOT 144683 SOS 83200 HAS SOPS 83200 HAS SOUS 39161 HAS SOUPS 39161 WITH SCORE 39244.2
AT ITER 3727 NEW BEST:: SOT 144679 SOS 83250 HAS SOPS 83250 HAS SOUS 39160 HAS SOUPS 39160 WITH SCORE 39243.25
AT ITER 3732 NEW BEST:: SOT 144679 SOS 83250 HAS SOPS 83250 HAS SOUS 39147 HAS SOUPS 39147 WITH SCORE 39230.25
AT ITER 3775 NEW BEST:: SOT 144669 SOS 83219 HAS SOPS 83219 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39210.219
AT ITER 3806 NEW BEST:: SOT 144723 SOS 83273 HAS SOPS 83273 HAS SOUS 39104 HAS SOUPS 39104 WITH SCORE 39187.273
AT ITER 3822 NEW BEST:: SOT 144732 SOS 83282 HAS SOPS 83282 HAS SOUS 39055 HAS SOUPS 39055 WITH SCORE 39138.282
AT ITER 3837 NEW BEST:: SOT 144727 SOS 83277 HAS SOPS 83277 HAS SOUS 39045 HAS SOUPS 39045 WITH SCORE 39128.277
AT ITER 3851 NEW BEST:: SOT 144709 SOS 83259 HAS SOPS 83259 HAS SOUS 39009 HAS SOUPS 39009 WITH SCORE 39092.259
AT ITER 3870 NEW BEST:: SOT 144702 SOS 83252 HAS SOPS 83252 HAS SOUS 39002 HAS SOUPS 39002 WITH SCORE 39085.252
AT ITER 3887 NEW BEST:: SOT 144690 SOS 83360 HAS SOPS 83360 HAS SOUS 38990 HAS SOUPS 38990 WITH SCORE 39073.36
AT ITER 3934 NEW BEST:: SOT 144683 SOS 83353 HAS SOPS 83353 HAS SOUS 38976 HAS SOUPS 38976 WITH SCORE 39059.353
AT ITER 3946 NEW BEST:: SOT 144677 SOS 83347 HAS SOPS 83347 HAS SOUS 38970 HAS SOUPS 38970 WITH SCORE 39053.347
AT ITER 3949 NEW BEST:: SOT 144663 SOS 83302 HAS SOPS 83302 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 39025.302
AT ITER 3953 NEW BEST:: SOT 144652 SOS 83291 HAS SOPS 83291 HAS SOUS 38920 HAS SOUPS 38920 WITH SCORE 39003.291
AT ITER 3957 NEW BEST:: SOT 144684 SOS 83323 HAS SOPS 83323 HAS SOUS 38892 HAS SOUPS 38892 WITH SCORE 38975.323
AT ITER 3963 NEW BEST:: SOT 144676 SOS 83315 HAS SOPS 83315 HAS SOUS 38831 HAS SOUPS 38831 WITH SCORE 38914.315
AT ITER 3967 NEW BEST:: SOT 144667 SOS 83306 HAS SOPS 83306 HAS SOUS 38813 HAS SOUPS 38813 WITH SCORE 38896.306
AT ITER 3975 NEW BEST:: SOT 144628 SOS 83267 HAS SOPS 83267 HAS SOUS 38735 HAS SOUPS 38735 WITH SCORE 38818.267
AT ITER 3982 NEW BEST:: SOT 144608 SOS 83247 HAS SOPS 83247 HAS SOUS 38695 HAS SOUPS 38695 WITH SCORE 38778.247
AT ITER 3989 NEW BEST:: SOT 144606 SOS 83243 HAS SOPS 83243 HAS SOUS 38691 HAS SOUPS 38691 WITH SCORE 38774.243
AT ITER 3990 NEW BEST:: SOT 144516 SOS 83153 HAS SOPS 83153 HAS SOUS 38569 HAS SOUPS 38569 WITH SCORE 38652.153
AT ITER 4026 NEW BEST:: SOT 144495 SOS 83132 HAS SOPS 83132 HAS SOUS 38527 HAS SOUPS 38527 WITH SCORE 38610.132
AT ITER 4030 NEW BEST:: SOT 144491 SOS 83128 HAS SOPS 83128 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38602.128
AT ITER 4077 NEW BEST:: SOT 144470 SOS 83107 HAS SOPS 83107 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38602.107
AT ITER 4093 NEW BEST:: SOT 144437 SOS 83074 HAS SOPS 83074 HAS SOUS 38491 HAS SOUPS 38491 WITH SCORE 38574.074
AT ITER 4096 NEW BEST:: SOT 144345 SOS 86326 HAS SOPS 86326 HAS SOUS 38399 HAS SOUPS 38399 WITH SCORE 38485.326
AT ITER 4141 NEW BEST:: SOT 144296 SOS 86231 HAS SOPS 86231 HAS SOUS 38347 HAS SOUPS 38347 WITH SCORE 38433.231
AT ITER 4161 NEW BEST:: SOT 144267 SOS 86202 HAS SOPS 86202 HAS SOUS 38289 HAS SOUPS 38289 WITH SCORE 38375.202
AT ITER 4173 NEW BEST:: SOT 144257 SOS 86172 HAS SOPS 86172 HAS SOUS 38269 HAS SOUPS 38269 WITH SCORE 38355.172
AT ITER 4174 NEW BEST:: SOT 144333 SOS 86248 HAS SOPS 86248 HAS SOUS 38231 HAS SOUPS 38231 WITH SCORE 38317.248
AT ITER 4184 NEW BEST:: SOT 144327 SOS 86232 HAS SOPS 86232 HAS SOUS 38219 HAS SOUPS 38219 WITH SCORE 38305.232
AT ITER 4186 NEW BEST:: SOT 144327 SOS 86207 HAS SOPS 86207 HAS SOUS 38219 HAS SOUPS 38219 WITH SCORE 38305.207
AT ITER 4189 NEW BEST:: SOT 144326 SOS 86206 HAS SOPS 86206 HAS SOUS 38217 HAS SOUPS 38217 WITH SCORE 38303.206
AT ITER 4197 NEW BEST:: SOT 144047 SOS 87763 HAS SOPS 87763 HAS SOUS 38096 HAS SOUPS 38096 WITH SCORE 38183.763
AT ITER 4232 NEW BEST:: SOT 144064 SOS 87780 HAS SOPS 87780 HAS SOUS 38079 HAS SOUPS 38079 WITH SCORE 38166.78
AT ITER 4244 NEW BEST:: SOT 144040 SOS 87756 HAS SOPS 87756 HAS SOUS 38031 HAS SOUPS 38031 WITH SCORE 38118.756
AT ITER 4251 NEW BEST:: SOT 143940 SOS 87656 HAS SOPS 87656 HAS SOUS 37931 HAS SOUPS 37931 WITH SCORE 38018.656
AT ITER 4262 NEW BEST:: SOT 143930 SOS 87646 HAS SOPS 87646 HAS SOUS 37911 HAS SOUPS 37911 WITH SCORE 37998.646
AT ITER 4284 NEW BEST:: SOT 143900 SOS 87616 HAS SOPS 87616 HAS SOUS 37851 HAS SOUPS 37851 WITH SCORE 37938.616
AT ITER 4303 NEW BEST:: SOT 143891 SOS 87811 HAS SOPS 87811 HAS SOUS 37848 HAS SOUPS 37848 WITH SCORE 37935.811
AT ITER 4308 NEW BEST:: SOT 143891 SOS 87771 HAS SOPS 87771 HAS SOUS 37848 HAS SOUPS 37848 WITH SCORE 37935.771
AT ITER 4318 NEW BEST:: SOT 143861 SOS 87741 HAS SOPS 87741 HAS SOUS 37788 HAS SOUPS 37788 WITH SCORE 37875.741
AT ITER 4342 NEW BEST:: SOT 143859 SOS 87722 HAS SOPS 87722 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37871.722
AT ITER 4343 NEW BEST:: SOT 143824 SOS 87690 HAS SOPS 87690 HAS SOUS 37700 HAS SOUPS 37700 WITH SCORE 37787.69
AT ITER 4360 NEW BEST:: SOT 143798 SOS 87664 HAS SOPS 87664 HAS SOUS 37695 HAS SOUPS 37695 WITH SCORE 37782.664
AT ITER 4366 NEW BEST:: SOT 143811 SOS 87672 HAS SOPS 87672 HAS SOUS 37652 HAS SOUPS 37652 WITH SCORE 37739.672
AT ITER 4462 NEW BEST:: SOT 143768 SOS 87629 HAS SOPS 87629 HAS SOUS 37566 HAS SOUPS 37566 WITH SCORE 37653.629
AT ITER 4478 NEW BEST:: SOT 143805 SOS 87666 HAS SOPS 87666 HAS SOUS 37555 HAS SOUPS 37555 WITH SCORE 37642.666
AT ITER 4491 NEW BEST:: SOT 143805 SOS 87666 HAS SOPS 87666 HAS SOUS 37525 HAS SOUPS 37525 WITH SCORE 37612.666
AT ITER 4518 NEW BEST:: SOT 143789 SOS 87650 HAS SOPS 87650 HAS SOUS 37493 HAS SOUPS 37493 WITH SCORE 37580.65
AT ITER 4536 NEW BEST:: SOT 143768 SOS 87629 HAS SOPS 87629 HAS SOUS 37451 HAS SOUPS 37451 WITH SCORE 37538.629
AT ITER 4538 NEW BEST:: SOT 143764 SOS 87625 HAS SOPS 87625 HAS SOUS 37443 HAS SOUPS 37443 WITH SCORE 37530.625
AT ITER 4554 NEW BEST:: SOT 143733 SOS 87594 HAS SOPS 87594 HAS SOUS 37381 HAS SOUPS 37381 WITH SCORE 37468.594
AT ITER 4562 NEW BEST:: SOT 143725 SOS 87601 HAS SOPS 87601 HAS SOUS 37365 HAS SOUPS 37365 WITH SCORE 37452.601
AT ITER 4573 NEW BEST:: SOT 143717 SOS 87593 HAS SOPS 87593 HAS SOUS 37349 HAS SOUPS 37349 WITH SCORE 37436.593
AT ITER 4584 NEW BEST:: SOT 143721 SOS 87597 HAS SOPS 87597 HAS SOUS 37347 HAS SOUPS 37347 WITH SCORE 37434.597
AT ITER 4592 NEW BEST:: SOT 143721 SOS 87597 HAS SOPS 87597 HAS SOUS 37336 HAS SOUPS 37336 WITH SCORE 37423.597
AT ITER 4594 NEW BEST:: SOT 143704 SOS 87580 HAS SOPS 87580 HAS SOUS 37302 HAS SOUPS 37302 WITH SCORE 37389.58
AT ITER 4611 NEW BEST:: SOT 143769 SOS 87591 HAS SOPS 87591 HAS SOUS 37275 HAS SOUPS 37275 WITH SCORE 37362.591
AT ITER 4612 NEW BEST:: SOT 143804 SOS 87626 HAS SOPS 87626 HAS SOUS 37273 HAS SOUPS 37273 WITH SCORE 37360.626
AT ITER 4623 NEW BEST:: SOT 143802 SOS 87624 HAS SOPS 87624 HAS SOUS 37269 HAS SOUPS 37269 WITH SCORE 37356.624
AT ITER 4634 NEW BEST:: SOT 143803 SOS 87649 HAS SOPS 87649 HAS SOUS 37266 HAS SOUPS 37266 WITH SCORE 37353.649
AT ITER 4655 NEW BEST:: SOT 143800 SOS 87646 HAS SOPS 87646 HAS SOUS 37260 HAS SOUPS 37260 WITH SCORE 37347.646
AT ITER 4664 NEW BEST:: SOT 143774 SOS 87583 HAS SOPS 87583 HAS SOUS 37245 HAS SOUPS 37245 WITH SCORE 37332.583
AT ITER 4684 NEW BEST:: SOT 143772 SOS 87581 HAS SOPS 87581 HAS SOUS 37241 HAS SOUPS 37241 WITH SCORE 37328.581
AT ITER 4688 NEW BEST:: SOT 143742 SOS 87551 HAS SOPS 87551 HAS SOUS 37211 HAS SOUPS 37211 WITH SCORE 37298.551
AT ITER 4698 NEW BEST:: SOT 143718 SOS 87527 HAS SOPS 87527 HAS SOUS 37163 HAS SOUPS 37163 WITH SCORE 37250.527
AT ITER 4700 NEW BEST:: SOT 143711 SOS 87520 HAS SOPS 87520 HAS SOUS 37149 HAS SOUPS 37149 WITH SCORE 37236.52
AT ITER 4706 NEW BEST:: SOT 143700 SOS 87649 HAS SOPS 87649 HAS SOUS 37138 HAS SOUPS 37138 WITH SCORE 37225.649
AT ITER 4708 NEW BEST:: SOT 143737 SOS 87686 HAS SOPS 87686 HAS SOUS 37136 HAS SOUPS 37136 WITH SCORE 37223.686
AT ITER 4713 NEW BEST:: SOT 143619 SOS 87546 HAS SOPS 87546 HAS SOUS 36900 HAS SOUPS 36900 WITH SCORE 36987.546
AT ITER 4718 NEW BEST:: SOT 143619 SOS 87546 HAS SOPS 87546 HAS SOUS 36863 HAS SOUPS 36863 WITH SCORE 36950.546
AT ITER 4719 NEW BEST:: SOT 143603 SOS 87530 HAS SOPS 87530 HAS SOUS 36817 HAS SOUPS 36817 WITH SCORE 36904.53
AT ITER 4728 NEW BEST:: SOT 143557 SOS 87484 HAS SOPS 87484 HAS SOUS 36759 HAS SOUPS 36759 WITH SCORE 36846.484
AT ITER 4743 NEW BEST:: SOT 143535 SOS 87462 HAS SOPS 87462 HAS SOUS 36715 HAS SOUPS 36715 WITH SCORE 36802.462
AT ITER 4756 NEW BEST:: SOT 143522 SOS 87449 HAS SOPS 87449 HAS SOUS 36689 HAS SOUPS 36689 WITH SCORE 36776.449
AT ITER 4818 NEW BEST:: SOT 143491 SOS 87350 HAS SOPS 87350 HAS SOUS 36625 HAS SOUPS 36625 WITH SCORE 36712.35
AT ITER 4819 NEW BEST:: SOT 143468 SOS 87311 HAS SOPS 87311 HAS SOUS 36586 HAS SOUPS 36586 WITH SCORE 36673.311
AT ITER 4821 NEW BEST:: SOT 143496 SOS 87361 HAS SOPS 87361 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36646.361
AT ITER 4844 NEW BEST:: SOT 143478 SOS 87343 HAS SOPS 87343 HAS SOUS 36523 HAS SOUPS 36523 WITH SCORE 36610.343
AT ITER 4852 NEW BEST:: SOT 143439 SOS 87304 HAS SOPS 87304 HAS SOUS 36470 HAS SOUPS 36470 WITH SCORE 36557.304
AT ITER 4888 NEW BEST:: SOT 143419 SOS 87264 HAS SOPS 87264 HAS SOUS 36450 HAS SOUPS 36450 WITH SCORE 36537.264
AT ITER 4924 NEW BEST:: SOT 143392 SOS 87237 HAS SOPS 87237 HAS SOUS 36450 HAS SOUPS 36450 WITH SCORE 36537.237
AT ITER 4928 NEW BEST:: SOT 143366 SOS 87211 HAS SOPS 87211 HAS SOUS 36398 HAS SOUPS 36398 WITH SCORE 36485.211
AT ITER 4942 NEW BEST:: SOT 143335 SOS 87180 HAS SOPS 87180 HAS SOUS 36336 HAS SOUPS 36336 WITH SCORE 36423.18
AT ITER 4943 NEW BEST:: SOT 143298 SOS 87143 HAS SOPS 87143 HAS SOUS 36262 HAS SOUPS 36262 WITH SCORE 36349.143
AT ITER 4950 NEW BEST:: SOT 143296 SOS 87139 HAS SOPS 87139 HAS SOUS 36258 HAS SOUPS 36258 WITH SCORE 36345.139
AT ITER 4996 NEW BEST:: SOT 143298 SOS 87141 HAS SOPS 87141 HAS SOUS 36238 HAS SOUPS 36238 WITH SCORE 36325.141
AT ITER 5026 NEW BEST:: SOT 143345 SOS 86728 HAS SOPS 86728 HAS SOUS 36237 HAS SOUPS 36237 WITH SCORE 36323.728
AT ITER 5027 NEW BEST:: SOT 143329 SOS 86716 HAS SOPS 86716 HAS SOUS 36201 HAS SOUPS 36201 WITH SCORE 36287.716
AT ITER 5032 NEW BEST:: SOT 143318 SOS 86705 HAS SOPS 86705 HAS SOUS 36179 HAS SOUPS 36179 WITH SCORE 36265.705
AT ITER 5086 NEW BEST:: SOT 143282 SOS 86669 HAS SOPS 86669 HAS SOUS 36143 HAS SOUPS 36143 WITH SCORE 36229.669
AT ITER 5124 NEW BEST:: SOT 143260 SOS 86647 HAS SOPS 86647 HAS SOUS 36099 HAS SOUPS 36099 WITH SCORE 36185.647
AT ITER 5138 NEW BEST:: SOT 143245 SOS 86632 HAS SOPS 86632 HAS SOUS 36072 HAS SOUPS 36072 WITH SCORE 36158.632
AT ITER 5147 NEW BEST:: SOT 143207 SOS 86594 HAS SOPS 86594 HAS SOUS 36022 HAS SOUPS 36022 WITH SCORE 36108.594
AT ITER 5149 NEW BEST:: SOT 143196 SOS 86583 HAS SOPS 86583 HAS SOUS 36000 HAS SOUPS 36000 WITH SCORE 36086.583
AT ITER 5213 NEW BEST:: SOT 143150 SOS 83066 HAS SOPS 83066 HAS SOUS 35783 HAS SOUPS 35783 WITH SCORE 35866.066
AT ITER 5223 NEW BEST:: SOT 143094 SOS 83010 HAS SOPS 83010 HAS SOUS 35700 HAS SOUPS 35700 WITH SCORE 35783.01
AT ITER 5229 NEW BEST:: SOT 143087 SOS 82993 HAS SOPS 82993 HAS SOUS 35696 HAS SOUPS 35696 WITH SCORE 35778.993
AT ITER 5234 NEW BEST:: SOT 143070 SOS 82976 HAS SOPS 82976 HAS SOUS 35671 HAS SOUPS 35671 WITH SCORE 35753.976
AT ITER 5236 NEW BEST:: SOT 143083 SOS 82989 HAS SOPS 82989 HAS SOUS 35669 HAS SOUPS 35669 WITH SCORE 35751.989
AT ITER 5241 NEW BEST:: SOT 142932 SOS 82838 HAS SOPS 82838 HAS SOUS 35367 HAS SOUPS 35367 WITH SCORE 35449.838
AT ITER 5244 NEW BEST:: SOT 142932 SOS 82838 HAS SOPS 82838 HAS SOUS 35348 HAS SOUPS 35348 WITH SCORE 35430.838
AT ITER 5257 NEW BEST:: SOT 142927 SOS 82833 HAS SOPS 82833 HAS SOUS 35338 HAS SOUPS 35338 WITH SCORE 35420.833
AT ITER 5269 NEW BEST:: SOT 142922 SOS 82828 HAS SOPS 82828 HAS SOUS 35328 HAS SOUPS 35328 WITH SCORE 35410.828
AT ITER 5274 NEW BEST:: SOT 142922 SOS 82828 HAS SOPS 82828 HAS SOUS 35323 HAS SOUPS 35323 WITH SCORE 35405.828
AT ITER 5283 NEW BEST:: SOT 142855 SOS 82761 HAS SOPS 82761 HAS SOUS 35189 HAS SOUPS 35189 WITH SCORE 35271.761
AT ITER 5288 NEW BEST:: SOT 142818 SOS 82724 HAS SOPS 82724 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35224.724
AT ITER 5315 NEW BEST:: SOT 142815 SOS 82721 HAS SOPS 82721 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35224.721
AT ITER 5320 NEW BEST:: SOT 142818 SOS 82720 HAS SOPS 82720 HAS SOUS 35140 HAS SOUPS 35140 WITH SCORE 35222.72
AT ITER 5349 NEW BEST:: SOT 142818 SOS 82656 HAS SOPS 82656 HAS SOUS 35136 HAS SOUPS 35136 WITH SCORE 35218.656
AT ITER 5355 NEW BEST:: SOT 142815 SOS 82653 HAS SOPS 82653 HAS SOUS 35130 HAS SOUPS 35130 WITH SCORE 35212.653
AT ITER 5366 NEW BEST:: SOT 142814 SOS 82652 HAS SOPS 82652 HAS SOUS 35129 HAS SOUPS 35129 WITH SCORE 35211.652
AT ITER 5395 NEW BEST:: SOT 142806 SOS 82644 HAS SOPS 82644 HAS SOUS 35113 HAS SOUPS 35113 WITH SCORE 35195.644
AT ITER 5396 NEW BEST:: SOT 142768 SOS 82446 HAS SOPS 82446 HAS SOUS 35037 HAS SOUPS 35037 WITH SCORE 35119.446
AT ITER 5401 NEW BEST:: SOT 142768 SOS 82446 HAS SOPS 82446 HAS SOUS 35030 HAS SOUPS 35030 WITH SCORE 35112.446
AT ITER 5406 NEW BEST:: SOT 142745 SOS 82423 HAS SOPS 82423 HAS SOUS 34984 HAS SOUPS 34984 WITH SCORE 35066.423
AT ITER 5411 NEW BEST:: SOT 142763 SOS 82431 HAS SOPS 82431 HAS SOUS 34974 HAS SOUPS 34974 WITH SCORE 35056.431
AT ITER 5428 NEW BEST:: SOT 142754 SOS 82422 HAS SOPS 82422 HAS SOUS 34965 HAS SOUPS 34965 WITH SCORE 35047.422
AT ITER 5431 NEW BEST:: SOT 142718 SOS 82386 HAS SOPS 82386 HAS SOUS 34893 HAS SOUPS 34893 WITH SCORE 34975.386
AT ITER 5433 NEW BEST:: SOT 142697 SOS 82365 HAS SOPS 82365 HAS SOUS 34872 HAS SOUPS 34872 WITH SCORE 34954.365
AT ITER 5487 NEW BEST:: SOT 142685 SOS 82353 HAS SOPS 82353 HAS SOUS 34826 HAS SOUPS 34826 WITH SCORE 34908.353
AT ITER 5522 NEW BEST:: SOT 142685 SOS 82345 HAS SOPS 82345 HAS SOUS 34826 HAS SOUPS 34826 WITH SCORE 34908.345
AT ITER 5525 NEW BEST:: SOT 142675 SOS 82335 HAS SOPS 82335 HAS SOUS 34806 HAS SOUPS 34806 WITH SCORE 34888.335
AT ITER 5559 NEW BEST:: SOT 142673 SOS 82333 HAS SOPS 82333 HAS SOUS 34802 HAS SOUPS 34802 WITH SCORE 34884.333
AT ITER 5561 NEW BEST:: SOT 142621 SOS 82281 HAS SOPS 82281 HAS SOUS 34698 HAS SOUPS 34698 WITH SCORE 34780.281
AT ITER 5582 NEW BEST:: SOT 142621 SOS 82281 HAS SOPS 82281 HAS SOUS 34669 HAS SOUPS 34669 WITH SCORE 34751.281
AT ITER 5593 NEW BEST:: SOT 142615 SOS 83052 HAS SOPS 83052 HAS SOUS 34663 HAS SOUPS 34663 WITH SCORE 34746.052
AT ITER 5609 NEW BEST:: SOT 142601 SOS 83032 HAS SOPS 83032 HAS SOUS 34643 HAS SOUPS 34643 WITH SCORE 34726.032
AT ITER 5633 NEW BEST:: SOT 142591 SOS 83022 HAS SOPS 83022 HAS SOUS 34623 HAS SOUPS 34623 WITH SCORE 34706.022
AT ITER 5648 NEW BEST:: SOT 142578 SOS 82980 HAS SOPS 82980 HAS SOUS 34555 HAS SOUPS 34555 WITH SCORE 34637.98
AT ITER 5649 NEW BEST:: SOT 142550 SOS 82952 HAS SOPS 82952 HAS SOUS 34499 HAS SOUPS 34499 WITH SCORE 34581.952
AT ITER 5715 NEW BEST:: SOT 142506 SOS 82908 HAS SOPS 82908 HAS SOUS 34411 HAS SOUPS 34411 WITH SCORE 34493.908
AT ITER 5725 NEW BEST:: SOT 142488 SOS 82890 HAS SOPS 82890 HAS SOUS 34411 HAS SOUPS 34411 WITH SCORE 34493.89
AT ITER 5738 NEW BEST:: SOT 142482 SOS 82884 HAS SOPS 82884 HAS SOUS 34399 HAS SOUPS 34399 WITH SCORE 34481.884
AT ITER 5765 NEW BEST:: SOT 142400 SOS 82802 HAS SOPS 82802 HAS SOUS 34237 HAS SOUPS 34237 WITH SCORE 34319.802
AT ITER 5777 NEW BEST:: SOT 142400 SOS 82766 HAS SOPS 82766 HAS SOUS 34237 HAS SOUPS 34237 WITH SCORE 34319.766
AT ITER 5781 NEW BEST:: SOT 142400 SOS 82756 HAS SOPS 82756 HAS SOUS 34237 HAS SOUPS 34237 WITH SCORE 34319.756
AT ITER 5823 NEW BEST:: SOT 142374 SOS 82730 HAS SOPS 82730 HAS SOUS 34185 HAS SOUPS 34185 WITH SCORE 34267.73
AT ITER 5837 NEW BEST:: SOT 142335 SOS 82691 HAS SOPS 82691 HAS SOUS 34157 HAS SOUPS 34157 WITH SCORE 34239.691
AT ITER 5863 NEW BEST:: SOT 142454 SOS 82719 HAS SOPS 82719 HAS SOUS 34148 HAS SOUPS 34148 WITH SCORE 34230.719
AT ITER 5884 NEW BEST:: SOT 142454 SOS 82719 HAS SOPS 82719 HAS SOUS 34134 HAS SOUPS 34134 WITH SCORE 34216.719
AT ITER 5902 NEW BEST:: SOT 142444 SOS 82709 HAS SOPS 82709 HAS SOUS 34128 HAS SOUPS 34128 WITH SCORE 34210.709
AT ITER 5903 NEW BEST:: SOT 142450 SOS 82698 HAS SOPS 82698 HAS SOUS 34114 HAS SOUPS 34114 WITH SCORE 34196.698
AT ITER 5963 NEW BEST:: SOT 142487 SOS 82746 HAS SOPS 82746 HAS SOUS 34103 HAS SOUPS 34103 WITH SCORE 34185.746
AT ITER 5981 NEW BEST:: SOT 142487 SOS 82732 HAS SOPS 82732 HAS SOUS 34089 HAS SOUPS 34089 WITH SCORE 34171.732
AT ITER 5997 NEW BEST:: SOT 142473 SOS 82718 HAS SOPS 82718 HAS SOUS 34061 HAS SOUPS 34061 WITH SCORE 34143.718
AT ITER 6028 NEW BEST:: SOT 142473 SOS 82718 HAS SOPS 82718 HAS SOUS 34049 HAS SOUPS 34049 WITH SCORE 34131.718
AT ITER 6036 NEW BEST:: SOT 142467 SOS 82712 HAS SOPS 82712 HAS SOUS 34037 HAS SOUPS 34037 WITH SCORE 34119.712
AT ITER 6058 NEW BEST:: SOT 142476 SOS 82721 HAS SOPS 82721 HAS SOUS 34033 HAS SOUPS 34033 WITH SCORE 34115.721
AT ITER 6099 NEW BEST:: SOT 142493 SOS 82073 HAS SOPS 82073 HAS SOUS 34025 HAS SOUPS 34025 WITH SCORE 34107.073
AT ITER 6113 NEW BEST:: SOT 142493 SOS 82073 HAS SOPS 82073 HAS SOUS 33997 HAS SOUPS 33997 WITH SCORE 34079.073
AT ITER 6172 NEW BEST:: SOT 142478 SOS 82025 HAS SOPS 82025 HAS SOUS 33976 HAS SOUPS 33976 WITH SCORE 34058.025
AT ITER 6233 NEW BEST:: SOT 142456 SOS 81964 HAS SOPS 81964 HAS SOUS 33971 HAS SOUPS 33971 WITH SCORE 34052.964
AT ITER 6235 NEW BEST:: SOT 142422 SOS 81930 HAS SOPS 81930 HAS SOUS 33903 HAS SOUPS 33903 WITH SCORE 33984.93
AT ITER 6284 NEW BEST:: SOT 142414 SOS 81922 HAS SOPS 81922 HAS SOUS 33887 HAS SOUPS 33887 WITH SCORE 33968.922
AT ITER 6311 NEW BEST:: SOT 142359 SOS 81867 HAS SOPS 81867 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33957.867
AT ITER 6326 NEW BEST:: SOT 142349 SOS 81732 HAS SOPS 81732 HAS SOUS 33856 HAS SOUPS 33856 WITH SCORE 33937.732
AT ITER 6345 NEW BEST:: SOT 142349 SOS 81732 HAS SOPS 81732 HAS SOUS 33807 HAS SOUPS 33807 WITH SCORE 33888.732
AT ITER 6347 NEW BEST:: SOT 142326 SOS 81709 HAS SOPS 81709 HAS SOUS 33797 HAS SOUPS 33797 WITH SCORE 33878.709
AT ITER 6366 NEW BEST:: SOT 142325 SOS 81708 HAS SOPS 81708 HAS SOUS 33796 HAS SOUPS 33796 WITH SCORE 33877.708
AT ITER 6412 NEW BEST:: SOT 142325 SOS 81738 HAS SOPS 81738 HAS SOUS 33790 HAS SOUPS 33790 WITH SCORE 33871.738
AT ITER 6416 NEW BEST:: SOT 142251 SOS 81664 HAS SOPS 81664 HAS SOUS 33716 HAS SOUPS 33716 WITH SCORE 33797.664
AT ITER 6434 NEW BEST:: SOT 142254 SOS 81687 HAS SOPS 81687 HAS SOUS 33713 HAS SOUPS 33713 WITH SCORE 33794.687
AT ITER 6437 NEW BEST:: SOT 142281 SOS 80099 HAS SOPS 80099 HAS SOUS 33673 HAS SOUPS 33673 WITH SCORE 33753.099
AT ITER 6455 NEW BEST:: SOT 142277 SOS 80095 HAS SOPS 80095 HAS SOUS 33667 HAS SOUPS 33667 WITH SCORE 33747.095
AT ITER 6496 NEW BEST:: SOT 142277 SOS 80095 HAS SOPS 80095 HAS SOUS 33652 HAS SOUPS 33652 WITH SCORE 33732.095
AT ITER 6530 NEW BEST:: SOT 142275 SOS 80093 HAS SOPS 80093 HAS SOUS 33648 HAS SOUPS 33648 WITH SCORE 33728.093
AT ITER 6561 NEW BEST:: SOT 142269 SOS 80081 HAS SOPS 80081 HAS SOUS 33642 HAS SOUPS 33642 WITH SCORE 33722.081
AT ITER 6567 NEW BEST:: SOT 142254 SOS 80066 HAS SOPS 80066 HAS SOUS 33612 HAS SOUPS 33612 WITH SCORE 33692.066
AT ITER 6575 NEW BEST:: SOT 142254 SOS 80051 HAS SOPS 80051 HAS SOUS 33597 HAS SOUPS 33597 WITH SCORE 33677.051
AT ITER 6577 NEW BEST:: SOT 142252 SOS 80049 HAS SOPS 80049 HAS SOUS 33593 HAS SOUPS 33593 WITH SCORE 33673.049
AT ITER 6583 NEW BEST:: SOT 142208 SOS 80005 HAS SOPS 80005 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33585.005
AT ITER 6594 NEW BEST:: SOT 142208 SOS 79885 HAS SOPS 79885 HAS SOUS 33505 HAS SOUPS 33505 WITH SCORE 33584.885
AT ITER 6595 NEW BEST:: SOT 142203 SOS 79755 HAS SOPS 79755 HAS SOUS 33495 HAS SOUPS 33495 WITH SCORE 33574.755
AT ITER 6597 NEW BEST:: SOT 142176 SOS 79950 HAS SOPS 79950 HAS SOUS 33468 HAS SOUPS 33468 WITH SCORE 33547.95
AT ITER 6603 NEW BEST:: SOT 142176 SOS 79640 HAS SOPS 79640 HAS SOUS 33468 HAS SOUPS 33468 WITH SCORE 33547.64
AT ITER 6625 NEW BEST:: SOT 142172 SOS 79636 HAS SOPS 79636 HAS SOUS 33428 HAS SOUPS 33428 WITH SCORE 33507.636
AT ITER 6630 NEW BEST:: SOT 142171 SOS 79635 HAS SOPS 79635 HAS SOUS 33426 HAS SOUPS 33426 WITH SCORE 33505.635
AT ITER 6698 NEW BEST:: SOT 142153 SOS 79617 HAS SOPS 79617 HAS SOUS 33408 HAS SOUPS 33408 WITH SCORE 33487.617
AT ITER 6751 NEW BEST:: SOT 142150 SOS 79614 HAS SOPS 79614 HAS SOUS 33377 HAS SOUPS 33377 WITH SCORE 33456.614
AT ITER 6823 NEW BEST:: SOT 142143 SOS 79607 HAS SOPS 79607 HAS SOUS 33363 HAS SOUPS 33363 WITH SCORE 33442.607
AT ITER 6831 NEW BEST:: SOT 142105 SOS 79569 HAS SOPS 79569 HAS SOUS 33349 HAS SOUPS 33349 WITH SCORE 33428.569
AT ITER 6856 NEW BEST:: SOT 142102 SOS 79566 HAS SOPS 79566 HAS SOUS 33343 HAS SOUPS 33343 WITH SCORE 33422.566
AT ITER 6887 NEW BEST:: SOT 142103 SOS 79567 HAS SOPS 79567 HAS SOUS 33328 HAS SOUPS 33328 WITH SCORE 33407.567
AT ITER 6920 NEW BEST:: SOT 142099 SOS 79467 HAS SOPS 79467 HAS SOUS 33320 HAS SOUPS 33320 WITH SCORE 33399.467
AT ITER 6935 NEW BEST:: SOT 142112 SOS 78910 HAS SOPS 78910 HAS SOUS 33307 HAS SOUPS 33307 WITH SCORE 33385.91
AT ITER 6954 NEW BEST:: SOT 142112 SOS 78910 HAS SOPS 78910 HAS SOUS 33305 HAS SOUPS 33305 WITH SCORE 33383.91
AT ITER 6974 NEW BEST:: SOT 142107 SOS 78905 HAS SOPS 78905 HAS SOUS 33305 HAS SOUPS 33305 WITH SCORE 33383.905
AT ITER 6982 NEW BEST:: SOT 142102 SOS 78900 HAS SOPS 78900 HAS SOUS 33295 HAS SOUPS 33295 WITH SCORE 33373.9
AT ITER 6993 NEW BEST:: SOT 142028 SOS 78826 HAS SOPS 78826 HAS SOUS 33201 HAS SOUPS 33201 WITH SCORE 33279.826
AT ITER 6995 NEW BEST:: SOT 141998 SOS 78796 HAS SOPS 78796 HAS SOUS 33141 HAS SOUPS 33141 WITH SCORE 33219.796
AT ITER 7001 NEW BEST:: SOT 142098 SOS 77352 HAS SOPS 77352 HAS SOUS 33083 HAS SOUPS 33083 WITH SCORE 33160.352
AT ITER 7004 NEW BEST:: SOT 142106 SOS 77360 HAS SOPS 77360 HAS SOUS 33077 HAS SOUPS 33077 WITH SCORE 33154.36
AT ITER 7009 NEW BEST:: SOT 142100 SOS 77360 HAS SOPS 77360 HAS SOUS 33065 HAS SOUPS 33065 WITH SCORE 33142.36
AT ITER 7011 NEW BEST:: SOT 142102 SOS 77362 HAS SOPS 77362 HAS SOUS 33041 HAS SOUPS 33041 WITH SCORE 33118.362
AT ITER 7028 NEW BEST:: SOT 141993 SOS 77253 HAS SOPS 77253 HAS SOUS 32991 HAS SOUPS 32991 WITH SCORE 33068.253
AT ITER 7112 NEW BEST:: SOT 141866 SOS 77126 HAS SOPS 77126 HAS SOUS 32870 HAS SOUPS 32870 WITH SCORE 32947.126
AT ITER 7128 NEW BEST:: SOT 141845 SOS 77105 HAS SOPS 77105 HAS SOUS 32828 HAS SOUPS 32828 WITH SCORE 32905.105
AT ITER 7130 NEW BEST:: SOT 141839 SOS 77099 HAS SOPS 77099 HAS SOUS 32816 HAS SOUPS 32816 WITH SCORE 32893.099
AT ITER 7143 NEW BEST:: SOT 141817 SOS 77055 HAS SOPS 77055 HAS SOUS 32772 HAS SOUPS 32772 WITH SCORE 32849.055
AT ITER 7160 NEW BEST:: SOT 141817 SOS 77055 HAS SOPS 77055 HAS SOUS 32742 HAS SOUPS 32742 WITH SCORE 32819.055
AT ITER 7185 NEW BEST:: SOT 141795 SOS 77033 HAS SOPS 77033 HAS SOUS 32698 HAS SOUPS 32698 WITH SCORE 32775.033
AT ITER 7233 NEW BEST:: SOT 141766 SOS 77004 HAS SOPS 77004 HAS SOUS 32669 HAS SOUPS 32669 WITH SCORE 32746.004
AT ITER 7279 NEW BEST:: SOT 141726 SOS 76936 HAS SOPS 76936 HAS SOUS 32589 HAS SOUPS 32589 WITH SCORE 32665.936
AT ITER 7311 NEW BEST:: SOT 141725 SOS 76935 HAS SOPS 76935 HAS SOUS 32587 HAS SOUPS 32587 WITH SCORE 32663.935
AT ITER 7353 NEW BEST:: SOT 141712 SOS 76922 HAS SOPS 76922 HAS SOUS 32561 HAS SOUPS 32561 WITH SCORE 32637.922
AT ITER 7358 NEW BEST:: SOT 141685 SOS 76895 HAS SOPS 76895 HAS SOUS 32507 HAS SOUPS 32507 WITH SCORE 32583.895
AT ITER 7370 NEW BEST:: SOT 141635 SOS 77115 HAS SOPS 77115 HAS SOUS 32472 HAS SOUPS 32472 WITH SCORE 32549.115
AT ITER 7399 NEW BEST:: SOT 141635 SOS 76589 HAS SOPS 76589 HAS SOUS 32438 HAS SOUPS 32438 WITH SCORE 32514.589
AT ITER 7413 NEW BEST:: SOT 141633 SOS 76587 HAS SOPS 76587 HAS SOUS 32434 HAS SOUPS 32434 WITH SCORE 32510.587
AT ITER 7419 NEW BEST:: SOT 141614 SOS 76548 HAS SOPS 76548 HAS SOUS 32396 HAS SOUPS 32396 WITH SCORE 32472.548
AT ITER 7423 NEW BEST:: SOT 141610 SOS 76544 HAS SOPS 76544 HAS SOUS 32388 HAS SOUPS 32388 WITH SCORE 32464.544
AT ITER 7434 NEW BEST:: SOT 141574 SOS 76497 HAS SOPS 76497 HAS SOUS 32323 HAS SOUPS 32323 WITH SCORE 32399.497
AT ITER 7447 NEW BEST:: SOT 141560 SOS 76483 HAS SOPS 76483 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32372.483
AT ITER 7471 NEW BEST:: SOT 141558 SOS 76477 HAS SOPS 76477 HAS SOUS 32292 HAS SOUPS 32292 WITH SCORE 32368.477
AT ITER 7480 NEW BEST:: SOT 141542 SOS 76461 HAS SOPS 76461 HAS SOUS 32260 HAS SOUPS 32260 WITH SCORE 32336.461
AT ITER 7485 NEW BEST:: SOT 141525 SOS 76444 HAS SOPS 76444 HAS SOUS 32226 HAS SOUPS 32226 WITH SCORE 32302.444
AT ITER 7507 NEW BEST:: SOT 141505 SOS 76423 HAS SOPS 76423 HAS SOUS 32195 HAS SOUPS 32195 WITH SCORE 32271.423
AT ITER 7583 NEW BEST:: SOT 141491 SOS 76409 HAS SOPS 76409 HAS SOUS 32185 HAS SOUPS 32185 WITH SCORE 32261.409
AT ITER 7605 NEW BEST:: SOT 141486 SOS 76404 HAS SOPS 76404 HAS SOUS 32180 HAS SOUPS 32180 WITH SCORE 32256.404
AT ITER 7626 NEW BEST:: SOT 141483 SOS 76396 HAS SOPS 76396 HAS SOUS 32179 HAS SOUPS 32179 WITH SCORE 32255.396
AT ITER 7673 NEW BEST:: SOT 141481 SOS 76358 HAS SOPS 76358 HAS SOUS 32175 HAS SOUPS 32175 WITH SCORE 32251.358
AT ITER 7805 NEW BEST:: SOT 141474 SOS 76351 HAS SOPS 76351 HAS SOUS 32168 HAS SOUPS 32168 WITH SCORE 32244.351
AT ITER 7843 NEW BEST:: SOT 141466 SOS 76346 HAS SOPS 76346 HAS SOUS 32160 HAS SOUPS 32160 WITH SCORE 32236.346
AT ITER 7888 NEW BEST:: SOT 141458 SOS 76338 HAS SOPS 76338 HAS SOUS 32144 HAS SOUPS 32144 WITH SCORE 32220.338
AT ITER 7894 NEW BEST:: SOT 141453 SOS 76223 HAS SOPS 76223 HAS SOUS 32134 HAS SOUPS 32134 WITH SCORE 32210.223
AT ITER 7920 NEW BEST:: SOT 141387 SOS 76506 HAS SOPS 76506 HAS SOUS 32087 HAS SOUPS 32087 WITH SCORE 32163.506
AT ITER 7940 NEW BEST:: SOT 141375 SOS 76494 HAS SOPS 76494 HAS SOUS 32063 HAS SOUPS 32063 WITH SCORE 32139.494
AT ITER 7990 NEW BEST:: SOT 141372 SOS 76491 HAS SOPS 76491 HAS SOUS 32057 HAS SOUPS 32057 WITH SCORE 32133.491
AT ITER 7995 NEW BEST:: SOT 141365 SOS 76484 HAS SOPS 76484 HAS SOUS 32043 HAS SOUPS 32043 WITH SCORE 32119.484
AT ITER 7997 NEW BEST:: SOT 141365 SOS 76424 HAS SOPS 76424 HAS SOUS 32043 HAS SOUPS 32043 WITH SCORE 32119.424
AT ITER 8048 NEW BEST:: SOT 141357 SOS 76416 HAS SOPS 76416 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32103.416
AT ITER 8056 NEW BEST:: SOT 141322 SOS 76381 HAS SOPS 76381 HAS SOUS 32026 HAS SOUPS 32026 WITH SCORE 32102.381
AT ITER 8063 NEW BEST:: SOT 141322 SOS 76372 HAS SOPS 76372 HAS SOUS 32026 HAS SOUPS 32026 WITH SCORE 32102.372
AT ITER 8118 NEW BEST:: SOT 141322 SOS 76204 HAS SOPS 76204 HAS SOUS 32018 HAS SOUPS 32018 WITH SCORE 32094.204
AT ITER 8126 NEW BEST:: SOT 141319 SOS 76198 HAS SOPS 76198 HAS SOUS 32015 HAS SOUPS 32015 WITH SCORE 32091.198
AT ITER 8214 NEW BEST:: SOT 141308 SOS 76187 HAS SOPS 76187 HAS SOUS 32008 HAS SOUPS 32008 WITH SCORE 32084.187
AT ITER 8233 NEW BEST:: SOT 141285 SOS 76130 HAS SOPS 76130 HAS SOUS 31996 HAS SOUPS 31996 WITH SCORE 32072.13
AT ITER 8279 NEW BEST:: SOT 141244 SOS 76089 HAS SOPS 76089 HAS SOUS 31914 HAS SOUPS 31914 WITH SCORE 31990.089
AT ITER 8295 NEW BEST:: SOT 141251 SOS 76093 HAS SOPS 76093 HAS SOUS 31912 HAS SOUPS 31912 WITH SCORE 31988.093
AT ITER 8297 NEW BEST:: SOT 141236 SOS 76042 HAS SOPS 76042 HAS SOUS 31890 HAS SOUPS 31890 WITH SCORE 31966.042
AT ITER 8299 NEW BEST:: SOT 141221 SOS 76027 HAS SOPS 76027 HAS SOUS 31890 HAS SOUPS 31890 WITH SCORE 31966.027
AT ITER 8333 NEW BEST:: SOT 141214 SOS 76020 HAS SOPS 76020 HAS SOUS 31876 HAS SOUPS 31876 WITH SCORE 31952.02
AT ITER 8350 NEW BEST:: SOT 141209 SOS 76015 HAS SOPS 76015 HAS SOUS 31871 HAS SOUPS 31871 WITH SCORE 31947.015
AT ITER 8468 NEW BEST:: SOT 141209 SOS 76015 HAS SOPS 76015 HAS SOUS 31868 HAS SOUPS 31868 WITH SCORE 31944.015
AT ITER 8470 NEW BEST:: SOT 141179 SOS 75985 HAS SOPS 75985 HAS SOUS 31808 HAS SOUPS 31808 WITH SCORE 31883.985
AT ITER 8497 NEW BEST:: SOT 141161 SOS 76079 HAS SOPS 76079 HAS SOUS 31806 HAS SOUPS 31806 WITH SCORE 31882.079
AT ITER 8506 NEW BEST:: SOT 141155 SOS 76073 HAS SOPS 76073 HAS SOUS 31802 HAS SOUPS 31802 WITH SCORE 31878.073
AT ITER 8536 NEW BEST:: SOT 141177 SOS 76082 HAS SOPS 76082 HAS SOUS 31801 HAS SOUPS 31801 WITH SCORE 31877.082
AT ITER 8558 NEW BEST:: SOT 141166 SOS 76042 HAS SOPS 76042 HAS SOUS 31779 HAS SOUPS 31779 WITH SCORE 31855.042
AT ITER 8595 NEW BEST:: SOT 141164 SOS 76040 HAS SOPS 76040 HAS SOUS 31777 HAS SOUPS 31777 WITH SCORE 31853.04
AT ITER 8601 NEW BEST:: SOT 141147 SOS 76023 HAS SOPS 76023 HAS SOUS 31743 HAS SOUPS 31743 WITH SCORE 31819.023
AT ITER 8609 NEW BEST:: SOT 141141 SOS 76017 HAS SOPS 76017 HAS SOUS 31719 HAS SOUPS 31719 WITH SCORE 31795.017
AT ITER 8634 NEW BEST:: SOT 141141 SOS 76030 HAS SOPS 76030 HAS SOUS 31717 HAS SOUPS 31717 WITH SCORE 31793.03
AT ITER 8646 NEW BEST:: SOT 141152 SOS 76041 HAS SOPS 76041 HAS SOUS 31716 HAS SOUPS 31716 WITH SCORE 31792.041
AT ITER 8655 NEW BEST:: SOT 141139 SOS 76028 HAS SOPS 76028 HAS SOUS 31690 HAS SOUPS 31690 WITH SCORE 31766.028
AT ITER 8703 NEW BEST:: SOT 141139 SOS 76028 HAS SOPS 76028 HAS SOUS 31688 HAS SOUPS 31688 WITH SCORE 31764.028
AT ITER 8740 NEW BEST:: SOT 141114 SOS 76003 HAS SOPS 76003 HAS SOUS 31663 HAS SOUPS 31663 WITH SCORE 31739.003
AT ITER 8741 NEW BEST:: SOT 141111 SOS 76000 HAS SOPS 76000 HAS SOUS 31657 HAS SOUPS 31657 WITH SCORE 31733.0
AT ITER 8751 NEW BEST:: SOT 141106 SOS 76031 HAS SOPS 76031 HAS SOUS 31652 HAS SOUPS 31652 WITH SCORE 31728.031
AT ITER 8757 NEW BEST:: SOT 141090 SOS 75994 HAS SOPS 75994 HAS SOUS 31599 HAS SOUPS 31599 WITH SCORE 31674.994
AT ITER 8760 NEW BEST:: SOT 141089 SOS 75993 HAS SOPS 75993 HAS SOUS 31597 HAS SOUPS 31597 WITH SCORE 31672.993
AT ITER 8779 NEW BEST:: SOT 141069 SOS 75973 HAS SOPS 75973 HAS SOUS 31557 HAS SOUPS 31557 WITH SCORE 31632.973
AT ITER 8800 NEW BEST:: SOT 141069 SOS 75969 HAS SOPS 75969 HAS SOUS 31556 HAS SOUPS 31556 WITH SCORE 31631.969
AT ITER 8881 NEW BEST:: SOT 141059 SOS 75957 HAS SOPS 75957 HAS SOUS 31554 HAS SOUPS 31554 WITH SCORE 31629.957
AT ITER 9036 NEW BEST:: SOT 141000 SOS 75912 HAS SOPS 75912 HAS SOUS 31436 HAS SOUPS 31436 WITH SCORE 31511.912
AT ITER 9076 NEW BEST:: SOT 140995 SOS 75907 HAS SOPS 75907 HAS SOUS 31431 HAS SOUPS 31431 WITH SCORE 31506.907
AT ITER 9110 NEW BEST:: SOT 140986 SOS 75879 HAS SOPS 75879 HAS SOUS 31413 HAS SOUPS 31413 WITH SCORE 31488.879
AT ITER 9132 NEW BEST:: SOT 140967 SOS 75860 HAS SOPS 75860 HAS SOUS 31413 HAS SOUPS 31413 WITH SCORE 31488.86
AT ITER 9160 NEW BEST:: SOT 140973 SOS 75866 HAS SOPS 75866 HAS SOUS 31403 HAS SOUPS 31403 WITH SCORE 31478.866
AT ITER 9227 NEW BEST:: SOT 140966 SOS 75859 HAS SOPS 75859 HAS SOUS 31389 HAS SOUPS 31389 WITH SCORE 31464.859
AT ITER 9233 NEW BEST:: SOT 140947 SOS 75840 HAS SOPS 75840 HAS SOUS 31351 HAS SOUPS 31351 WITH SCORE 31426.84
AT ITER 9240 NEW BEST:: SOT 140916 SOS 75809 HAS SOPS 75809 HAS SOUS 31322 HAS SOUPS 31322 WITH SCORE 31397.809
AT ITER 9286 NEW BEST:: SOT 140913 SOS 75806 HAS SOPS 75806 HAS SOUS 31316 HAS SOUPS 31316 WITH SCORE 31391.806
AT ITER 9307 NEW BEST:: SOT 140910 SOS 75800 HAS SOPS 75800 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31388.8
AT ITER 9320 NEW BEST:: SOT 140871 SOS 75761 HAS SOPS 75761 HAS SOUS 31274 HAS SOUPS 31274 WITH SCORE 31349.761
AT ITER 9330 NEW BEST:: SOT 140865 SOS 75755 HAS SOPS 75755 HAS SOUS 31272 HAS SOUPS 31272 WITH SCORE 31347.755
AT ITER 9413 NEW BEST:: SOT 140865 SOS 75755 HAS SOPS 75755 HAS SOUS 31271 HAS SOUPS 31271 WITH SCORE 31346.755
AT ITER 9417 NEW BEST:: SOT 140864 SOS 75754 HAS SOPS 75754 HAS SOUS 31270 HAS SOUPS 31270 WITH SCORE 31345.754
AT ITER 9442 NEW BEST:: SOT 140864 SOS 75705 HAS SOPS 75705 HAS SOUS 31270 HAS SOUPS 31270 WITH SCORE 31345.705
AT ITER 9467 NEW BEST:: SOT 140864 SOS 75705 HAS SOPS 75705 HAS SOUS 31238 HAS SOUPS 31238 WITH SCORE 31313.705
AT ITER 9547 NEW BEST:: SOT 140862 SOS 75723 HAS SOPS 75723 HAS SOUS 31234 HAS SOUPS 31234 WITH SCORE 31309.723
AT ITER 9621 NEW BEST:: SOT 140867 SOS 75742 HAS SOPS 75742 HAS SOUS 31230 HAS SOUPS 31230 WITH SCORE 31305.742
AT ITER 9647 NEW BEST:: SOT 140829 SOS 75704 HAS SOPS 75704 HAS SOUS 31207 HAS SOUPS 31207 WITH SCORE 31282.704
AT ITER 9651 NEW BEST:: SOT 140837 SOS 75464 HAS SOPS 75464 HAS SOUS 31202 HAS SOUPS 31202 WITH SCORE 31277.464
AT ITER 9658 NEW BEST:: SOT 140822 SOS 75449 HAS SOPS 75449 HAS SOUS 31172 HAS SOUPS 31172 WITH SCORE 31247.449
AT ITER 9664 NEW BEST:: SOT 140816 SOS 75443 HAS SOPS 75443 HAS SOUS 31172 HAS SOUPS 31172 WITH SCORE 31247.443
AT ITER 9672 NEW BEST:: SOT 140816 SOS 75443 HAS SOPS 75443 HAS SOUS 31166 HAS SOUPS 31166 WITH SCORE 31241.443
AT ITER 9723 NEW BEST:: SOT 140807 SOS 75414 HAS SOPS 75414 HAS SOUS 31148 HAS SOUPS 31148 WITH SCORE 31223.414
AT ITER 9747 NEW BEST:: SOT 140797 SOS 75548 HAS SOPS 75548 HAS SOUS 31146 HAS SOUPS 31146 WITH SCORE 31221.548
AT ITER 9765 NEW BEST:: SOT 140893 SOS 75644 HAS SOPS 75644 HAS SOUS 31129 HAS SOUPS 31129 WITH SCORE 31204.644
AT ITER 9792 NEW BEST:: SOT 140893 SOS 75623 HAS SOPS 75623 HAS SOUS 31129 HAS SOUPS 31129 WITH SCORE 31204.623
AT ITER 9803 NEW BEST:: SOT 140889 SOS 75619 HAS SOPS 75619 HAS SOUS 31121 HAS SOUPS 31121 WITH SCORE 31196.619
AT ITER 9806 NEW BEST:: SOT 140889 SOS 75613 HAS SOPS 75613 HAS SOUS 31121 HAS SOUPS 31121 WITH SCORE 31196.613
AT ITER 9825 NEW BEST:: SOT 140860 SOS 75571 HAS SOPS 75571 HAS SOUS 31059 HAS SOUPS 31059 WITH SCORE 31134.571
AT ITER 9835 NEW BEST:: SOT 140854 SOS 75565 HAS SOPS 75565 HAS SOUS 31047 HAS SOUPS 31047 WITH SCORE 31122.565
AT ITER 9842 NEW BEST:: SOT 140855 SOS 75566 HAS SOPS 75566 HAS SOUS 30988 HAS SOUPS 30988 WITH SCORE 31063.566
AT ITER 9861 NEW BEST:: SOT 140849 SOS 75560 HAS SOPS 75560 HAS SOUS 30976 HAS SOUPS 30976 WITH SCORE 31051.56
AT ITER 9880 NEW BEST:: SOT 140852 SOS 75563 HAS SOPS 75563 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31043.563
AT ITER 9917 NEW BEST:: SOT 140833 SOS 75544 HAS SOPS 75544 HAS SOUS 30930 HAS SOUPS 30930 WITH SCORE 31005.544
AT ITER 9962 NEW BEST:: SOT 140827 SOS 75538 HAS SOPS 75538 HAS SOUS 30919 HAS SOUPS 30919 WITH SCORE 30994.538
AT ITER 9985 NEW BEST:: SOT 140824 SOS 75535 HAS SOPS 75535 HAS SOUS 30905 HAS SOUPS 30905 WITH SCORE 30980.535
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9880796 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154256 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="HirschbergSinclair-PT-20"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is HirschbergSinclair-PT-20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r195-smll-167840342400456"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HirschbergSinclair-PT-20.tgz
mv HirschbergSinclair-PT-20 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 ;