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.r259-smll-167863534000048.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 NQueens-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534000048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 704K
-rw-r--r-- 1 mcc users 7.0K Feb 26 17:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 17:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 17:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 17:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 17:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 26 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 129K Feb 26 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 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 203K 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 1678662714537

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=NQueens-PT-15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 15
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: 315 places, 225 transitions, 1125 arcs.
AT ITER 0 NEW BEST:: SOT 56768 SOS 36218 HAS SOPS 36218 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31349.218
AT ITER 8 NEW BEST:: SOT 56458 SOS 37139 HAS SOPS 37139 HAS SOUS 31140 HAS SOUPS 31140 WITH SCORE 31177.139
AT ITER 11 NEW BEST:: SOT 56382 SOS 37109 HAS SOPS 37109 HAS SOUS 31138 HAS SOUPS 31138 WITH SCORE 31175.109
AT ITER 12 NEW BEST:: SOT 56382 SOS 36763 HAS SOPS 36763 HAS SOUS 31138 HAS SOUPS 31138 WITH SCORE 31174.763
AT ITER 15 NEW BEST:: SOT 56297 SOS 37257 HAS SOPS 37257 HAS SOUS 31063 HAS SOUPS 31063 WITH SCORE 31100.257
AT ITER 19 NEW BEST:: SOT 56282 SOS 37242 HAS SOPS 37242 HAS SOUS 31043 HAS SOUPS 31043 WITH SCORE 31080.242
AT ITER 35 NEW BEST:: SOT 56184 SOS 37215 HAS SOPS 37215 HAS SOUS 31030 HAS SOUPS 31030 WITH SCORE 31067.215
AT ITER 39 NEW BEST:: SOT 56176 SOS 37605 HAS SOPS 37605 HAS SOUS 31017 HAS SOUPS 31017 WITH SCORE 31054.605
AT ITER 40 NEW BEST:: SOT 55928 SOS 37357 HAS SOPS 37357 HAS SOUS 30769 HAS SOUPS 30769 WITH SCORE 30806.357
AT ITER 46 NEW BEST:: SOT 55928 SOS 36525 HAS SOPS 36525 HAS SOUS 30744 HAS SOUPS 30744 WITH SCORE 30780.525
AT ITER 48 NEW BEST:: SOT 55912 SOS 36509 HAS SOPS 36509 HAS SOUS 30716 HAS SOUPS 30716 WITH SCORE 30752.509
AT ITER 50 NEW BEST:: SOT 55912 SOS 36507 HAS SOPS 36507 HAS SOUS 30716 HAS SOUPS 30716 WITH SCORE 30752.507
AT ITER 53 NEW BEST:: SOT 55748 SOS 36347 HAS SOPS 36347 HAS SOUS 30535 HAS SOUPS 30535 WITH SCORE 30571.347
AT ITER 55 NEW BEST:: SOT 55748 SOS 36231 HAS SOPS 36231 HAS SOUS 30535 HAS SOUPS 30535 WITH SCORE 30571.231
AT ITER 56 NEW BEST:: SOT 55748 SOS 36061 HAS SOPS 36061 HAS SOUS 30535 HAS SOUPS 30535 WITH SCORE 30571.061
AT ITER 61 NEW BEST:: SOT 55640 SOS 36185 HAS SOPS 36185 HAS SOUS 30437 HAS SOUPS 30437 WITH SCORE 30473.185
AT ITER 65 NEW BEST:: SOT 55568 SOS 36149 HAS SOPS 36149 HAS SOUS 30429 HAS SOUPS 30429 WITH SCORE 30465.149
AT ITER 66 NEW BEST:: SOT 55568 SOS 36124 HAS SOPS 36124 HAS SOUS 30429 HAS SOUPS 30429 WITH SCORE 30465.124
AT ITER 68 NEW BEST:: SOT 55568 SOS 36013 HAS SOPS 36013 HAS SOUS 30429 HAS SOUPS 30429 WITH SCORE 30465.013
AT ITER 71 NEW BEST:: SOT 55569 SOS 36013 HAS SOPS 36013 HAS SOUS 30416 HAS SOUPS 30416 WITH SCORE 30452.013
AT ITER 75 NEW BEST:: SOT 55569 SOS 35953 HAS SOPS 35953 HAS SOUS 30374 HAS SOUPS 30374 WITH SCORE 30409.953
AT ITER 76 NEW BEST:: SOT 55573 SOS 35826 HAS SOPS 35826 HAS SOUS 30335 HAS SOUPS 30335 WITH SCORE 30370.826
AT ITER 78 NEW BEST:: SOT 55459 SOS 35891 HAS SOPS 35891 HAS SOUS 30308 HAS SOUPS 30308 WITH SCORE 30343.891
AT ITER 82 NEW BEST:: SOT 55337 SOS 35769 HAS SOPS 35769 HAS SOUS 30186 HAS SOUPS 30186 WITH SCORE 30221.769
AT ITER 84 NEW BEST:: SOT 55337 SOS 35769 HAS SOPS 35769 HAS SOUS 30169 HAS SOUPS 30169 WITH SCORE 30204.769
AT ITER 88 NEW BEST:: SOT 55337 SOS 35672 HAS SOPS 35672 HAS SOUS 30157 HAS SOUPS 30157 WITH SCORE 30192.672
AT ITER 90 NEW BEST:: SOT 55337 SOS 35152 HAS SOPS 35152 HAS SOUS 30157 HAS SOUPS 30157 WITH SCORE 30192.152
AT ITER 91 NEW BEST:: SOT 55337 SOS 35113 HAS SOPS 35113 HAS SOUS 30157 HAS SOUPS 30157 WITH SCORE 30192.113
AT ITER 102 NEW BEST:: SOT 55337 SOS 35061 HAS SOPS 35061 HAS SOUS 30139 HAS SOUPS 30139 WITH SCORE 30174.061
AT ITER 121 NEW BEST:: SOT 55337 SOS 34989 HAS SOPS 34989 HAS SOUS 30139 HAS SOUPS 30139 WITH SCORE 30173.989
AT ITER 130 NEW BEST:: SOT 55337 SOS 34989 HAS SOPS 34989 HAS SOUS 30138 HAS SOUPS 30138 WITH SCORE 30172.989
AT ITER 131 NEW BEST:: SOT 55236 SOS 35019 HAS SOPS 35019 HAS SOUS 30106 HAS SOUPS 30106 WITH SCORE 30141.019
AT ITER 137 NEW BEST:: SOT 55211 SOS 34989 HAS SOPS 34989 HAS SOUS 30076 HAS SOUPS 30076 WITH SCORE 30110.989
AT ITER 141 NEW BEST:: SOT 55211 SOS 34974 HAS SOPS 34974 HAS SOUS 30076 HAS SOUPS 30076 WITH SCORE 30110.974
AT ITER 152 NEW BEST:: SOT 55211 SOS 34972 HAS SOPS 34972 HAS SOUS 30076 HAS SOUPS 30076 WITH SCORE 30110.972
AT ITER 160 NEW BEST:: SOT 55119 SOS 35336 HAS SOPS 35336 HAS SOUS 30021 HAS SOUPS 30021 WITH SCORE 30056.336
AT ITER 161 NEW BEST:: SOT 55119 SOS 35303 HAS SOPS 35303 HAS SOUS 30021 HAS SOUPS 30021 WITH SCORE 30056.303
AT ITER 167 NEW BEST:: SOT 55119 SOS 35277 HAS SOPS 35277 HAS SOUS 30021 HAS SOUPS 30021 WITH SCORE 30056.277
AT ITER 169 NEW BEST:: SOT 55119 SOS 35316 HAS SOPS 35316 HAS SOUS 30011 HAS SOUPS 30011 WITH SCORE 30046.316
AT ITER 170 NEW BEST:: SOT 55074 SOS 35250 HAS SOPS 35250 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 29996.25
AT ITER 174 NEW BEST:: SOT 55074 SOS 35248 HAS SOPS 35248 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 29996.248
AT ITER 178 NEW BEST:: SOT 55074 SOS 35171 HAS SOPS 35171 HAS SOUS 29961 HAS SOUPS 29961 WITH SCORE 29996.171
AT ITER 181 NEW BEST:: SOT 55009 SOS 35354 HAS SOPS 35354 HAS SOUS 29925 HAS SOUPS 29925 WITH SCORE 29960.354
AT ITER 187 NEW BEST:: SOT 54933 SOS 35290 HAS SOPS 35290 HAS SOUS 29892 HAS SOUPS 29892 WITH SCORE 29927.29
AT ITER 188 NEW BEST:: SOT 54942 SOS 35208 HAS SOPS 35208 HAS SOUS 29849 HAS SOUPS 29849 WITH SCORE 29884.208
AT ITER 206 NEW BEST:: SOT 54942 SOS 35156 HAS SOPS 35156 HAS SOUS 29849 HAS SOUPS 29849 WITH SCORE 29884.156
AT ITER 210 NEW BEST:: SOT 54942 SOS 35156 HAS SOPS 35156 HAS SOUS 29842 HAS SOUPS 29842 WITH SCORE 29877.156
AT ITER 211 NEW BEST:: SOT 54881 SOS 35223 HAS SOPS 35223 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29861.223
AT ITER 214 NEW BEST:: SOT 54881 SOS 35180 HAS SOPS 35180 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29861.18
AT ITER 216 NEW BEST:: SOT 54881 SOS 35125 HAS SOPS 35125 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29861.125
AT ITER 219 NEW BEST:: SOT 54881 SOS 35090 HAS SOPS 35090 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29861.09
AT ITER 223 NEW BEST:: SOT 54856 SOS 35065 HAS SOPS 35065 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29836.065
AT ITER 225 NEW BEST:: SOT 54865 SOS 34917 HAS SOPS 34917 HAS SOUS 29774 HAS SOUPS 29774 WITH SCORE 29808.917
AT ITER 227 NEW BEST:: SOT 54865 SOS 34914 HAS SOPS 34914 HAS SOUS 29774 HAS SOUPS 29774 WITH SCORE 29808.914
AT ITER 233 NEW BEST:: SOT 54865 SOS 34884 HAS SOPS 34884 HAS SOUS 29762 HAS SOUPS 29762 WITH SCORE 29796.884
AT ITER 234 NEW BEST:: SOT 54865 SOS 34828 HAS SOPS 34828 HAS SOUS 29762 HAS SOUPS 29762 WITH SCORE 29796.828
AT ITER 240 NEW BEST:: SOT 54715 SOS 34678 HAS SOPS 34678 HAS SOUS 29608 HAS SOUPS 29608 WITH SCORE 29642.678
AT ITER 245 NEW BEST:: SOT 54729 SOS 34607 HAS SOPS 34607 HAS SOUS 29606 HAS SOUPS 29606 WITH SCORE 29640.607
AT ITER 248 NEW BEST:: SOT 54729 SOS 34555 HAS SOPS 34555 HAS SOUS 29606 HAS SOUPS 29606 WITH SCORE 29640.555
AT ITER 253 NEW BEST:: SOT 54729 SOS 34519 HAS SOPS 34519 HAS SOUS 29606 HAS SOUPS 29606 WITH SCORE 29640.519
AT ITER 268 NEW BEST:: SOT 54725 SOS 34515 HAS SOPS 34515 HAS SOUS 29598 HAS SOUPS 29598 WITH SCORE 29632.515
AT ITER 278 NEW BEST:: SOT 54725 SOS 34507 HAS SOPS 34507 HAS SOUS 29595 HAS SOUPS 29595 WITH SCORE 29629.507
AT ITER 299 NEW BEST:: SOT 54725 SOS 34399 HAS SOPS 34399 HAS SOUS 29595 HAS SOUPS 29595 WITH SCORE 29629.399
AT ITER 300 NEW BEST:: SOT 54725 SOS 34294 HAS SOPS 34294 HAS SOUS 29595 HAS SOUPS 29595 WITH SCORE 29629.294
AT ITER 301 NEW BEST:: SOT 54725 SOS 34158 HAS SOPS 34158 HAS SOUS 29595 HAS SOUPS 29595 WITH SCORE 29629.158
AT ITER 308 NEW BEST:: SOT 54614 SOS 33197 HAS SOPS 33197 HAS SOUS 29457 HAS SOUPS 29457 WITH SCORE 29490.197
AT ITER 314 NEW BEST:: SOT 54614 SOS 33154 HAS SOPS 33154 HAS SOUS 29457 HAS SOUPS 29457 WITH SCORE 29490.154
AT ITER 315 NEW BEST:: SOT 54587 SOS 33127 HAS SOPS 33127 HAS SOUS 29424 HAS SOUPS 29424 WITH SCORE 29457.127
AT ITER 318 NEW BEST:: SOT 54592 SOS 33132 HAS SOPS 33132 HAS SOUS 29422 HAS SOUPS 29422 WITH SCORE 29455.132
AT ITER 330 NEW BEST:: SOT 54580 SOS 33085 HAS SOPS 33085 HAS SOUS 29375 HAS SOUPS 29375 WITH SCORE 29408.085
AT ITER 336 NEW BEST:: SOT 54555 SOS 33060 HAS SOPS 33060 HAS SOUS 29350 HAS SOUPS 29350 WITH SCORE 29383.06
AT ITER 337 NEW BEST:: SOT 54550 SOS 33055 HAS SOPS 33055 HAS SOUS 29345 HAS SOUPS 29345 WITH SCORE 29378.055
AT ITER 338 NEW BEST:: SOT 54492 SOS 33040 HAS SOPS 33040 HAS SOUS 29334 HAS SOUPS 29334 WITH SCORE 29367.04
AT ITER 339 NEW BEST:: SOT 54492 SOS 32992 HAS SOPS 32992 HAS SOUS 29334 HAS SOUPS 29334 WITH SCORE 29366.992
AT ITER 340 NEW BEST:: SOT 54394 SOS 33058 HAS SOPS 33058 HAS SOUS 29303 HAS SOUPS 29303 WITH SCORE 29336.058
AT ITER 341 NEW BEST:: SOT 54392 SOS 33056 HAS SOPS 33056 HAS SOUS 29301 HAS SOUPS 29301 WITH SCORE 29334.056
AT ITER 347 NEW BEST:: SOT 54392 SOS 33058 HAS SOPS 33058 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29288.058
AT ITER 362 NEW BEST:: SOT 54392 SOS 33016 HAS SOPS 33016 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29288.016
AT ITER 363 NEW BEST:: SOT 54392 SOS 33002 HAS SOPS 33002 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29288.002
AT ITER 364 NEW BEST:: SOT 54392 SOS 33002 HAS SOPS 33002 HAS SOUS 29237 HAS SOUPS 29237 WITH SCORE 29270.002
AT ITER 382 NEW BEST:: SOT 54392 SOS 33075 HAS SOPS 33075 HAS SOUS 29215 HAS SOUPS 29215 WITH SCORE 29248.075
AT ITER 389 NEW BEST:: SOT 54364 SOS 33061 HAS SOPS 33061 HAS SOUS 29184 HAS SOUPS 29184 WITH SCORE 29217.061
AT ITER 402 NEW BEST:: SOT 54388 SOS 32994 HAS SOPS 32994 HAS SOUS 29111 HAS SOUPS 29111 WITH SCORE 29143.994
AT ITER 409 NEW BEST:: SOT 54388 SOS 32950 HAS SOPS 32950 HAS SOUS 29111 HAS SOUPS 29111 WITH SCORE 29143.95
AT ITER 410 NEW BEST:: SOT 54388 SOS 32929 HAS SOPS 32929 HAS SOUS 29100 HAS SOUPS 29100 WITH SCORE 29132.929
AT ITER 418 NEW BEST:: SOT 54388 SOS 32906 HAS SOPS 32906 HAS SOUS 29059 HAS SOUPS 29059 WITH SCORE 29091.906
AT ITER 424 NEW BEST:: SOT 54388 SOS 32566 HAS SOPS 32566 HAS SOUS 29058 HAS SOUPS 29058 WITH SCORE 29090.566
AT ITER 434 NEW BEST:: SOT 54364 SOS 32537 HAS SOPS 32537 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29050.537
AT ITER 435 NEW BEST:: SOT 54364 SOS 32505 HAS SOPS 32505 HAS SOUS 29018 HAS SOUPS 29018 WITH SCORE 29050.505
AT ITER 438 NEW BEST:: SOT 54364 SOS 32400 HAS SOPS 32400 HAS SOUS 29006 HAS SOUPS 29006 WITH SCORE 29038.4
AT ITER 439 NEW BEST:: SOT 54364 SOS 32381 HAS SOPS 32381 HAS SOUS 28994 HAS SOUPS 28994 WITH SCORE 29026.381
AT ITER 441 NEW BEST:: SOT 54364 SOS 32357 HAS SOPS 32357 HAS SOUS 28994 HAS SOUPS 28994 WITH SCORE 29026.357
AT ITER 442 NEW BEST:: SOT 54364 SOS 32357 HAS SOPS 32357 HAS SOUS 28982 HAS SOUPS 28982 WITH SCORE 29014.357
AT ITER 444 NEW BEST:: SOT 54364 SOS 32344 HAS SOPS 32344 HAS SOUS 28982 HAS SOUPS 28982 WITH SCORE 29014.344
AT ITER 445 NEW BEST:: SOT 54364 SOS 32312 HAS SOPS 32312 HAS SOUS 28982 HAS SOUPS 28982 WITH SCORE 29014.312
AT ITER 446 NEW BEST:: SOT 54298 SOS 32593 HAS SOPS 32593 HAS SOUS 28943 HAS SOUPS 28943 WITH SCORE 28975.593
AT ITER 456 NEW BEST:: SOT 54298 SOS 32593 HAS SOPS 32593 HAS SOUS 28936 HAS SOUPS 28936 WITH SCORE 28968.593
AT ITER 457 NEW BEST:: SOT 54317 SOS 32661 HAS SOPS 32661 HAS SOUS 28922 HAS SOUPS 28922 WITH SCORE 28954.661
AT ITER 463 NEW BEST:: SOT 54398 SOS 32599 HAS SOPS 32599 HAS SOUS 28860 HAS SOUPS 28860 WITH SCORE 28892.599
AT ITER 468 NEW BEST:: SOT 54398 SOS 32592 HAS SOPS 32592 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28889.592
AT ITER 470 NEW BEST:: SOT 54398 SOS 32082 HAS SOPS 32082 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28889.082
AT ITER 471 NEW BEST:: SOT 54398 SOS 32046 HAS SOPS 32046 HAS SOUS 28821 HAS SOUPS 28821 WITH SCORE 28853.046
AT ITER 474 NEW BEST:: SOT 54384 SOS 32036 HAS SOPS 32036 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28808.036
AT ITER 481 NEW BEST:: SOT 54384 SOS 32027 HAS SOPS 32027 HAS SOUS 28770 HAS SOUPS 28770 WITH SCORE 28802.027
AT ITER 488 NEW BEST:: SOT 54384 SOS 31990 HAS SOPS 31990 HAS SOUS 28733 HAS SOUPS 28733 WITH SCORE 28764.99
AT ITER 498 NEW BEST:: SOT 54384 SOS 31895 HAS SOPS 31895 HAS SOUS 28733 HAS SOUPS 28733 WITH SCORE 28764.895
AT ITER 509 NEW BEST:: SOT 54308 SOS 31895 HAS SOPS 31895 HAS SOUS 28721 HAS SOUPS 28721 WITH SCORE 28752.895
AT ITER 513 NEW BEST:: SOT 54320 SOS 31777 HAS SOPS 31777 HAS SOUS 28720 HAS SOUPS 28720 WITH SCORE 28751.777
AT ITER 515 NEW BEST:: SOT 54320 SOS 31762 HAS SOPS 31762 HAS SOUS 28720 HAS SOUPS 28720 WITH SCORE 28751.762
AT ITER 520 NEW BEST:: SOT 54320 SOS 31662 HAS SOPS 31662 HAS SOUS 28702 HAS SOUPS 28702 WITH SCORE 28733.662
AT ITER 524 NEW BEST:: SOT 54320 SOS 31601 HAS SOPS 31601 HAS SOUS 28699 HAS SOUPS 28699 WITH SCORE 28730.601
AT ITER 526 NEW BEST:: SOT 54320 SOS 31598 HAS SOPS 31598 HAS SOUS 28699 HAS SOUPS 28699 WITH SCORE 28730.598
AT ITER 529 NEW BEST:: SOT 54320 SOS 31589 HAS SOPS 31589 HAS SOUS 28699 HAS SOUPS 28699 WITH SCORE 28730.589
AT ITER 541 NEW BEST:: SOT 54320 SOS 31588 HAS SOPS 31588 HAS SOUS 28699 HAS SOUPS 28699 WITH SCORE 28730.588
AT ITER 546 NEW BEST:: SOT 54320 SOS 31548 HAS SOPS 31548 HAS SOUS 28662 HAS SOUPS 28662 WITH SCORE 28693.548
AT ITER 557 NEW BEST:: SOT 54258 SOS 31473 HAS SOPS 31473 HAS SOUS 28607 HAS SOUPS 28607 WITH SCORE 28638.473
AT ITER 567 NEW BEST:: SOT 54258 SOS 31457 HAS SOPS 31457 HAS SOUS 28607 HAS SOUPS 28607 WITH SCORE 28638.457
AT ITER 579 NEW BEST:: SOT 54161 SOS 31351 HAS SOPS 31351 HAS SOUS 28507 HAS SOUPS 28507 WITH SCORE 28538.351
AT ITER 581 NEW BEST:: SOT 54161 SOS 31348 HAS SOPS 31348 HAS SOUS 28507 HAS SOUPS 28507 WITH SCORE 28538.348
AT ITER 596 NEW BEST:: SOT 54152 SOS 31339 HAS SOPS 31339 HAS SOUS 28498 HAS SOUPS 28498 WITH SCORE 28529.339
AT ITER 600 NEW BEST:: SOT 54124 SOS 31311 HAS SOPS 31311 HAS SOUS 28459 HAS SOUPS 28459 WITH SCORE 28490.311
AT ITER 627 NEW BEST:: SOT 54108 SOS 31351 HAS SOPS 31351 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28483.351
AT ITER 628 NEW BEST:: SOT 54108 SOS 31330 HAS SOPS 31330 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28483.33
AT ITER 634 NEW BEST:: SOT 54108 SOS 31014 HAS SOPS 31014 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28483.014
AT ITER 649 NEW BEST:: SOT 54108 SOS 30876 HAS SOPS 30876 HAS SOUS 28452 HAS SOUPS 28452 WITH SCORE 28482.876
AT ITER 650 NEW BEST:: SOT 54181 SOS 30878 HAS SOPS 30878 HAS SOUS 28375 HAS SOUPS 28375 WITH SCORE 28405.878
AT ITER 651 NEW BEST:: SOT 54181 SOS 30847 HAS SOPS 30847 HAS SOUS 28375 HAS SOUPS 28375 WITH SCORE 28405.847
AT ITER 653 NEW BEST:: SOT 54181 SOS 30800 HAS SOPS 30800 HAS SOUS 28375 HAS SOUPS 28375 WITH SCORE 28405.8
AT ITER 658 NEW BEST:: SOT 54156 SOS 31017 HAS SOPS 31017 HAS SOUS 28367 HAS SOUPS 28367 WITH SCORE 28398.017
AT ITER 667 NEW BEST:: SOT 54072 SOS 31004 HAS SOPS 31004 HAS SOUS 28348 HAS SOUPS 28348 WITH SCORE 28379.004
AT ITER 668 NEW BEST:: SOT 54072 SOS 30954 HAS SOPS 30954 HAS SOUS 28348 HAS SOUPS 28348 WITH SCORE 28378.954
AT ITER 676 NEW BEST:: SOT 54072 SOS 30901 HAS SOPS 30901 HAS SOUS 28340 HAS SOUPS 28340 WITH SCORE 28370.901
AT ITER 678 NEW BEST:: SOT 54089 SOS 30806 HAS SOPS 30806 HAS SOUS 28334 HAS SOUPS 28334 WITH SCORE 28364.806
AT ITER 682 NEW BEST:: SOT 53983 SOS 30989 HAS SOPS 30989 HAS SOUS 28297 HAS SOUPS 28297 WITH SCORE 28327.989
AT ITER 690 NEW BEST:: SOT 53897 SOS 32022 HAS SOPS 32022 HAS SOUS 28259 HAS SOUPS 28259 WITH SCORE 28291.022
AT ITER 691 NEW BEST:: SOT 53897 SOS 31826 HAS SOPS 31826 HAS SOUS 28259 HAS SOUPS 28259 WITH SCORE 28290.826
AT ITER 694 NEW BEST:: SOT 53897 SOS 31767 HAS SOPS 31767 HAS SOUS 28259 HAS SOUPS 28259 WITH SCORE 28290.767
AT ITER 701 NEW BEST:: SOT 53897 SOS 31712 HAS SOPS 31712 HAS SOUS 28259 HAS SOUPS 28259 WITH SCORE 28290.712
AT ITER 716 NEW BEST:: SOT 53897 SOS 31470 HAS SOPS 31470 HAS SOUS 28255 HAS SOUPS 28255 WITH SCORE 28286.47
AT ITER 733 NEW BEST:: SOT 53844 SOS 31542 HAS SOPS 31542 HAS SOUS 28170 HAS SOUPS 28170 WITH SCORE 28201.542
AT ITER 736 NEW BEST:: SOT 53908 SOS 31531 HAS SOPS 31531 HAS SOUS 28159 HAS SOUPS 28159 WITH SCORE 28190.531
AT ITER 738 NEW BEST:: SOT 53893 SOS 31516 HAS SOPS 31516 HAS SOUS 28144 HAS SOUPS 28144 WITH SCORE 28175.516
AT ITER 739 NEW BEST:: SOT 53893 SOS 31467 HAS SOPS 31467 HAS SOUS 28136 HAS SOUPS 28136 WITH SCORE 28167.467
AT ITER 748 NEW BEST:: SOT 53895 SOS 31501 HAS SOPS 31501 HAS SOUS 28133 HAS SOUPS 28133 WITH SCORE 28164.501
AT ITER 752 NEW BEST:: SOT 53895 SOS 31483 HAS SOPS 31483 HAS SOUS 28133 HAS SOUPS 28133 WITH SCORE 28164.483
AT ITER 753 NEW BEST:: SOT 53895 SOS 31318 HAS SOPS 31318 HAS SOUS 28133 HAS SOUPS 28133 WITH SCORE 28164.318
AT ITER 770 NEW BEST:: SOT 53872 SOS 31295 HAS SOPS 31295 HAS SOUS 28110 HAS SOUPS 28110 WITH SCORE 28141.295
AT ITER 784 NEW BEST:: SOT 53872 SOS 31294 HAS SOPS 31294 HAS SOUS 28110 HAS SOUPS 28110 WITH SCORE 28141.294
AT ITER 788 NEW BEST:: SOT 53908 SOS 31265 HAS SOPS 31265 HAS SOUS 28076 HAS SOUPS 28076 WITH SCORE 28107.265
AT ITER 792 NEW BEST:: SOT 53890 SOS 31257 HAS SOPS 31257 HAS SOUS 28066 HAS SOUPS 28066 WITH SCORE 28097.257
AT ITER 800 NEW BEST:: SOT 53870 SOS 31192 HAS SOPS 31192 HAS SOUS 28064 HAS SOUPS 28064 WITH SCORE 28095.192
AT ITER 803 NEW BEST:: SOT 53870 SOS 31182 HAS SOPS 31182 HAS SOUS 28064 HAS SOUPS 28064 WITH SCORE 28095.182
AT ITER 817 NEW BEST:: SOT 53870 SOS 31174 HAS SOPS 31174 HAS SOUS 28052 HAS SOUPS 28052 WITH SCORE 28083.174
AT ITER 831 NEW BEST:: SOT 53870 SOS 31187 HAS SOPS 31187 HAS SOUS 28046 HAS SOUPS 28046 WITH SCORE 28077.187
AT ITER 843 NEW BEST:: SOT 53734 SOS 31071 HAS SOPS 31071 HAS SOUS 27945 HAS SOUPS 27945 WITH SCORE 27976.071
AT ITER 848 NEW BEST:: SOT 53734 SOS 31070 HAS SOPS 31070 HAS SOUS 27945 HAS SOUPS 27945 WITH SCORE 27976.07
AT ITER 850 NEW BEST:: SOT 53734 SOS 31086 HAS SOPS 31086 HAS SOUS 27944 HAS SOUPS 27944 WITH SCORE 27975.086
AT ITER 866 NEW BEST:: SOT 53734 SOS 31061 HAS SOPS 31061 HAS SOUS 27944 HAS SOUPS 27944 WITH SCORE 27975.061
AT ITER 868 NEW BEST:: SOT 53734 SOS 31114 HAS SOPS 31114 HAS SOUS 27937 HAS SOUPS 27937 WITH SCORE 27968.114
AT ITER 890 NEW BEST:: SOT 53734 SOS 31095 HAS SOPS 31095 HAS SOUS 27937 HAS SOUPS 27937 WITH SCORE 27968.095
AT ITER 910 NEW BEST:: SOT 53713 SOS 31074 HAS SOPS 31074 HAS SOUS 27916 HAS SOUPS 27916 WITH SCORE 27947.074
AT ITER 928 NEW BEST:: SOT 53692 SOS 31057 HAS SOPS 31057 HAS SOUS 27899 HAS SOUPS 27899 WITH SCORE 27930.057
AT ITER 942 NEW BEST:: SOT 53630 SOS 31014 HAS SOPS 31014 HAS SOUS 27891 HAS SOUPS 27891 WITH SCORE 27922.014
AT ITER 944 NEW BEST:: SOT 53630 SOS 31011 HAS SOPS 31011 HAS SOUS 27888 HAS SOUPS 27888 WITH SCORE 27919.011
AT ITER 952 NEW BEST:: SOT 53630 SOS 31011 HAS SOPS 31011 HAS SOUS 27873 HAS SOUPS 27873 WITH SCORE 27904.011
AT ITER 955 NEW BEST:: SOT 53615 SOS 30996 HAS SOPS 30996 HAS SOUS 27858 HAS SOUPS 27858 WITH SCORE 27888.996
AT ITER 970 NEW BEST:: SOT 53612 SOS 30993 HAS SOPS 30993 HAS SOUS 27841 HAS SOUPS 27841 WITH SCORE 27871.993
AT ITER 971 NEW BEST:: SOT 53591 SOS 30972 HAS SOPS 30972 HAS SOUS 27822 HAS SOUPS 27822 WITH SCORE 27852.972
AT ITER 976 NEW BEST:: SOT 53578 SOS 30959 HAS SOPS 30959 HAS SOUS 27809 HAS SOUPS 27809 WITH SCORE 27839.959
AT ITER 986 NEW BEST:: SOT 53578 SOS 30951 HAS SOPS 30951 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.951
AT ITER 991 NEW BEST:: SOT 53578 SOS 30679 HAS SOPS 30679 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.679
AT ITER 997 NEW BEST:: SOT 53578 SOS 30654 HAS SOPS 30654 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.654
AT ITER 998 NEW BEST:: SOT 53589 SOS 30498 HAS SOPS 30498 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.498
AT ITER 1000 NEW BEST:: SOT 53589 SOS 30228 HAS SOPS 30228 HAS SOUS 27794 HAS SOUPS 27794 WITH SCORE 27824.228
AT ITER 1011 NEW BEST:: SOT 53479 SOS 30118 HAS SOPS 30118 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27714.118
AT ITER 1017 NEW BEST:: SOT 53479 SOS 30111 HAS SOPS 30111 HAS SOUS 27684 HAS SOUPS 27684 WITH SCORE 27714.111
AT ITER 1031 NEW BEST:: SOT 53455 SOS 30105 HAS SOPS 30105 HAS SOUS 27661 HAS SOUPS 27661 WITH SCORE 27691.105
AT ITER 1039 NEW BEST:: SOT 53455 SOS 29949 HAS SOPS 29949 HAS SOUS 27647 HAS SOUPS 27647 WITH SCORE 27676.949
AT ITER 1065 NEW BEST:: SOT 53452 SOS 29946 HAS SOPS 29946 HAS SOUS 27644 HAS SOUPS 27644 WITH SCORE 27673.946
AT ITER 1069 NEW BEST:: SOT 53452 SOS 29942 HAS SOPS 29942 HAS SOUS 27644 HAS SOUPS 27644 WITH SCORE 27673.942
AT ITER 1091 NEW BEST:: SOT 53437 SOS 29919 HAS SOPS 29919 HAS SOUS 27644 HAS SOUPS 27644 WITH SCORE 27673.919
AT ITER 1094 NEW BEST:: SOT 53437 SOS 29903 HAS SOPS 29903 HAS SOUS 27644 HAS SOUPS 27644 WITH SCORE 27673.903
AT ITER 1097 NEW BEST:: SOT 53335 SOS 29894 HAS SOPS 29894 HAS SOUS 27585 HAS SOUPS 27585 WITH SCORE 27614.894
AT ITER 1102 NEW BEST:: SOT 53335 SOS 29890 HAS SOPS 29890 HAS SOUS 27585 HAS SOUPS 27585 WITH SCORE 27614.89
AT ITER 1105 NEW BEST:: SOT 53244 SOS 30525 HAS SOPS 30525 HAS SOUS 27530 HAS SOUPS 27530 WITH SCORE 27560.525
AT ITER 1108 NEW BEST:: SOT 53229 SOS 30470 HAS SOPS 30470 HAS SOUS 27513 HAS SOUPS 27513 WITH SCORE 27543.47
AT ITER 1113 NEW BEST:: SOT 53229 SOS 30479 HAS SOPS 30479 HAS SOUS 27504 HAS SOUPS 27504 WITH SCORE 27534.479
AT ITER 1119 NEW BEST:: SOT 53229 SOS 30465 HAS SOPS 30465 HAS SOUS 27504 HAS SOUPS 27504 WITH SCORE 27534.465
AT ITER 1126 NEW BEST:: SOT 53229 SOS 30462 HAS SOPS 30462 HAS SOUS 27504 HAS SOUPS 27504 WITH SCORE 27534.462
AT ITER 1156 NEW BEST:: SOT 53283 SOS 30390 HAS SOPS 30390 HAS SOUS 27499 HAS SOUPS 27499 WITH SCORE 27529.39
AT ITER 1161 NEW BEST:: SOT 53283 SOS 30363 HAS SOPS 30363 HAS SOUS 27499 HAS SOUPS 27499 WITH SCORE 27529.363
AT ITER 1162 NEW BEST:: SOT 53283 SOS 30337 HAS SOPS 30337 HAS SOUS 27499 HAS SOUPS 27499 WITH SCORE 27529.337
AT ITER 1187 NEW BEST:: SOT 53274 SOS 30328 HAS SOPS 30328 HAS SOUS 27490 HAS SOUPS 27490 WITH SCORE 27520.328
AT ITER 1204 NEW BEST:: SOT 53274 SOS 30314 HAS SOPS 30314 HAS SOUS 27487 HAS SOUPS 27487 WITH SCORE 27517.314
AT ITER 1207 NEW BEST:: SOT 53125 SOS 30252 HAS SOPS 30252 HAS SOUS 27455 HAS SOUPS 27455 WITH SCORE 27485.252
AT ITER 1214 NEW BEST:: SOT 53125 SOS 30359 HAS SOPS 30359 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27455.359
AT ITER 1228 NEW BEST:: SOT 53125 SOS 30298 HAS SOPS 30298 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27455.298
AT ITER 1229 NEW BEST:: SOT 53125 SOS 30274 HAS SOPS 30274 HAS SOUS 27425 HAS SOUPS 27425 WITH SCORE 27455.274
AT ITER 1230 NEW BEST:: SOT 53125 SOS 30311 HAS SOPS 30311 HAS SOUS 27421 HAS SOUPS 27421 WITH SCORE 27451.311
AT ITER 1238 NEW BEST:: SOT 53137 SOS 30271 HAS SOPS 30271 HAS SOUS 27388 HAS SOUPS 27388 WITH SCORE 27418.271
AT ITER 1254 NEW BEST:: SOT 53116 SOS 30250 HAS SOPS 30250 HAS SOUS 27367 HAS SOUPS 27367 WITH SCORE 27397.25
AT ITER 1255 NEW BEST:: SOT 53110 SOS 30244 HAS SOPS 30244 HAS SOUS 27361 HAS SOUPS 27361 WITH SCORE 27391.244
AT ITER 1258 NEW BEST:: SOT 53110 SOS 30214 HAS SOPS 30214 HAS SOUS 27361 HAS SOUPS 27361 WITH SCORE 27391.214
AT ITER 1261 NEW BEST:: SOT 53110 SOS 30178 HAS SOPS 30178 HAS SOUS 27361 HAS SOUPS 27361 WITH SCORE 27391.178
AT ITER 1279 NEW BEST:: SOT 52978 SOS 31234 HAS SOPS 31234 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27362.234
AT ITER 1292 NEW BEST:: SOT 52978 SOS 31151 HAS SOPS 31151 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27362.151
AT ITER 1299 NEW BEST:: SOT 52978 SOS 31131 HAS SOPS 31131 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27362.131
AT ITER 1301 NEW BEST:: SOT 52978 SOS 31044 HAS SOPS 31044 HAS SOUS 27331 HAS SOUPS 27331 WITH SCORE 27362.044
AT ITER 1309 NEW BEST:: SOT 52978 SOS 31027 HAS SOPS 31027 HAS SOUS 27282 HAS SOUPS 27282 WITH SCORE 27313.027
AT ITER 1312 NEW BEST:: SOT 52967 SOS 31016 HAS SOPS 31016 HAS SOUS 27250 HAS SOUPS 27250 WITH SCORE 27281.016
AT ITER 1321 NEW BEST:: SOT 52967 SOS 30954 HAS SOPS 30954 HAS SOUS 27185 HAS SOUPS 27185 WITH SCORE 27215.954
AT ITER 1324 NEW BEST:: SOT 52967 SOS 30985 HAS SOPS 30985 HAS SOUS 27184 HAS SOUPS 27184 WITH SCORE 27214.985
AT ITER 1328 NEW BEST:: SOT 52967 SOS 30927 HAS SOPS 30927 HAS SOUS 27184 HAS SOUPS 27184 WITH SCORE 27214.927
AT ITER 1338 NEW BEST:: SOT 52955 SOS 30890 HAS SOPS 30890 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27189.89
AT ITER 1341 NEW BEST:: SOT 52955 SOS 30753 HAS SOPS 30753 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27189.753
AT ITER 1360 NEW BEST:: SOT 52953 SOS 30751 HAS SOPS 30751 HAS SOUS 27157 HAS SOUPS 27157 WITH SCORE 27187.751
AT ITER 1366 NEW BEST:: SOT 52953 SOS 30749 HAS SOPS 30749 HAS SOUS 27153 HAS SOUPS 27153 WITH SCORE 27183.749
AT ITER 1371 NEW BEST:: SOT 52897 SOS 30717 HAS SOPS 30717 HAS SOUS 27121 HAS SOUPS 27121 WITH SCORE 27151.717
AT ITER 1372 NEW BEST:: SOT 52891 SOS 30711 HAS SOPS 30711 HAS SOUS 27112 HAS SOUPS 27112 WITH SCORE 27142.711
AT ITER 1377 NEW BEST:: SOT 52876 SOS 30687 HAS SOPS 30687 HAS SOUS 27078 HAS SOUPS 27078 WITH SCORE 27108.687
AT ITER 1385 NEW BEST:: SOT 52876 SOS 30625 HAS SOPS 30625 HAS SOUS 27078 HAS SOUPS 27078 WITH SCORE 27108.625
AT ITER 1393 NEW BEST:: SOT 52876 SOS 30540 HAS SOPS 30540 HAS SOUS 27078 HAS SOUPS 27078 WITH SCORE 27108.54
AT ITER 1397 NEW BEST:: SOT 52886 SOS 30538 HAS SOPS 30538 HAS SOUS 27074 HAS SOUPS 27074 WITH SCORE 27104.538
AT ITER 1400 NEW BEST:: SOT 52872 SOS 30501 HAS SOPS 30501 HAS SOUS 27065 HAS SOUPS 27065 WITH SCORE 27095.501
AT ITER 1401 NEW BEST:: SOT 52872 SOS 30492 HAS SOPS 30492 HAS SOUS 27065 HAS SOUPS 27065 WITH SCORE 27095.492
AT ITER 1404 NEW BEST:: SOT 52872 SOS 30412 HAS SOPS 30412 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27093.412
AT ITER 1406 NEW BEST:: SOT 52872 SOS 30332 HAS SOPS 30332 HAS SOUS 27058 HAS SOUPS 27058 WITH SCORE 27088.332
AT ITER 1421 NEW BEST:: SOT 52795 SOS 31392 HAS SOPS 31392 HAS SOUS 26991 HAS SOUPS 26991 WITH SCORE 27022.392
AT ITER 1427 NEW BEST:: SOT 52795 SOS 31392 HAS SOPS 31392 HAS SOUS 26957 HAS SOUPS 26957 WITH SCORE 26988.392
AT ITER 1437 NEW BEST:: SOT 52795 SOS 31388 HAS SOPS 31388 HAS SOUS 26957 HAS SOUPS 26957 WITH SCORE 26988.388
AT ITER 1438 NEW BEST:: SOT 52795 SOS 31386 HAS SOPS 31386 HAS SOUS 26957 HAS SOUPS 26957 WITH SCORE 26988.386
AT ITER 1440 NEW BEST:: SOT 52795 SOS 31343 HAS SOPS 31343 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 26930.343
AT ITER 1443 NEW BEST:: SOT 52795 SOS 31302 HAS SOPS 31302 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 26930.302
AT ITER 1452 NEW BEST:: SOT 52791 SOS 31504 HAS SOPS 31504 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26926.504
AT ITER 1463 NEW BEST:: SOT 52791 SOS 31429 HAS SOPS 31429 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26926.429
AT ITER 1468 NEW BEST:: SOT 52785 SOS 31446 HAS SOPS 31446 HAS SOUS 26888 HAS SOUPS 26888 WITH SCORE 26919.446
AT ITER 1473 NEW BEST:: SOT 52785 SOS 31420 HAS SOPS 31420 HAS SOUS 26875 HAS SOUPS 26875 WITH SCORE 26906.42
AT ITER 1485 NEW BEST:: SOT 52757 SOS 31374 HAS SOPS 31374 HAS SOUS 26820 HAS SOUPS 26820 WITH SCORE 26851.374
AT ITER 1488 NEW BEST:: SOT 52689 SOS 31282 HAS SOPS 31282 HAS SOUS 26799 HAS SOUPS 26799 WITH SCORE 26830.282
AT ITER 1491 NEW BEST:: SOT 52689 SOS 30911 HAS SOPS 30911 HAS SOUS 26764 HAS SOUPS 26764 WITH SCORE 26794.911
AT ITER 1492 NEW BEST:: SOT 52689 SOS 30910 HAS SOPS 30910 HAS SOUS 26763 HAS SOUPS 26763 WITH SCORE 26793.91
AT ITER 1499 NEW BEST:: SOT 52577 SOS 30798 HAS SOPS 30798 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26681.798
AT ITER 1506 NEW BEST:: SOT 52577 SOS 30788 HAS SOPS 30788 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26681.788
AT ITER 1508 NEW BEST:: SOT 52577 SOS 30440 HAS SOPS 30440 HAS SOUS 26651 HAS SOUPS 26651 WITH SCORE 26681.44
AT ITER 1511 NEW BEST:: SOT 52547 SOS 30377 HAS SOPS 30377 HAS SOUS 26628 HAS SOUPS 26628 WITH SCORE 26658.377
AT ITER 1516 NEW BEST:: SOT 52547 SOS 30371 HAS SOPS 30371 HAS SOUS 26628 HAS SOUPS 26628 WITH SCORE 26658.371
AT ITER 1528 NEW BEST:: SOT 52547 SOS 30177 HAS SOPS 30177 HAS SOUS 26628 HAS SOUPS 26628 WITH SCORE 26658.177
AT ITER 1529 NEW BEST:: SOT 52538 SOS 30170 HAS SOPS 30170 HAS SOUS 26619 HAS SOUPS 26619 WITH SCORE 26649.17
AT ITER 1530 NEW BEST:: SOT 52538 SOS 29935 HAS SOPS 29935 HAS SOUS 26611 HAS SOUPS 26611 WITH SCORE 26640.935
AT ITER 1534 NEW BEST:: SOT 52541 SOS 29909 HAS SOPS 29909 HAS SOUS 26607 HAS SOUPS 26607 WITH SCORE 26636.909
AT ITER 1550 NEW BEST:: SOT 52522 SOS 29877 HAS SOPS 29877 HAS SOUS 26576 HAS SOUPS 26576 WITH SCORE 26605.877
AT ITER 1559 NEW BEST:: SOT 52522 SOS 29836 HAS SOPS 29836 HAS SOUS 26571 HAS SOUPS 26571 WITH SCORE 26600.836
AT ITER 1563 NEW BEST:: SOT 52536 SOS 29850 HAS SOPS 29850 HAS SOUS 26556 HAS SOUPS 26556 WITH SCORE 26585.85
AT ITER 1578 NEW BEST:: SOT 52488 SOS 29813 HAS SOPS 29813 HAS SOUS 26529 HAS SOUPS 26529 WITH SCORE 26558.813
AT ITER 1582 NEW BEST:: SOT 52493 SOS 29850 HAS SOPS 29850 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26548.85
AT ITER 1611 NEW BEST:: SOT 52493 SOS 29792 HAS SOPS 29792 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26548.792
AT ITER 1625 NEW BEST:: SOT 52493 SOS 29789 HAS SOPS 29789 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26548.789
AT ITER 1633 NEW BEST:: SOT 52477 SOS 29700 HAS SOPS 29700 HAS SOUS 26514 HAS SOUPS 26514 WITH SCORE 26543.7
AT ITER 1640 NEW BEST:: SOT 52469 SOS 29651 HAS SOPS 29651 HAS SOUS 26489 HAS SOUPS 26489 WITH SCORE 26518.651
AT ITER 1656 NEW BEST:: SOT 52469 SOS 29644 HAS SOPS 29644 HAS SOUS 26489 HAS SOUPS 26489 WITH SCORE 26518.644
AT ITER 1657 NEW BEST:: SOT 52469 SOS 29265 HAS SOPS 29265 HAS SOUS 26487 HAS SOUPS 26487 WITH SCORE 26516.265
AT ITER 1659 NEW BEST:: SOT 52469 SOS 29202 HAS SOPS 29202 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26504.202
AT ITER 1672 NEW BEST:: SOT 52469 SOS 29198 HAS SOPS 29198 HAS SOUS 26475 HAS SOUPS 26475 WITH SCORE 26504.198
AT ITER 1675 NEW BEST:: SOT 52469 SOS 29193 HAS SOPS 29193 HAS SOUS 26470 HAS SOUPS 26470 WITH SCORE 26499.193
AT ITER 1687 NEW BEST:: SOT 52369 SOS 29177 HAS SOPS 29177 HAS SOUS 26418 HAS SOUPS 26418 WITH SCORE 26447.177
AT ITER 1697 NEW BEST:: SOT 52357 SOS 29213 HAS SOPS 29213 HAS SOUS 26406 HAS SOUPS 26406 WITH SCORE 26435.213
AT ITER 1711 NEW BEST:: SOT 52348 SOS 29179 HAS SOPS 29179 HAS SOUS 26397 HAS SOUPS 26397 WITH SCORE 26426.179
AT ITER 1726 NEW BEST:: SOT 52348 SOS 29167 HAS SOPS 29167 HAS SOUS 26397 HAS SOUPS 26397 WITH SCORE 26426.167
AT ITER 1732 NEW BEST:: SOT 52240 SOS 29170 HAS SOPS 29170 HAS SOUS 26367 HAS SOUPS 26367 WITH SCORE 26396.17
AT ITER 1736 NEW BEST:: SOT 52220 SOS 29225 HAS SOPS 29225 HAS SOUS 26358 HAS SOUPS 26358 WITH SCORE 26387.225
AT ITER 1744 NEW BEST:: SOT 52243 SOS 29200 HAS SOPS 29200 HAS SOUS 26352 HAS SOUPS 26352 WITH SCORE 26381.2
AT ITER 1746 NEW BEST:: SOT 52221 SOS 29158 HAS SOPS 29158 HAS SOUS 26321 HAS SOUPS 26321 WITH SCORE 26350.158
AT ITER 1769 NEW BEST:: SOT 52186 SOS 29131 HAS SOPS 29131 HAS SOUS 26259 HAS SOUPS 26259 WITH SCORE 26288.131
AT ITER 1778 NEW BEST:: SOT 52186 SOS 29034 HAS SOPS 29034 HAS SOUS 26248 HAS SOUPS 26248 WITH SCORE 26277.034
AT ITER 1783 NEW BEST:: SOT 52187 SOS 29027 HAS SOPS 29027 HAS SOUS 26247 HAS SOUPS 26247 WITH SCORE 26276.027
AT ITER 1795 NEW BEST:: SOT 52184 SOS 29020 HAS SOPS 29020 HAS SOUS 26240 HAS SOUPS 26240 WITH SCORE 26269.02
AT ITER 1796 NEW BEST:: SOT 52184 SOS 28984 HAS SOPS 28984 HAS SOUS 26240 HAS SOUPS 26240 WITH SCORE 26268.984
AT ITER 1797 NEW BEST:: SOT 52184 SOS 28956 HAS SOPS 28956 HAS SOUS 26212 HAS SOUPS 26212 WITH SCORE 26240.956
AT ITER 1802 NEW BEST:: SOT 52184 SOS 28933 HAS SOPS 28933 HAS SOUS 26189 HAS SOUPS 26189 WITH SCORE 26217.933
AT ITER 1812 NEW BEST:: SOT 52184 SOS 28929 HAS SOPS 28929 HAS SOUS 26181 HAS SOUPS 26181 WITH SCORE 26209.929
AT ITER 1819 NEW BEST:: SOT 52184 SOS 28913 HAS SOPS 28913 HAS SOUS 26181 HAS SOUPS 26181 WITH SCORE 26209.913
AT ITER 1820 NEW BEST:: SOT 52175 SOS 28986 HAS SOPS 28986 HAS SOUS 26174 HAS SOUPS 26174 WITH SCORE 26202.986
AT ITER 1844 NEW BEST:: SOT 52175 SOS 28980 HAS SOPS 28980 HAS SOUS 26174 HAS SOUPS 26174 WITH SCORE 26202.98
AT ITER 1846 NEW BEST:: SOT 52192 SOS 28914 HAS SOPS 28914 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26188.914
AT ITER 1851 NEW BEST:: SOT 52185 SOS 28907 HAS SOPS 28907 HAS SOUS 26151 HAS SOUPS 26151 WITH SCORE 26179.907
AT ITER 1900 NEW BEST:: SOT 52185 SOS 28994 HAS SOPS 28994 HAS SOUS 26141 HAS SOUPS 26141 WITH SCORE 26169.994
AT ITER 1909 NEW BEST:: SOT 52167 SOS 29004 HAS SOPS 29004 HAS SOUS 26131 HAS SOUPS 26131 WITH SCORE 26160.004
AT ITER 1920 NEW BEST:: SOT 52175 SOS 28972 HAS SOPS 28972 HAS SOUS 26122 HAS SOUPS 26122 WITH SCORE 26150.972
AT ITER 1928 NEW BEST:: SOT 52152 SOS 29002 HAS SOPS 29002 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26150.002
AT ITER 1935 NEW BEST:: SOT 52152 SOS 29002 HAS SOPS 29002 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26143.002
AT ITER 1945 NEW BEST:: SOT 52152 SOS 28987 HAS SOPS 28987 HAS SOUS 26114 HAS SOUPS 26114 WITH SCORE 26142.987
AT ITER 1951 NEW BEST:: SOT 52155 SOS 29013 HAS SOPS 29013 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26139.013
AT ITER 1967 NEW BEST:: SOT 52074 SOS 29107 HAS SOPS 29107 HAS SOUS 26101 HAS SOUPS 26101 WITH SCORE 26130.107
AT ITER 1991 NEW BEST:: SOT 52074 SOS 28960 HAS SOPS 28960 HAS SOUS 26101 HAS SOUPS 26101 WITH SCORE 26129.96
AT ITER 2000 NEW BEST:: SOT 52074 SOS 28960 HAS SOPS 28960 HAS SOUS 26100 HAS SOUPS 26100 WITH SCORE 26128.96
AT ITER 2006 NEW BEST:: SOT 52074 SOS 28943 HAS SOPS 28943 HAS SOUS 26100 HAS SOUPS 26100 WITH SCORE 26128.943
AT ITER 2011 NEW BEST:: SOT 52074 SOS 28934 HAS SOPS 28934 HAS SOUS 26096 HAS SOUPS 26096 WITH SCORE 26124.934
AT ITER 2025 NEW BEST:: SOT 52035 SOS 28914 HAS SOPS 28914 HAS SOUS 26085 HAS SOUPS 26085 WITH SCORE 26113.914
AT ITER 2036 NEW BEST:: SOT 52036 SOS 28915 HAS SOPS 28915 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26077.915
AT ITER 2039 NEW BEST:: SOT 52036 SOS 28840 HAS SOPS 28840 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26077.84
AT ITER 2041 NEW BEST:: SOT 52030 SOS 28834 HAS SOPS 28834 HAS SOUS 26043 HAS SOUPS 26043 WITH SCORE 26071.834
AT ITER 2046 NEW BEST:: SOT 51976 SOS 28780 HAS SOPS 28780 HAS SOUS 25996 HAS SOUPS 25996 WITH SCORE 26024.78
AT ITER 2062 NEW BEST:: SOT 51955 SOS 28772 HAS SOPS 28772 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26022.772
AT ITER 2068 NEW BEST:: SOT 51955 SOS 28577 HAS SOPS 28577 HAS SOUS 25994 HAS SOUPS 25994 WITH SCORE 26022.577
AT ITER 2096 NEW BEST:: SOT 51955 SOS 28535 HAS SOPS 28535 HAS SOUS 25965 HAS SOUPS 25965 WITH SCORE 25993.535
AT ITER 2101 NEW BEST:: SOT 51955 SOS 28523 HAS SOPS 28523 HAS SOUS 25965 HAS SOUPS 25965 WITH SCORE 25993.523
AT ITER 2115 NEW BEST:: SOT 51955 SOS 28493 HAS SOPS 28493 HAS SOUS 25935 HAS SOUPS 25935 WITH SCORE 25963.493
AT ITER 2125 NEW BEST:: SOT 51872 SOS 28410 HAS SOPS 28410 HAS SOUS 25852 HAS SOUPS 25852 WITH SCORE 25880.41
AT ITER 2128 NEW BEST:: SOT 51872 SOS 28410 HAS SOPS 28410 HAS SOUS 25848 HAS SOUPS 25848 WITH SCORE 25876.41
AT ITER 2137 NEW BEST:: SOT 51872 SOS 28365 HAS SOPS 28365 HAS SOUS 25848 HAS SOUPS 25848 WITH SCORE 25876.365
AT ITER 2148 NEW BEST:: SOT 51855 SOS 28374 HAS SOPS 28374 HAS SOUS 25815 HAS SOUPS 25815 WITH SCORE 25843.374
AT ITER 2182 NEW BEST:: SOT 51855 SOS 28346 HAS SOPS 28346 HAS SOUS 25815 HAS SOUPS 25815 WITH SCORE 25843.346
AT ITER 2184 NEW BEST:: SOT 51855 SOS 28398 HAS SOPS 28398 HAS SOUS 25813 HAS SOUPS 25813 WITH SCORE 25841.398
AT ITER 2187 NEW BEST:: SOT 51855 SOS 28398 HAS SOPS 28398 HAS SOUS 25799 HAS SOUPS 25799 WITH SCORE 25827.398
AT ITER 2189 NEW BEST:: SOT 51853 SOS 28396 HAS SOPS 28396 HAS SOUS 25797 HAS SOUPS 25797 WITH SCORE 25825.396
AT ITER 2196 NEW BEST:: SOT 51853 SOS 28374 HAS SOPS 28374 HAS SOUS 25795 HAS SOUPS 25795 WITH SCORE 25823.374
AT ITER 2208 NEW BEST:: SOT 51853 SOS 28407 HAS SOPS 28407 HAS SOUS 25790 HAS SOUPS 25790 WITH SCORE 25818.407
AT ITER 2225 NEW BEST:: SOT 51853 SOS 28369 HAS SOPS 28369 HAS SOUS 25790 HAS SOUPS 25790 WITH SCORE 25818.369
AT ITER 2235 NEW BEST:: SOT 51853 SOS 28355 HAS SOPS 28355 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25798.355
AT ITER 2312 NEW BEST:: SOT 51853 SOS 28352 HAS SOPS 28352 HAS SOUS 25770 HAS SOUPS 25770 WITH SCORE 25798.352
AT ITER 2314 NEW BEST:: SOT 51837 SOS 28336 HAS SOPS 28336 HAS SOUS 25754 HAS SOUPS 25754 WITH SCORE 25782.336
AT ITER 2315 NEW BEST:: SOT 51829 SOS 28293 HAS SOPS 28293 HAS SOUS 25738 HAS SOUPS 25738 WITH SCORE 25766.293
AT ITER 2320 NEW BEST:: SOT 51829 SOS 28254 HAS SOPS 28254 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25727.254
AT ITER 2346 NEW BEST:: SOT 51821 SOS 28246 HAS SOPS 28246 HAS SOUS 25691 HAS SOUPS 25691 WITH SCORE 25719.246
AT ITER 2351 NEW BEST:: SOT 51821 SOS 28243 HAS SOPS 28243 HAS SOUS 25687 HAS SOUPS 25687 WITH SCORE 25715.243
AT ITER 2353 NEW BEST:: SOT 51833 SOS 28230 HAS SOPS 28230 HAS SOUS 25685 HAS SOUPS 25685 WITH SCORE 25713.23
AT ITER 2377 NEW BEST:: SOT 51832 SOS 28229 HAS SOPS 28229 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25712.229
AT ITER 2397 NEW BEST:: SOT 51832 SOS 28118 HAS SOPS 28118 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25712.118
AT ITER 2400 NEW BEST:: SOT 51832 SOS 28104 HAS SOPS 28104 HAS SOUS 25684 HAS SOUPS 25684 WITH SCORE 25712.104
AT ITER 2402 NEW BEST:: SOT 51838 SOS 28136 HAS SOPS 28136 HAS SOUS 25681 HAS SOUPS 25681 WITH SCORE 25709.136
AT ITER 2415 NEW BEST:: SOT 51834 SOS 28132 HAS SOPS 28132 HAS SOUS 25670 HAS SOUPS 25670 WITH SCORE 25698.132
AT ITER 2420 NEW BEST:: SOT 51814 SOS 28091 HAS SOPS 28091 HAS SOUS 25629 HAS SOUPS 25629 WITH SCORE 25657.091
AT ITER 2466 NEW BEST:: SOT 51814 SOS 28088 HAS SOPS 28088 HAS SOUS 25629 HAS SOUPS 25629 WITH SCORE 25657.088
AT ITER 2475 NEW BEST:: SOT 51799 SOS 28073 HAS SOPS 28073 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 25642.073
AT ITER 2540 NEW BEST:: SOT 51790 SOS 27999 HAS SOPS 27999 HAS SOUS 25597 HAS SOUPS 25597 WITH SCORE 25624.999
AT ITER 2545 NEW BEST:: SOT 51793 SOS 27994 HAS SOPS 27994 HAS SOUS 25582 HAS SOUPS 25582 WITH SCORE 25609.994
AT ITER 2562 NEW BEST:: SOT 51793 SOS 27952 HAS SOPS 27952 HAS SOUS 25582 HAS SOUPS 25582 WITH SCORE 25609.952
AT ITER 2574 NEW BEST:: SOT 51793 SOS 27946 HAS SOPS 27946 HAS SOUS 25581 HAS SOUPS 25581 WITH SCORE 25608.946
AT ITER 2580 NEW BEST:: SOT 51793 SOS 28222 HAS SOPS 28222 HAS SOUS 25573 HAS SOUPS 25573 WITH SCORE 25601.222
AT ITER 2591 NEW BEST:: SOT 51793 SOS 28364 HAS SOPS 28364 HAS SOUS 25568 HAS SOUPS 25568 WITH SCORE 25596.364
AT ITER 2595 NEW BEST:: SOT 51762 SOS 28464 HAS SOPS 28464 HAS SOUS 25558 HAS SOUPS 25558 WITH SCORE 25586.464
AT ITER 2604 NEW BEST:: SOT 51767 SOS 28389 HAS SOPS 28389 HAS SOUS 25542 HAS SOUPS 25542 WITH SCORE 25570.389
AT ITER 2605 NEW BEST:: SOT 51767 SOS 28384 HAS SOPS 28384 HAS SOUS 25542 HAS SOUPS 25542 WITH SCORE 25570.384
AT ITER 2618 NEW BEST:: SOT 51657 SOS 29577 HAS SOPS 29577 HAS SOUS 25507 HAS SOUPS 25507 WITH SCORE 25536.577
AT ITER 2625 NEW BEST:: SOT 51657 SOS 29575 HAS SOPS 29575 HAS SOUS 25507 HAS SOUPS 25507 WITH SCORE 25536.575
AT ITER 2626 NEW BEST:: SOT 51657 SOS 29575 HAS SOPS 29575 HAS SOUS 25505 HAS SOUPS 25505 WITH SCORE 25534.575
AT ITER 2628 NEW BEST:: SOT 51657 SOS 29537 HAS SOPS 29537 HAS SOUS 25505 HAS SOUPS 25505 WITH SCORE 25534.537
AT ITER 2630 NEW BEST:: SOT 51657 SOS 29511 HAS SOPS 29511 HAS SOUS 25475 HAS SOUPS 25475 WITH SCORE 25504.511
AT ITER 2643 NEW BEST:: SOT 51657 SOS 29466 HAS SOPS 29466 HAS SOUS 25475 HAS SOUPS 25475 WITH SCORE 25504.466
AT ITER 2647 NEW BEST:: SOT 51651 SOS 29460 HAS SOPS 29460 HAS SOUS 25472 HAS SOUPS 25472 WITH SCORE 25501.46
AT ITER 2663 NEW BEST:: SOT 51650 SOS 29526 HAS SOPS 29526 HAS SOUS 25471 HAS SOUPS 25471 WITH SCORE 25500.526
AT ITER 2665 NEW BEST:: SOT 51650 SOS 29496 HAS SOPS 29496 HAS SOUS 25471 HAS SOUPS 25471 WITH SCORE 25500.496
AT ITER 2669 NEW BEST:: SOT 51566 SOS 30356 HAS SOPS 30356 HAS SOUS 25438 HAS SOUPS 25438 WITH SCORE 25468.356
AT ITER 2671 NEW BEST:: SOT 51566 SOS 30341 HAS SOPS 30341 HAS SOUS 25432 HAS SOUPS 25432 WITH SCORE 25462.341
AT ITER 2685 NEW BEST:: SOT 51547 SOS 30322 HAS SOPS 30322 HAS SOUS 25413 HAS SOUPS 25413 WITH SCORE 25443.322
AT ITER 2706 NEW BEST:: SOT 51531 SOS 30314 HAS SOPS 30314 HAS SOUS 25413 HAS SOUPS 25413 WITH SCORE 25443.314
AT ITER 2714 NEW BEST:: SOT 51527 SOS 30310 HAS SOPS 30310 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25439.31
AT ITER 2723 NEW BEST:: SOT 51527 SOS 30273 HAS SOPS 30273 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25439.273
AT ITER 2732 NEW BEST:: SOT 51350 SOS 30245 HAS SOPS 30245 HAS SOUS 25389 HAS SOUPS 25389 WITH SCORE 25419.245
AT ITER 2737 NEW BEST:: SOT 51350 SOS 30094 HAS SOPS 30094 HAS SOUS 25383 HAS SOUPS 25383 WITH SCORE 25413.094
AT ITER 2741 NEW BEST:: SOT 51342 SOS 30086 HAS SOPS 30086 HAS SOUS 25382 HAS SOUPS 25382 WITH SCORE 25412.086
AT ITER 2744 NEW BEST:: SOT 51331 SOS 30075 HAS SOPS 30075 HAS SOUS 25371 HAS SOUPS 25371 WITH SCORE 25401.075
AT ITER 2754 NEW BEST:: SOT 51348 SOS 30069 HAS SOPS 30069 HAS SOUS 25365 HAS SOUPS 25365 WITH SCORE 25395.069
AT ITER 2770 NEW BEST:: SOT 51319 SOS 30057 HAS SOPS 30057 HAS SOUS 25364 HAS SOUPS 25364 WITH SCORE 25394.057
AT ITER 2771 NEW BEST:: SOT 51319 SOS 30056 HAS SOPS 30056 HAS SOUS 25364 HAS SOUPS 25364 WITH SCORE 25394.056
AT ITER 2780 NEW BEST:: SOT 51319 SOS 30029 HAS SOPS 30029 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25367.029
AT ITER 2785 NEW BEST:: SOT 51319 SOS 30019 HAS SOPS 30019 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25367.019
AT ITER 2788 NEW BEST:: SOT 51319 SOS 29964 HAS SOPS 29964 HAS SOUS 25337 HAS SOUPS 25337 WITH SCORE 25366.964
AT ITER 2797 NEW BEST:: SOT 51318 SOS 30002 HAS SOPS 30002 HAS SOUS 25333 HAS SOUPS 25333 WITH SCORE 25363.002
AT ITER 2827 NEW BEST:: SOT 51306 SOS 29990 HAS SOPS 29990 HAS SOUS 25326 HAS SOUPS 25326 WITH SCORE 25355.99
AT ITER 2831 NEW BEST:: SOT 51312 SOS 29975 HAS SOPS 29975 HAS SOUS 25320 HAS SOUPS 25320 WITH SCORE 25349.975
AT ITER 2835 NEW BEST:: SOT 51326 SOS 29982 HAS SOPS 29982 HAS SOUS 25307 HAS SOUPS 25307 WITH SCORE 25336.982
AT ITER 2870 NEW BEST:: SOT 51326 SOS 29979 HAS SOPS 29979 HAS SOUS 25307 HAS SOUPS 25307 WITH SCORE 25336.979
AT ITER 2884 NEW BEST:: SOT 51326 SOS 29948 HAS SOPS 29948 HAS SOUS 25307 HAS SOUPS 25307 WITH SCORE 25336.948
AT ITER 2890 NEW BEST:: SOT 51326 SOS 29941 HAS SOPS 29941 HAS SOUS 25307 HAS SOUPS 25307 WITH SCORE 25336.941
AT ITER 2896 NEW BEST:: SOT 51314 SOS 29929 HAS SOPS 29929 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25324.929
AT ITER 2899 NEW BEST:: SOT 51314 SOS 29924 HAS SOPS 29924 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25324.924
AT ITER 2900 NEW BEST:: SOT 51284 SOS 29947 HAS SOPS 29947 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25320.947
AT ITER 2907 NEW BEST:: SOT 51284 SOS 29898 HAS SOPS 29898 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25320.898
AT ITER 2923 NEW BEST:: SOT 51282 SOS 29886 HAS SOPS 29886 HAS SOUS 25287 HAS SOUPS 25287 WITH SCORE 25316.886
AT ITER 2933 NEW BEST:: SOT 51268 SOS 29872 HAS SOPS 29872 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25302.872
AT ITER 2942 NEW BEST:: SOT 51268 SOS 29919 HAS SOPS 29919 HAS SOUS 25269 HAS SOUPS 25269 WITH SCORE 25298.919
AT ITER 2977 NEW BEST:: SOT 51248 SOS 29908 HAS SOPS 29908 HAS SOUS 25269 HAS SOUPS 25269 WITH SCORE 25298.908
AT ITER 2994 NEW BEST:: SOT 51239 SOS 29909 HAS SOPS 29909 HAS SOUS 25251 HAS SOUPS 25251 WITH SCORE 25280.909
AT ITER 3010 NEW BEST:: SOT 51239 SOS 29817 HAS SOPS 29817 HAS SOUS 25251 HAS SOUPS 25251 WITH SCORE 25280.817
AT ITER 3015 NEW BEST:: SOT 51157 SOS 29736 HAS SOPS 29736 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25239.736
AT ITER 3016 NEW BEST:: SOT 51157 SOS 29724 HAS SOPS 29724 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25239.724
AT ITER 3021 NEW BEST:: SOT 51157 SOS 29689 HAS SOPS 29689 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25239.689
AT ITER 3047 NEW BEST:: SOT 51157 SOS 29689 HAS SOPS 29689 HAS SOUS 25197 HAS SOUPS 25197 WITH SCORE 25226.689
AT ITER 3056 NEW BEST:: SOT 51157 SOS 29646 HAS SOPS 29646 HAS SOUS 25197 HAS SOUPS 25197 WITH SCORE 25226.646
AT ITER 3069 NEW BEST:: SOT 51148 SOS 29654 HAS SOPS 29654 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25224.654
AT ITER 3087 NEW BEST:: SOT 51140 SOS 29652 HAS SOPS 29652 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25224.652
AT ITER 3093 NEW BEST:: SOT 51140 SOS 29608 HAS SOPS 29608 HAS SOUS 25156 HAS SOUPS 25156 WITH SCORE 25185.608
AT ITER 3095 NEW BEST:: SOT 51140 SOS 29604 HAS SOPS 29604 HAS SOUS 25156 HAS SOUPS 25156 WITH SCORE 25185.604
AT ITER 3103 NEW BEST:: SOT 51140 SOS 29535 HAS SOPS 29535 HAS SOUS 25143 HAS SOUPS 25143 WITH SCORE 25172.535
AT ITER 3105 NEW BEST:: SOT 51140 SOS 29434 HAS SOPS 29434 HAS SOUS 25143 HAS SOUPS 25143 WITH SCORE 25172.434
AT ITER 3124 NEW BEST:: SOT 51140 SOS 29446 HAS SOPS 29446 HAS SOUS 25114 HAS SOUPS 25114 WITH SCORE 25143.446
AT ITER 3136 NEW BEST:: SOT 51140 SOS 29429 HAS SOPS 29429 HAS SOUS 25114 HAS SOUPS 25114 WITH SCORE 25143.429
AT ITER 3146 NEW BEST:: SOT 51153 SOS 29329 HAS SOPS 29329 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25130.329
AT ITER 3164 NEW BEST:: SOT 51144 SOS 29320 HAS SOPS 29320 HAS SOUS 25092 HAS SOUPS 25092 WITH SCORE 25121.32
AT ITER 3167 NEW BEST:: SOT 51127 SOS 29421 HAS SOPS 29421 HAS SOUS 25076 HAS SOUPS 25076 WITH SCORE 25105.421
AT ITER 3179 NEW BEST:: SOT 51127 SOS 29418 HAS SOPS 29418 HAS SOUS 25074 HAS SOUPS 25074 WITH SCORE 25103.418
AT ITER 3180 NEW BEST:: SOT 51127 SOS 29408 HAS SOPS 29408 HAS SOUS 25064 HAS SOUPS 25064 WITH SCORE 25093.408
AT ITER 3194 NEW BEST:: SOT 51127 SOS 29385 HAS SOPS 29385 HAS SOUS 25064 HAS SOUPS 25064 WITH SCORE 25093.385
AT ITER 3202 NEW BEST:: SOT 51102 SOS 29399 HAS SOPS 29399 HAS SOUS 25036 HAS SOUPS 25036 WITH SCORE 25065.399
AT ITER 3205 NEW BEST:: SOT 51027 SOS 29311 HAS SOPS 29311 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25016.311
AT ITER 3216 NEW BEST:: SOT 51027 SOS 29305 HAS SOPS 29305 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25016.305
AT ITER 3225 NEW BEST:: SOT 51027 SOS 29302 HAS SOPS 29302 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25016.302
AT ITER 3230 NEW BEST:: SOT 51027 SOS 29220 HAS SOPS 29220 HAS SOUS 24981 HAS SOUPS 24981 WITH SCORE 25010.22
AT ITER 3255 NEW BEST:: SOT 51027 SOS 29214 HAS SOPS 29214 HAS SOUS 24975 HAS SOUPS 24975 WITH SCORE 25004.214
AT ITER 3258 NEW BEST:: SOT 51021 SOS 29216 HAS SOPS 29216 HAS SOUS 24972 HAS SOUPS 24972 WITH SCORE 25001.216
AT ITER 3280 NEW BEST:: SOT 51012 SOS 29215 HAS SOPS 29215 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 24993.215
AT ITER 3282 NEW BEST:: SOT 51012 SOS 29222 HAS SOPS 29222 HAS SOUS 24963 HAS SOUPS 24963 WITH SCORE 24992.222
AT ITER 3304 NEW BEST:: SOT 51003 SOS 29218 HAS SOPS 29218 HAS SOUS 24945 HAS SOUPS 24945 WITH SCORE 24974.218
AT ITER 3305 NEW BEST:: SOT 51016 SOS 29069 HAS SOPS 29069 HAS SOUS 24936 HAS SOUPS 24936 WITH SCORE 24965.069
AT ITER 3328 NEW BEST:: SOT 51017 SOS 29070 HAS SOPS 29070 HAS SOUS 24935 HAS SOUPS 24935 WITH SCORE 24964.07
AT ITER 3333 NEW BEST:: SOT 51017 SOS 29047 HAS SOPS 29047 HAS SOUS 24930 HAS SOUPS 24930 WITH SCORE 24959.047
AT ITER 3356 NEW BEST:: SOT 51017 SOS 28987 HAS SOPS 28987 HAS SOUS 24930 HAS SOUPS 24930 WITH SCORE 24958.987
AT ITER 3365 NEW BEST:: SOT 50982 SOS 28998 HAS SOPS 28998 HAS SOUS 24918 HAS SOUPS 24918 WITH SCORE 24946.998
AT ITER 3378 NEW BEST:: SOT 50982 SOS 28977 HAS SOPS 28977 HAS SOUS 24897 HAS SOUPS 24897 WITH SCORE 24925.977
AT ITER 3388 NEW BEST:: SOT 50982 SOS 28975 HAS SOPS 28975 HAS SOUS 24897 HAS SOUPS 24897 WITH SCORE 24925.975
AT ITER 3391 NEW BEST:: SOT 50976 SOS 28971 HAS SOPS 28971 HAS SOUS 24895 HAS SOUPS 24895 WITH SCORE 24923.971
AT ITER 3402 NEW BEST:: SOT 50976 SOS 28961 HAS SOPS 28961 HAS SOUS 24895 HAS SOUPS 24895 WITH SCORE 24923.961
AT ITER 3404 NEW BEST:: SOT 50967 SOS 28615 HAS SOPS 28615 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24901.615
AT ITER 3405 NEW BEST:: SOT 50967 SOS 28586 HAS SOPS 28586 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24901.586
AT ITER 3408 NEW BEST:: SOT 50967 SOS 28609 HAS SOPS 28609 HAS SOUS 24870 HAS SOUPS 24870 WITH SCORE 24898.609
AT ITER 3411 NEW BEST:: SOT 50997 SOS 28625 HAS SOPS 28625 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24845.625
AT ITER 3414 NEW BEST:: SOT 50997 SOS 28585 HAS SOPS 28585 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24845.585
AT ITER 3417 NEW BEST:: SOT 50997 SOS 28575 HAS SOPS 28575 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24845.575
AT ITER 3439 NEW BEST:: SOT 50994 SOS 28572 HAS SOPS 28572 HAS SOUS 24814 HAS SOUPS 24814 WITH SCORE 24842.572
AT ITER 3447 NEW BEST:: SOT 50994 SOS 28549 HAS SOPS 28549 HAS SOUS 24814 HAS SOUPS 24814 WITH SCORE 24842.549
AT ITER 3455 NEW BEST:: SOT 50994 SOS 28496 HAS SOPS 28496 HAS SOUS 24814 HAS SOUPS 24814 WITH SCORE 24842.496
AT ITER 3472 NEW BEST:: SOT 50994 SOS 28491 HAS SOPS 28491 HAS SOUS 24809 HAS SOUPS 24809 WITH SCORE 24837.491
AT ITER 3477 NEW BEST:: SOT 50994 SOS 28321 HAS SOPS 28321 HAS SOUS 24806 HAS SOUPS 24806 WITH SCORE 24834.321
AT ITER 3511 NEW BEST:: SOT 50982 SOS 28309 HAS SOPS 28309 HAS SOUS 24791 HAS SOUPS 24791 WITH SCORE 24819.309
AT ITER 3521 NEW BEST:: SOT 50945 SOS 28995 HAS SOPS 28995 HAS SOUS 24773 HAS SOUPS 24773 WITH SCORE 24801.995
AT ITER 3527 NEW BEST:: SOT 50938 SOS 28988 HAS SOPS 28988 HAS SOUS 24766 HAS SOUPS 24766 WITH SCORE 24794.988
AT ITER 3537 NEW BEST:: SOT 50919 SOS 28969 HAS SOPS 28969 HAS SOUS 24753 HAS SOUPS 24753 WITH SCORE 24781.969
AT ITER 3547 NEW BEST:: SOT 50919 SOS 28932 HAS SOPS 28932 HAS SOUS 24753 HAS SOUPS 24753 WITH SCORE 24781.932
AT ITER 3549 NEW BEST:: SOT 50919 SOS 28909 HAS SOPS 28909 HAS SOUS 24753 HAS SOUPS 24753 WITH SCORE 24781.909
AT ITER 3553 NEW BEST:: SOT 50919 SOS 28873 HAS SOPS 28873 HAS SOUS 24739 HAS SOUPS 24739 WITH SCORE 24767.873
AT ITER 3558 NEW BEST:: SOT 50919 SOS 28870 HAS SOPS 28870 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24764.87
AT ITER 3565 NEW BEST:: SOT 50916 SOS 28867 HAS SOPS 28867 HAS SOUS 24733 HAS SOUPS 24733 WITH SCORE 24761.867
AT ITER 3579 NEW BEST:: SOT 50889 SOS 28835 HAS SOPS 28835 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 24737.835
AT ITER 3584 NEW BEST:: SOT 50889 SOS 28821 HAS SOPS 28821 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24734.821
AT ITER 3592 NEW BEST:: SOT 50889 SOS 28795 HAS SOPS 28795 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24734.795
AT ITER 3610 NEW BEST:: SOT 50879 SOS 28787 HAS SOPS 28787 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24720.787
AT ITER 3612 NEW BEST:: SOT 50879 SOS 28778 HAS SOPS 28778 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24720.778
AT ITER 3615 NEW BEST:: SOT 50879 SOS 28766 HAS SOPS 28766 HAS SOUS 24684 HAS SOUPS 24684 WITH SCORE 24712.766
AT ITER 3636 NEW BEST:: SOT 50879 SOS 28733 HAS SOPS 28733 HAS SOUS 24684 HAS SOUPS 24684 WITH SCORE 24712.733
AT ITER 3639 NEW BEST:: SOT 50879 SOS 28720 HAS SOPS 28720 HAS SOUS 24681 HAS SOUPS 24681 WITH SCORE 24709.72
AT ITER 3644 NEW BEST:: SOT 50879 SOS 28724 HAS SOPS 28724 HAS SOUS 24677 HAS SOUPS 24677 WITH SCORE 24705.724
AT ITER 3662 NEW BEST:: SOT 50879 SOS 28700 HAS SOPS 28700 HAS SOUS 24672 HAS SOUPS 24672 WITH SCORE 24700.7
AT ITER 3666 NEW BEST:: SOT 50832 SOS 28657 HAS SOPS 28657 HAS SOUS 24629 HAS SOUPS 24629 WITH SCORE 24657.657
AT ITER 3675 NEW BEST:: SOT 50834 SOS 28105 HAS SOPS 28105 HAS SOUS 24624 HAS SOUPS 24624 WITH SCORE 24652.105
AT ITER 3687 NEW BEST:: SOT 50834 SOS 28088 HAS SOPS 28088 HAS SOUS 24610 HAS SOUPS 24610 WITH SCORE 24638.088
AT ITER 3702 NEW BEST:: SOT 50834 SOS 28088 HAS SOPS 28088 HAS SOUS 24591 HAS SOUPS 24591 WITH SCORE 24619.088
AT ITER 3776 NEW BEST:: SOT 50789 SOS 28092 HAS SOPS 28092 HAS SOUS 24564 HAS SOUPS 24564 WITH SCORE 24592.092
AT ITER 3777 NEW BEST:: SOT 50789 SOS 28169 HAS SOPS 28169 HAS SOUS 24560 HAS SOUPS 24560 WITH SCORE 24588.169
AT ITER 3795 NEW BEST:: SOT 50781 SOS 28161 HAS SOPS 28161 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24580.161
AT ITER 3811 NEW BEST:: SOT 50781 SOS 28118 HAS SOPS 28118 HAS SOUS 24509 HAS SOUPS 24509 WITH SCORE 24537.118
AT ITER 3815 NEW BEST:: SOT 50784 SOS 28054 HAS SOPS 28054 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24525.054
AT ITER 3825 NEW BEST:: SOT 50784 SOS 28049 HAS SOPS 28049 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24525.049
AT ITER 3840 NEW BEST:: SOT 50712 SOS 27977 HAS SOPS 27977 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24465.977
AT ITER 3845 NEW BEST:: SOT 50690 SOS 27955 HAS SOPS 27955 HAS SOUS 24416 HAS SOUPS 24416 WITH SCORE 24443.955
AT ITER 3863 NEW BEST:: SOT 50584 SOS 27858 HAS SOPS 27858 HAS SOUS 24380 HAS SOUPS 24380 WITH SCORE 24407.858
AT ITER 3878 NEW BEST:: SOT 50583 SOS 27857 HAS SOPS 27857 HAS SOUS 24379 HAS SOUPS 24379 WITH SCORE 24406.857
AT ITER 3880 NEW BEST:: SOT 50583 SOS 27845 HAS SOPS 27845 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24400.845
AT ITER 3900 NEW BEST:: SOT 50577 SOS 28160 HAS SOPS 28160 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24398.16
AT ITER 3907 NEW BEST:: SOT 50538 SOS 28154 HAS SOPS 28154 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24369.154
AT ITER 3933 NEW BEST:: SOT 50538 SOS 28151 HAS SOPS 28151 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24369.151
AT ITER 3942 NEW BEST:: SOT 50538 SOS 28147 HAS SOPS 28147 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24369.147
AT ITER 3947 NEW BEST:: SOT 50538 SOS 28139 HAS SOPS 28139 HAS SOUS 24341 HAS SOUPS 24341 WITH SCORE 24369.139
AT ITER 3950 NEW BEST:: SOT 50538 SOS 28089 HAS SOPS 28089 HAS SOUS 24321 HAS SOUPS 24321 WITH SCORE 24349.089
AT ITER 3962 NEW BEST:: SOT 50523 SOS 28074 HAS SOPS 28074 HAS SOUS 24306 HAS SOUPS 24306 WITH SCORE 24334.074
AT ITER 3988 NEW BEST:: SOT 50562 SOS 28083 HAS SOPS 28083 HAS SOUS 24300 HAS SOUPS 24300 WITH SCORE 24328.083
AT ITER 3996 NEW BEST:: SOT 50562 SOS 28078 HAS SOPS 28078 HAS SOUS 24300 HAS SOUPS 24300 WITH SCORE 24328.078
AT ITER 4011 NEW BEST:: SOT 50560 SOS 28076 HAS SOPS 28076 HAS SOUS 24298 HAS SOUPS 24298 WITH SCORE 24326.076
AT ITER 4019 NEW BEST:: SOT 50554 SOS 28047 HAS SOPS 28047 HAS SOUS 24289 HAS SOUPS 24289 WITH SCORE 24317.047
AT ITER 4036 NEW BEST:: SOT 50554 SOS 28048 HAS SOPS 28048 HAS SOUS 24288 HAS SOUPS 24288 WITH SCORE 24316.048
AT ITER 4060 NEW BEST:: SOT 50554 SOS 27993 HAS SOPS 27993 HAS SOUS 24288 HAS SOUPS 24288 WITH SCORE 24315.993
AT ITER 4068 NEW BEST:: SOT 50554 SOS 28009 HAS SOPS 28009 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24299.009
AT ITER 4072 NEW BEST:: SOT 50554 SOS 27982 HAS SOPS 27982 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24298.982
AT ITER 4090 NEW BEST:: SOT 50554 SOS 27975 HAS SOPS 27975 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24298.975
AT ITER 4092 NEW BEST:: SOT 50554 SOS 27971 HAS SOPS 27971 HAS SOUS 24271 HAS SOUPS 24271 WITH SCORE 24298.971
AT ITER 4095 NEW BEST:: SOT 50552 SOS 27969 HAS SOPS 27969 HAS SOUS 24269 HAS SOUPS 24269 WITH SCORE 24296.969
AT ITER 4097 NEW BEST:: SOT 50552 SOS 27955 HAS SOPS 27955 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24270.955
AT ITER 4100 NEW BEST:: SOT 50552 SOS 27954 HAS SOPS 27954 HAS SOUS 24243 HAS SOUPS 24243 WITH SCORE 24270.954
AT ITER 4116 NEW BEST:: SOT 50552 SOS 27824 HAS SOPS 27824 HAS SOUS 24240 HAS SOUPS 24240 WITH SCORE 24267.824
AT ITER 4132 NEW BEST:: SOT 50536 SOS 27808 HAS SOPS 27808 HAS SOUS 24224 HAS SOUPS 24224 WITH SCORE 24251.808
AT ITER 4161 NEW BEST:: SOT 50535 SOS 27807 HAS SOPS 27807 HAS SOUS 24223 HAS SOUPS 24223 WITH SCORE 24250.807
AT ITER 4164 NEW BEST:: SOT 50526 SOS 27798 HAS SOPS 27798 HAS SOUS 24221 HAS SOUPS 24221 WITH SCORE 24248.798
AT ITER 4194 NEW BEST:: SOT 50526 SOS 27792 HAS SOPS 27792 HAS SOUS 24221 HAS SOUPS 24221 WITH SCORE 24248.792
AT ITER 4197 NEW BEST:: SOT 50508 SOS 27826 HAS SOPS 27826 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24246.826
AT ITER 4223 NEW BEST:: SOT 50508 SOS 27825 HAS SOPS 27825 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24246.825
AT ITER 4224 NEW BEST:: SOT 50508 SOS 27819 HAS SOPS 27819 HAS SOUS 24219 HAS SOUPS 24219 WITH SCORE 24246.819
AT ITER 4237 NEW BEST:: SOT 50508 SOS 27818 HAS SOPS 27818 HAS SOUS 24216 HAS SOUPS 24216 WITH SCORE 24243.818
AT ITER 4246 NEW BEST:: SOT 50508 SOS 27770 HAS SOPS 27770 HAS SOUS 24216 HAS SOUPS 24216 WITH SCORE 24243.77
AT ITER 4248 NEW BEST:: SOT 50508 SOS 27769 HAS SOPS 27769 HAS SOUS 24216 HAS SOUPS 24216 WITH SCORE 24243.769
AT ITER 4268 NEW BEST:: SOT 50508 SOS 27767 HAS SOPS 27767 HAS SOUS 24214 HAS SOUPS 24214 WITH SCORE 24241.767
AT ITER 4273 NEW BEST:: SOT 50508 SOS 27749 HAS SOPS 27749 HAS SOUS 24214 HAS SOUPS 24214 WITH SCORE 24241.749
AT ITER 4283 NEW BEST:: SOT 50496 SOS 27812 HAS SOPS 27812 HAS SOUS 24202 HAS SOUPS 24202 WITH SCORE 24229.812
AT ITER 4292 NEW BEST:: SOT 50496 SOS 27868 HAS SOPS 27868 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24228.868
AT ITER 4294 NEW BEST:: SOT 50496 SOS 27859 HAS SOPS 27859 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24228.859
AT ITER 4327 NEW BEST:: SOT 50490 SOS 27853 HAS SOPS 27853 HAS SOUS 24195 HAS SOUPS 24195 WITH SCORE 24222.853
AT ITER 4371 NEW BEST:: SOT 50477 SOS 27840 HAS SOPS 27840 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24209.84
AT ITER 4376 NEW BEST:: SOT 50495 SOS 27865 HAS SOPS 27865 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24203.865
AT ITER 4378 NEW BEST:: SOT 50495 SOS 27844 HAS SOPS 27844 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24203.844
AT ITER 4388 NEW BEST:: SOT 50495 SOS 27838 HAS SOPS 27838 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24203.838
AT ITER 4452 NEW BEST:: SOT 50495 SOS 27826 HAS SOPS 27826 HAS SOUS 24176 HAS SOUPS 24176 WITH SCORE 24203.826
AT ITER 4454 NEW BEST:: SOT 50491 SOS 27822 HAS SOPS 27822 HAS SOUS 24172 HAS SOUPS 24172 WITH SCORE 24199.822
AT ITER 4457 NEW BEST:: SOT 50474 SOS 28254 HAS SOPS 28254 HAS SOUS 24169 HAS SOUPS 24169 WITH SCORE 24197.254
AT ITER 4479 NEW BEST:: SOT 50468 SOS 28232 HAS SOPS 28232 HAS SOUS 24153 HAS SOUPS 24153 WITH SCORE 24181.232
AT ITER 4488 NEW BEST:: SOT 50316 SOS 28411 HAS SOPS 28411 HAS SOUS 24116 HAS SOUPS 24116 WITH SCORE 24144.411
AT ITER 4494 NEW BEST:: SOT 50316 SOS 28436 HAS SOPS 28436 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24130.436
AT ITER 4506 NEW BEST:: SOT 50316 SOS 28411 HAS SOPS 28411 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24130.411
AT ITER 4508 NEW BEST:: SOT 50301 SOS 28405 HAS SOPS 28405 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24130.405
AT ITER 4536 NEW BEST:: SOT 50270 SOS 28382 HAS SOPS 28382 HAS SOUS 24094 HAS SOUPS 24094 WITH SCORE 24122.382
AT ITER 4563 NEW BEST:: SOT 50254 SOS 28414 HAS SOPS 28414 HAS SOUS 24089 HAS SOUPS 24089 WITH SCORE 24117.414
AT ITER 4614 NEW BEST:: SOT 50237 SOS 28400 HAS SOPS 28400 HAS SOUS 24089 HAS SOUPS 24089 WITH SCORE 24117.4
AT ITER 4625 NEW BEST:: SOT 50237 SOS 28367 HAS SOPS 28367 HAS SOUS 24053 HAS SOUPS 24053 WITH SCORE 24081.367
AT ITER 4627 NEW BEST:: SOT 50228 SOS 28358 HAS SOPS 28358 HAS SOUS 24044 HAS SOUPS 24044 WITH SCORE 24072.358
AT ITER 4628 NEW BEST:: SOT 50223 SOS 28385 HAS SOPS 28385 HAS SOUS 24022 HAS SOUPS 24022 WITH SCORE 24050.385
AT ITER 4659 NEW BEST:: SOT 50192 SOS 28348 HAS SOPS 28348 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24030.348
AT ITER 4664 NEW BEST:: SOT 50192 SOS 28329 HAS SOPS 28329 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24030.329
AT ITER 4672 NEW BEST:: SOT 50192 SOS 28320 HAS SOPS 28320 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24030.32
AT ITER 4673 NEW BEST:: SOT 50192 SOS 28294 HAS SOPS 28294 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 23985.294
AT ITER 4697 NEW BEST:: SOT 50166 SOS 28268 HAS SOPS 28268 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23959.268
AT ITER 4701 NEW BEST:: SOT 50166 SOS 28187 HAS SOPS 28187 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23959.187
AT ITER 4714 NEW BEST:: SOT 50166 SOS 28179 HAS SOPS 28179 HAS SOUS 23931 HAS SOUPS 23931 WITH SCORE 23959.179
AT ITER 4723 NEW BEST:: SOT 50156 SOS 28169 HAS SOPS 28169 HAS SOUS 23921 HAS SOUPS 23921 WITH SCORE 23949.169
AT ITER 4725 NEW BEST:: SOT 50142 SOS 28122 HAS SOPS 28122 HAS SOUS 23874 HAS SOUPS 23874 WITH SCORE 23902.122
AT ITER 4734 NEW BEST:: SOT 50131 SOS 28111 HAS SOPS 28111 HAS SOUS 23873 HAS SOUPS 23873 WITH SCORE 23901.111
AT ITER 4790 NEW BEST:: SOT 50117 SOS 28097 HAS SOPS 28097 HAS SOUS 23859 HAS SOUPS 23859 WITH SCORE 23887.097
AT ITER 4796 NEW BEST:: SOT 50107 SOS 28125 HAS SOPS 28125 HAS SOUS 23858 HAS SOUPS 23858 WITH SCORE 23886.125
AT ITER 4798 NEW BEST:: SOT 50107 SOS 28113 HAS SOPS 28113 HAS SOUS 23858 HAS SOUPS 23858 WITH SCORE 23886.113
AT ITER 4802 NEW BEST:: SOT 50106 SOS 28104 HAS SOPS 28104 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23872.104
AT ITER 4821 NEW BEST:: SOT 50106 SOS 28095 HAS SOPS 28095 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23872.095
AT ITER 4828 NEW BEST:: SOT 50101 SOS 28090 HAS SOPS 28090 HAS SOUS 23839 HAS SOUPS 23839 WITH SCORE 23867.09
AT ITER 4863 NEW BEST:: SOT 50095 SOS 28084 HAS SOPS 28084 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23862.084
AT ITER 4867 NEW BEST:: SOT 50095 SOS 28125 HAS SOPS 28125 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23839.125
AT ITER 4902 NEW BEST:: SOT 50095 SOS 28123 HAS SOPS 28123 HAS SOUS 23811 HAS SOUPS 23811 WITH SCORE 23839.123
AT ITER 4963 NEW BEST:: SOT 50085 SOS 28113 HAS SOPS 28113 HAS SOUS 23801 HAS SOUPS 23801 WITH SCORE 23829.113
AT ITER 4981 NEW BEST:: SOT 50080 SOS 28109 HAS SOPS 28109 HAS SOUS 23798 HAS SOUPS 23798 WITH SCORE 23826.109
AT ITER 5016 NEW BEST:: SOT 50080 SOS 28098 HAS SOPS 28098 HAS SOUS 23798 HAS SOUPS 23798 WITH SCORE 23826.098
AT ITER 5021 NEW BEST:: SOT 50079 SOS 28097 HAS SOPS 28097 HAS SOUS 23794 HAS SOUPS 23794 WITH SCORE 23822.097
AT ITER 5035 NEW BEST:: SOT 50079 SOS 28090 HAS SOPS 28090 HAS SOUS 23794 HAS SOUPS 23794 WITH SCORE 23822.09
AT ITER 5078 NEW BEST:: SOT 50074 SOS 28077 HAS SOPS 28077 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23817.077
AT ITER 5084 NEW BEST:: SOT 50092 SOS 28112 HAS SOPS 28112 HAS SOUS 23767 HAS SOUPS 23767 WITH SCORE 23795.112
AT ITER 5085 NEW BEST:: SOT 50092 SOS 28112 HAS SOPS 28112 HAS SOUS 23763 HAS SOUPS 23763 WITH SCORE 23791.112
AT ITER 5098 NEW BEST:: SOT 50092 SOS 28109 HAS SOPS 28109 HAS SOUS 23763 HAS SOUPS 23763 WITH SCORE 23791.109
AT ITER 5123 NEW BEST:: SOT 50092 SOS 28085 HAS SOPS 28085 HAS SOUS 23763 HAS SOUPS 23763 WITH SCORE 23791.085
AT ITER 5134 NEW BEST:: SOT 50092 SOS 28080 HAS SOPS 28080 HAS SOUS 23763 HAS SOUPS 23763 WITH SCORE 23791.08
AT ITER 5196 NEW BEST:: SOT 50085 SOS 28073 HAS SOPS 28073 HAS SOUS 23708 HAS SOUPS 23708 WITH SCORE 23736.073
AT ITER 5210 NEW BEST:: SOT 50080 SOS 28088 HAS SOPS 28088 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23734.088
AT ITER 5215 NEW BEST:: SOT 50007 SOS 28240 HAS SOPS 28240 HAS SOUS 23669 HAS SOUPS 23669 WITH SCORE 23697.24
AT ITER 5221 NEW BEST:: SOT 49998 SOS 28231 HAS SOPS 28231 HAS SOUS 23660 HAS SOUPS 23660 WITH SCORE 23688.231
AT ITER 5238 NEW BEST:: SOT 49998 SOS 28266 HAS SOPS 28266 HAS SOUS 23655 HAS SOUPS 23655 WITH SCORE 23683.266
AT ITER 5246 NEW BEST:: SOT 49997 SOS 28265 HAS SOPS 28265 HAS SOUS 23654 HAS SOUPS 23654 WITH SCORE 23682.265
AT ITER 5250 NEW BEST:: SOT 49997 SOS 28264 HAS SOPS 28264 HAS SOUS 23649 HAS SOUPS 23649 WITH SCORE 23677.264
AT ITER 5256 NEW BEST:: SOT 49992 SOS 28283 HAS SOPS 28283 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23672.283
AT ITER 5263 NEW BEST:: SOT 49992 SOS 28276 HAS SOPS 28276 HAS SOUS 23644 HAS SOUPS 23644 WITH SCORE 23672.276
AT ITER 5277 NEW BEST:: SOT 49992 SOS 28272 HAS SOPS 28272 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23668.272
AT ITER 5282 NEW BEST:: SOT 49992 SOS 28271 HAS SOPS 28271 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23668.271
AT ITER 5292 NEW BEST:: SOT 49992 SOS 28263 HAS SOPS 28263 HAS SOUS 23640 HAS SOUPS 23640 WITH SCORE 23668.263
AT ITER 5307 NEW BEST:: SOT 49992 SOS 28258 HAS SOPS 28258 HAS SOUS 23624 HAS SOUPS 23624 WITH SCORE 23652.258
AT ITER 5357 NEW BEST:: SOT 49978 SOS 28242 HAS SOPS 28242 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23645.242
AT ITER 5359 NEW BEST:: SOT 49978 SOS 28230 HAS SOPS 28230 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23645.23
AT ITER 5374 NEW BEST:: SOT 49978 SOS 28357 HAS SOPS 28357 HAS SOUS 23614 HAS SOUPS 23614 WITH SCORE 23642.357
AT ITER 5395 NEW BEST:: SOT 49978 SOS 28300 HAS SOPS 28300 HAS SOUS 23614 HAS SOUPS 23614 WITH SCORE 23642.3
AT ITER 5439 NEW BEST:: SOT 49978 SOS 28300 HAS SOPS 28300 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23640.3
AT ITER 5444 NEW BEST:: SOT 49978 SOS 28271 HAS SOPS 28271 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23640.271
AT ITER 5455 NEW BEST:: SOT 49978 SOS 28264 HAS SOPS 28264 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23640.264
AT ITER 5459 NEW BEST:: SOT 49978 SOS 28263 HAS SOPS 28263 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23639.263
AT ITER 5462 NEW BEST:: SOT 49978 SOS 28243 HAS SOPS 28243 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23639.243
AT ITER 5464 NEW BEST:: SOT 49978 SOS 28214 HAS SOPS 28214 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23639.214
AT ITER 5472 NEW BEST:: SOT 49978 SOS 28292 HAS SOPS 28292 HAS SOUS 23610 HAS SOUPS 23610 WITH SCORE 23638.292
AT ITER 5492 NEW BEST:: SOT 49868 SOS 28601 HAS SOPS 28601 HAS SOUS 23504 HAS SOUPS 23504 WITH SCORE 23532.601
AT ITER 5501 NEW BEST:: SOT 49850 SOS 28601 HAS SOPS 28601 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23531.601
AT ITER 5508 NEW BEST:: SOT 49850 SOS 28593 HAS SOPS 28593 HAS SOUS 23503 HAS SOUPS 23503 WITH SCORE 23531.593
AT ITER 5523 NEW BEST:: SOT 49850 SOS 28589 HAS SOPS 28589 HAS SOUS 23499 HAS SOUPS 23499 WITH SCORE 23527.589
AT ITER 5533 NEW BEST:: SOT 49850 SOS 28526 HAS SOPS 28526 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23526.526
AT ITER 5535 NEW BEST:: SOT 49767 SOS 28493 HAS SOPS 28493 HAS SOUS 23464 HAS SOUPS 23464 WITH SCORE 23492.493
AT ITER 5544 NEW BEST:: SOT 49762 SOS 28488 HAS SOPS 28488 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23488.488
AT ITER 5546 NEW BEST:: SOT 49762 SOS 28469 HAS SOPS 28469 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23488.469
AT ITER 5558 NEW BEST:: SOT 49767 SOS 28444 HAS SOPS 28444 HAS SOUS 23455 HAS SOUPS 23455 WITH SCORE 23483.444
AT ITER 5559 NEW BEST:: SOT 49767 SOS 28440 HAS SOPS 28440 HAS SOUS 23455 HAS SOUPS 23455 WITH SCORE 23483.44
AT ITER 5582 NEW BEST:: SOT 49765 SOS 28486 HAS SOPS 28486 HAS SOUS 23453 HAS SOUPS 23453 WITH SCORE 23481.486
AT ITER 5585 NEW BEST:: SOT 49765 SOS 28470 HAS SOPS 28470 HAS SOUS 23453 HAS SOUPS 23453 WITH SCORE 23481.47
AT ITER 5596 NEW BEST:: SOT 49765 SOS 28437 HAS SOPS 28437 HAS SOUS 23453 HAS SOUPS 23453 WITH SCORE 23481.437
AT ITER 5597 NEW BEST:: SOT 49765 SOS 28429 HAS SOPS 28429 HAS SOUS 23445 HAS SOUPS 23445 WITH SCORE 23473.429
AT ITER 5602 NEW BEST:: SOT 49759 SOS 28420 HAS SOPS 28420 HAS SOUS 23436 HAS SOUPS 23436 WITH SCORE 23464.42
AT ITER 5619 NEW BEST:: SOT 49756 SOS 28444 HAS SOPS 28444 HAS SOUS 23425 HAS SOUPS 23425 WITH SCORE 23453.444
AT ITER 5627 NEW BEST:: SOT 49756 SOS 28429 HAS SOPS 28429 HAS SOUS 23423 HAS SOUPS 23423 WITH SCORE 23451.429
AT ITER 5631 NEW BEST:: SOT 49782 SOS 28461 HAS SOPS 28461 HAS SOUS 23387 HAS SOUPS 23387 WITH SCORE 23415.461
AT ITER 5636 NEW BEST:: SOT 49766 SOS 28445 HAS SOPS 28445 HAS SOUS 23386 HAS SOUPS 23386 WITH SCORE 23414.445
AT ITER 5638 NEW BEST:: SOT 49762 SOS 28457 HAS SOPS 28457 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23410.457
AT ITER 5654 NEW BEST:: SOT 49753 SOS 28516 HAS SOPS 28516 HAS SOUS 23373 HAS SOUPS 23373 WITH SCORE 23401.516
AT ITER 5658 NEW BEST:: SOT 49735 SOS 28498 HAS SOPS 28498 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23383.498
AT ITER 5679 NEW BEST:: SOT 49735 SOS 28417 HAS SOPS 28417 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23383.417
AT ITER 5717 NEW BEST:: SOT 49735 SOS 28409 HAS SOPS 28409 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23383.409
AT ITER 5721 NEW BEST:: SOT 49735 SOS 28178 HAS SOPS 28178 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23383.178
AT ITER 5755 NEW BEST:: SOT 49735 SOS 28149 HAS SOPS 28149 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23383.149
AT ITER 5765 NEW BEST:: SOT 49735 SOS 28105 HAS SOPS 28105 HAS SOUS 23355 HAS SOUPS 23355 WITH SCORE 23383.105
AT ITER 5844 NEW BEST:: SOT 49596 SOS 28482 HAS SOPS 28482 HAS SOUS 23273 HAS SOUPS 23273 WITH SCORE 23301.482
AT ITER 5872 NEW BEST:: SOT 49582 SOS 28440 HAS SOPS 28440 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23291.44
AT ITER 5880 NEW BEST:: SOT 49582 SOS 28433 HAS SOPS 28433 HAS SOUS 23263 HAS SOUPS 23263 WITH SCORE 23291.433
AT ITER 5885 NEW BEST:: SOT 49582 SOS 28432 HAS SOPS 28432 HAS SOUS 23261 HAS SOUPS 23261 WITH SCORE 23289.432
AT ITER 5900 NEW BEST:: SOT 49582 SOS 28432 HAS SOPS 28432 HAS SOUS 23250 HAS SOUPS 23250 WITH SCORE 23278.432
AT ITER 5908 NEW BEST:: SOT 49445 SOS 28616 HAS SOPS 28616 HAS SOUS 23195 HAS SOUPS 23195 WITH SCORE 23223.616
AT ITER 5914 NEW BEST:: SOT 49443 SOS 28614 HAS SOPS 28614 HAS SOUS 23193 HAS SOUPS 23193 WITH SCORE 23221.614
AT ITER 5935 NEW BEST:: SOT 49365 SOS 28874 HAS SOPS 28874 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23211.874
AT ITER 5973 NEW BEST:: SOT 49365 SOS 28897 HAS SOPS 28897 HAS SOUS 23174 HAS SOUPS 23174 WITH SCORE 23202.897
AT ITER 5980 NEW BEST:: SOT 49339 SOS 28871 HAS SOPS 28871 HAS SOUS 23153 HAS SOUPS 23153 WITH SCORE 23181.871
AT ITER 6010 NEW BEST:: SOT 49337 SOS 28869 HAS SOPS 28869 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23179.869
AT ITER 6017 NEW BEST:: SOT 49314 SOS 28857 HAS SOPS 28857 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23163.857
AT ITER 6034 NEW BEST:: SOT 49310 SOS 28908 HAS SOPS 28908 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23159.908
AT ITER 6036 NEW BEST:: SOT 49255 SOS 28853 HAS SOPS 28853 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23142.853
AT ITER 6040 NEW BEST:: SOT 49255 SOS 28835 HAS SOPS 28835 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23142.835
AT ITER 6058 NEW BEST:: SOT 49255 SOS 28828 HAS SOPS 28828 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23142.828
AT ITER 6069 NEW BEST:: SOT 49255 SOS 28785 HAS SOPS 28785 HAS SOUS 23071 HAS SOUPS 23071 WITH SCORE 23099.785
AT ITER 6070 NEW BEST:: SOT 49255 SOS 28789 HAS SOPS 28789 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23083.789
AT ITER 6078 NEW BEST:: SOT 49248 SOS 28782 HAS SOPS 28782 HAS SOUS 23048 HAS SOUPS 23048 WITH SCORE 23076.782
AT ITER 6083 NEW BEST:: SOT 49245 SOS 28770 HAS SOPS 28770 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23046.77
AT ITER 6089 NEW BEST:: SOT 49231 SOS 28733 HAS SOPS 28733 HAS SOUS 22981 HAS SOUPS 22981 WITH SCORE 23009.733
AT ITER 6090 NEW BEST:: SOT 49229 SOS 28731 HAS SOPS 28731 HAS SOUS 22979 HAS SOUPS 22979 WITH SCORE 23007.731
AT ITER 6093 NEW BEST:: SOT 49229 SOS 28699 HAS SOPS 28699 HAS SOUS 22979 HAS SOUPS 22979 WITH SCORE 23007.699
AT ITER 6122 NEW BEST:: SOT 49229 SOS 28686 HAS SOPS 28686 HAS SOUS 22979 HAS SOUPS 22979 WITH SCORE 23007.686
AT ITER 6127 NEW BEST:: SOT 49227 SOS 28684 HAS SOPS 28684 HAS SOUS 22977 HAS SOUPS 22977 WITH SCORE 23005.684
AT ITER 6143 NEW BEST:: SOT 49190 SOS 28647 HAS SOPS 28647 HAS SOUS 22940 HAS SOUPS 22940 WITH SCORE 22968.647
AT ITER 6193 NEW BEST:: SOT 49190 SOS 28630 HAS SOPS 28630 HAS SOUS 22924 HAS SOUPS 22924 WITH SCORE 22952.63
AT ITER 6209 NEW BEST:: SOT 49176 SOS 28651 HAS SOPS 28651 HAS SOUS 22921 HAS SOUPS 22921 WITH SCORE 22949.651
AT ITER 6225 NEW BEST:: SOT 49182 SOS 28657 HAS SOPS 28657 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22945.657
AT ITER 6234 NEW BEST:: SOT 49173 SOS 28651 HAS SOPS 28651 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22944.651
AT ITER 6241 NEW BEST:: SOT 49173 SOS 28683 HAS SOPS 28683 HAS SOUS 22908 HAS SOUPS 22908 WITH SCORE 22936.683
AT ITER 6292 NEW BEST:: SOT 49076 SOS 28627 HAS SOPS 28627 HAS SOUS 22874 HAS SOUPS 22874 WITH SCORE 22902.627
AT ITER 6301 NEW BEST:: SOT 49076 SOS 28627 HAS SOPS 28627 HAS SOUS 22859 HAS SOUPS 22859 WITH SCORE 22887.627
AT ITER 6306 NEW BEST:: SOT 49076 SOS 28613 HAS SOPS 28613 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22885.613
AT ITER 6340 NEW BEST:: SOT 49076 SOS 28576 HAS SOPS 28576 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22885.576
AT ITER 6343 NEW BEST:: SOT 49076 SOS 28559 HAS SOPS 28559 HAS SOUS 22842 HAS SOUPS 22842 WITH SCORE 22870.559
AT ITER 6363 NEW BEST:: SOT 49073 SOS 28556 HAS SOPS 28556 HAS SOUS 22839 HAS SOUPS 22839 WITH SCORE 22867.556
AT ITER 6385 NEW BEST:: SOT 49073 SOS 28556 HAS SOPS 28556 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22856.556
AT ITER 6440 NEW BEST:: SOT 49073 SOS 28542 HAS SOPS 28542 HAS SOUS 22805 HAS SOUPS 22805 WITH SCORE 22833.542
AT ITER 6443 NEW BEST:: SOT 49065 SOS 28534 HAS SOPS 28534 HAS SOUS 22800 HAS SOUPS 22800 WITH SCORE 22828.534
AT ITER 6465 NEW BEST:: SOT 49046 SOS 28560 HAS SOPS 28560 HAS SOUS 22773 HAS SOUPS 22773 WITH SCORE 22801.56
AT ITER 6491 NEW BEST:: SOT 49046 SOS 28560 HAS SOPS 28560 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22785.56
AT ITER 6521 NEW BEST:: SOT 49046 SOS 28540 HAS SOPS 28540 HAS SOUS 22747 HAS SOUPS 22747 WITH SCORE 22775.54
AT ITER 6562 NEW BEST:: SOT 49046 SOS 28528 HAS SOPS 28528 HAS SOUS 22747 HAS SOUPS 22747 WITH SCORE 22775.528
AT ITER 6582 NEW BEST:: SOT 49046 SOS 28511 HAS SOPS 28511 HAS SOUS 22747 HAS SOUPS 22747 WITH SCORE 22775.511
AT ITER 6629 NEW BEST:: SOT 49046 SOS 28511 HAS SOPS 28511 HAS SOUS 22737 HAS SOUPS 22737 WITH SCORE 22765.511
AT ITER 6703 NEW BEST:: SOT 49046 SOS 28485 HAS SOPS 28485 HAS SOUS 22736 HAS SOUPS 22736 WITH SCORE 22764.485
AT ITER 6709 NEW BEST:: SOT 49046 SOS 28481 HAS SOPS 28481 HAS SOUS 22732 HAS SOUPS 22732 WITH SCORE 22760.481
AT ITER 6749 NEW BEST:: SOT 49004 SOS 28457 HAS SOPS 28457 HAS SOUS 22722 HAS SOUPS 22722 WITH SCORE 22750.457
AT ITER 6760 NEW BEST:: SOT 48995 SOS 28450 HAS SOPS 28450 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22748.45
AT ITER 6789 NEW BEST:: SOT 48956 SOS 28407 HAS SOPS 28407 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22722.407
AT ITER 6795 NEW BEST:: SOT 48956 SOS 28398 HAS SOPS 28398 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22719.398
AT ITER 6800 NEW BEST:: SOT 48956 SOS 28377 HAS SOPS 28377 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22719.377
AT ITER 6816 NEW BEST:: SOT 48955 SOS 28376 HAS SOPS 28376 HAS SOUS 22690 HAS SOUPS 22690 WITH SCORE 22718.376
AT ITER 6821 NEW BEST:: SOT 48916 SOS 28622 HAS SOPS 28622 HAS SOUS 22669 HAS SOUPS 22669 WITH SCORE 22697.622
AT ITER 6876 NEW BEST:: SOT 48913 SOS 28619 HAS SOPS 28619 HAS SOUS 22666 HAS SOUPS 22666 WITH SCORE 22694.619
AT ITER 6912 NEW BEST:: SOT 48870 SOS 28714 HAS SOPS 28714 HAS SOUS 22643 HAS SOUPS 22643 WITH SCORE 22671.714
AT ITER 6943 NEW BEST:: SOT 48858 SOS 28744 HAS SOPS 28744 HAS SOUS 22635 HAS SOUPS 22635 WITH SCORE 22663.744
AT ITER 7028 NEW BEST:: SOT 48813 SOS 28788 HAS SOPS 28788 HAS SOUS 22634 HAS SOUPS 22634 WITH SCORE 22662.788
AT ITER 7072 NEW BEST:: SOT 48813 SOS 28788 HAS SOPS 28788 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22653.788
AT ITER 7091 NEW BEST:: SOT 48813 SOS 28757 HAS SOPS 28757 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22653.757
AT ITER 7173 NEW BEST:: SOT 48813 SOS 28750 HAS SOPS 28750 HAS SOUS 22621 HAS SOUPS 22621 WITH SCORE 22649.75
AT ITER 7191 NEW BEST:: SOT 48813 SOS 28808 HAS SOPS 28808 HAS SOUS 22610 HAS SOUPS 22610 WITH SCORE 22638.808
AT ITER 7204 NEW BEST:: SOT 48713 SOS 28759 HAS SOPS 28759 HAS SOUS 22596 HAS SOUPS 22596 WITH SCORE 22624.759
AT ITER 7222 NEW BEST:: SOT 48587 SOS 28711 HAS SOPS 28711 HAS SOUS 22576 HAS SOUPS 22576 WITH SCORE 22604.711
AT ITER 7246 NEW BEST:: SOT 48587 SOS 28737 HAS SOPS 28737 HAS SOUS 22574 HAS SOUPS 22574 WITH SCORE 22602.737
AT ITER 7273 NEW BEST:: SOT 48583 SOS 28733 HAS SOPS 28733 HAS SOUS 22568 HAS SOUPS 22568 WITH SCORE 22596.733
AT ITER 7293 NEW BEST:: SOT 48583 SOS 28743 HAS SOPS 28743 HAS SOUS 22546 HAS SOUPS 22546 WITH SCORE 22574.743
AT ITER 7314 NEW BEST:: SOT 48583 SOS 28724 HAS SOPS 28724 HAS SOUS 22546 HAS SOUPS 22546 WITH SCORE 22574.724
AT ITER 7328 NEW BEST:: SOT 48527 SOS 28668 HAS SOPS 28668 HAS SOUS 22537 HAS SOUPS 22537 WITH SCORE 22565.668
AT ITER 7342 NEW BEST:: SOT 48516 SOS 28741 HAS SOPS 28741 HAS SOUS 22531 HAS SOUPS 22531 WITH SCORE 22559.741
AT ITER 7347 NEW BEST:: SOT 48516 SOS 28737 HAS SOPS 28737 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22550.737
AT ITER 7350 NEW BEST:: SOT 48508 SOS 28729 HAS SOPS 28729 HAS SOUS 22514 HAS SOUPS 22514 WITH SCORE 22542.729
AT ITER 7358 NEW BEST:: SOT 48521 SOS 28631 HAS SOPS 28631 HAS SOUS 22513 HAS SOUPS 22513 WITH SCORE 22541.631
AT ITER 7373 NEW BEST:: SOT 48521 SOS 28631 HAS SOPS 28631 HAS SOUS 22510 HAS SOUPS 22510 WITH SCORE 22538.631
AT ITER 7382 NEW BEST:: SOT 48517 SOS 28627 HAS SOPS 28627 HAS SOUS 22506 HAS SOUPS 22506 WITH SCORE 22534.627
AT ITER 7406 NEW BEST:: SOT 48517 SOS 28633 HAS SOPS 28633 HAS SOUS 22499 HAS SOUPS 22499 WITH SCORE 22527.633
AT ITER 7407 NEW BEST:: SOT 48517 SOS 28633 HAS SOPS 28633 HAS SOUS 22492 HAS SOUPS 22492 WITH SCORE 22520.633
AT ITER 7415 NEW BEST:: SOT 48517 SOS 28642 HAS SOPS 28642 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22488.642
AT ITER 7423 NEW BEST:: SOT 48482 SOS 28637 HAS SOPS 28637 HAS SOUS 22441 HAS SOUPS 22441 WITH SCORE 22469.637
AT ITER 7445 NEW BEST:: SOT 48468 SOS 28623 HAS SOPS 28623 HAS SOUS 22441 HAS SOUPS 22441 WITH SCORE 22469.623
AT ITER 7456 NEW BEST:: SOT 48458 SOS 28613 HAS SOPS 28613 HAS SOUS 22415 HAS SOUPS 22415 WITH SCORE 22443.613
AT ITER 7474 NEW BEST:: SOT 48361 SOS 28719 HAS SOPS 28719 HAS SOUS 22333 HAS SOUPS 22333 WITH SCORE 22361.719
AT ITER 7487 NEW BEST:: SOT 48330 SOS 28688 HAS SOPS 28688 HAS SOUS 22275 HAS SOUPS 22275 WITH SCORE 22303.688
AT ITER 7495 NEW BEST:: SOT 48328 SOS 28686 HAS SOPS 28686 HAS SOUS 22273 HAS SOUPS 22273 WITH SCORE 22301.686
AT ITER 7502 NEW BEST:: SOT 48328 SOS 28684 HAS SOPS 28684 HAS SOUS 22271 HAS SOUPS 22271 WITH SCORE 22299.684
AT ITER 7506 NEW BEST:: SOT 48317 SOS 28673 HAS SOPS 28673 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22295.673
AT ITER 7509 NEW BEST:: SOT 48317 SOS 28655 HAS SOPS 28655 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22295.655
AT ITER 7512 NEW BEST:: SOT 48251 SOS 28829 HAS SOPS 28829 HAS SOUS 22244 HAS SOUPS 22244 WITH SCORE 22272.829
AT ITER 7540 NEW BEST:: SOT 48236 SOS 29194 HAS SOPS 29194 HAS SOUS 22229 HAS SOUPS 22229 WITH SCORE 22258.194
AT ITER 7542 NEW BEST:: SOT 48275 SOS 29232 HAS SOPS 29232 HAS SOUS 22223 HAS SOUPS 22223 WITH SCORE 22252.232
AT ITER 7564 NEW BEST:: SOT 48275 SOS 29232 HAS SOPS 29232 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22237.232
AT ITER 7581 NEW BEST:: SOT 48211 SOS 29201 HAS SOPS 29201 HAS SOUS 22197 HAS SOUPS 22197 WITH SCORE 22226.201
AT ITER 7587 NEW BEST:: SOT 48210 SOS 29297 HAS SOPS 29297 HAS SOUS 22196 HAS SOUPS 22196 WITH SCORE 22225.297
AT ITER 7607 NEW BEST:: SOT 48190 SOS 29227 HAS SOPS 29227 HAS SOUS 22156 HAS SOUPS 22156 WITH SCORE 22185.227
AT ITER 7608 NEW BEST:: SOT 48190 SOS 29219 HAS SOPS 29219 HAS SOUS 22148 HAS SOUPS 22148 WITH SCORE 22177.219
AT ITER 7615 NEW BEST:: SOT 48190 SOS 29208 HAS SOPS 29208 HAS SOUS 22147 HAS SOUPS 22147 WITH SCORE 22176.208
AT ITER 7620 NEW BEST:: SOT 48190 SOS 29208 HAS SOPS 29208 HAS SOUS 22139 HAS SOUPS 22139 WITH SCORE 22168.208
AT ITER 7677 NEW BEST:: SOT 48199 SOS 29217 HAS SOPS 29217 HAS SOUS 22132 HAS SOUPS 22132 WITH SCORE 22161.217
AT ITER 7687 NEW BEST:: SOT 48199 SOS 29201 HAS SOPS 29201 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22148.201
AT ITER 7708 NEW BEST:: SOT 48199 SOS 29188 HAS SOPS 29188 HAS SOUS 22119 HAS SOUPS 22119 WITH SCORE 22148.188
AT ITER 7730 NEW BEST:: SOT 48213 SOS 29238 HAS SOPS 29238 HAS SOUS 22118 HAS SOUPS 22118 WITH SCORE 22147.238
AT ITER 7743 NEW BEST:: SOT 48213 SOS 29227 HAS SOPS 29227 HAS SOUS 22118 HAS SOUPS 22118 WITH SCORE 22147.227
AT ITER 7749 NEW BEST:: SOT 48157 SOS 29168 HAS SOPS 29168 HAS SOUS 22100 HAS SOUPS 22100 WITH SCORE 22129.168
AT ITER 7757 NEW BEST:: SOT 48151 SOS 29162 HAS SOPS 29162 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22123.162
AT ITER 7774 NEW BEST:: SOT 48151 SOS 29161 HAS SOPS 29161 HAS SOUS 22094 HAS SOUPS 22094 WITH SCORE 22123.161
AT ITER 7787 NEW BEST:: SOT 48151 SOS 29168 HAS SOPS 29168 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22117.168
AT ITER 7794 NEW BEST:: SOT 48151 SOS 29167 HAS SOPS 29167 HAS SOUS 22088 HAS SOUPS 22088 WITH SCORE 22117.167
AT ITER 7825 NEW BEST:: SOT 48151 SOS 29167 HAS SOPS 29167 HAS SOUS 22086 HAS SOUPS 22086 WITH SCORE 22115.167
AT ITER 7830 NEW BEST:: SOT 48134 SOS 29150 HAS SOPS 29150 HAS SOUS 22069 HAS SOUPS 22069 WITH SCORE 22098.15
AT ITER 7832 NEW BEST:: SOT 48130 SOS 29146 HAS SOPS 29146 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22094.146
AT ITER 7837 NEW BEST:: SOT 48130 SOS 29117 HAS SOPS 29117 HAS SOUS 22065 HAS SOUPS 22065 WITH SCORE 22094.117
AT ITER 7852 NEW BEST:: SOT 48120 SOS 29107 HAS SOPS 29107 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22084.107
AT ITER 7856 NEW BEST:: SOT 48120 SOS 29095 HAS SOPS 29095 HAS SOUS 22055 HAS SOUPS 22055 WITH SCORE 22084.095
AT ITER 7867 NEW BEST:: SOT 48103 SOS 29081 HAS SOPS 29081 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22069.081
AT ITER 7871 NEW BEST:: SOT 48103 SOS 29085 HAS SOPS 29085 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22056.085
AT ITER 7875 NEW BEST:: SOT 48103 SOS 29081 HAS SOPS 29081 HAS SOUS 22027 HAS SOUPS 22027 WITH SCORE 22056.081
AT ITER 7889 NEW BEST:: SOT 48103 SOS 29068 HAS SOPS 29068 HAS SOUS 22026 HAS SOUPS 22026 WITH SCORE 22055.068
AT ITER 7983 NEW BEST:: SOT 48103 SOS 29054 HAS SOPS 29054 HAS SOUS 22026 HAS SOUPS 22026 WITH SCORE 22055.054
AT ITER 7998 NEW BEST:: SOT 48112 SOS 29063 HAS SOPS 29063 HAS SOUS 22021 HAS SOUPS 22021 WITH SCORE 22050.063
AT ITER 8004 NEW BEST:: SOT 48112 SOS 29063 HAS SOPS 29063 HAS SOUS 22016 HAS SOUPS 22016 WITH SCORE 22045.063
AT ITER 8087 NEW BEST:: SOT 48108 SOS 29059 HAS SOPS 29059 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22041.059
AT ITER 8091 NEW BEST:: SOT 48108 SOS 29052 HAS SOPS 29052 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22041.052
AT ITER 8093 NEW BEST:: SOT 48108 SOS 29031 HAS SOPS 29031 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22041.031
AT ITER 8115 NEW BEST:: SOT 48108 SOS 29013 HAS SOPS 29013 HAS SOUS 22012 HAS SOUPS 22012 WITH SCORE 22041.013
AT ITER 8165 NEW BEST:: SOT 48104 SOS 29009 HAS SOPS 29009 HAS SOUS 22008 HAS SOUPS 22008 WITH SCORE 22037.009
AT ITER 8195 NEW BEST:: SOT 48104 SOS 29005 HAS SOPS 29005 HAS SOUS 22005 HAS SOUPS 22005 WITH SCORE 22034.005
AT ITER 8242 NEW BEST:: SOT 48104 SOS 29001 HAS SOPS 29001 HAS SOUS 21999 HAS SOUPS 21999 WITH SCORE 22028.001
AT ITER 8278 NEW BEST:: SOT 48109 SOS 29006 HAS SOPS 29006 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22026.006
AT ITER 8282 NEW BEST:: SOT 48106 SOS 29003 HAS SOPS 29003 HAS SOUS 21994 HAS SOUPS 21994 WITH SCORE 22023.003
AT ITER 8302 NEW BEST:: SOT 48106 SOS 28997 HAS SOPS 28997 HAS SOUS 21989 HAS SOUPS 21989 WITH SCORE 22017.997
AT ITER 8331 NEW BEST:: SOT 48106 SOS 29013 HAS SOPS 29013 HAS SOUS 21985 HAS SOUPS 21985 WITH SCORE 22014.013
AT ITER 8333 NEW BEST:: SOT 48036 SOS 29327 HAS SOPS 29327 HAS SOUS 21977 HAS SOUPS 21977 WITH SCORE 22006.327
AT ITER 8340 NEW BEST:: SOT 48036 SOS 29327 HAS SOPS 29327 HAS SOUS 21972 HAS SOUPS 21972 WITH SCORE 22001.327
AT ITER 8356 NEW BEST:: SOT 48036 SOS 29354 HAS SOPS 29354 HAS SOUS 21968 HAS SOUPS 21968 WITH SCORE 21997.354
AT ITER 8375 NEW BEST:: SOT 48036 SOS 29354 HAS SOPS 29354 HAS SOUS 21965 HAS SOUPS 21965 WITH SCORE 21994.354
AT ITER 8380 NEW BEST:: SOT 48020 SOS 29338 HAS SOPS 29338 HAS SOUS 21957 HAS SOUPS 21957 WITH SCORE 21986.338
AT ITER 8436 NEW BEST:: SOT 48020 SOS 29334 HAS SOPS 29334 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 21982.334
AT ITER 8538 NEW BEST:: SOT 48009 SOS 29413 HAS SOPS 29413 HAS SOUS 21942 HAS SOUPS 21942 WITH SCORE 21971.413
AT ITER 8574 NEW BEST:: SOT 48009 SOS 29395 HAS SOPS 29395 HAS SOUS 21933 HAS SOUPS 21933 WITH SCORE 21962.395
AT ITER 8587 NEW BEST:: SOT 48009 SOS 29395 HAS SOPS 29395 HAS SOUS 21927 HAS SOUPS 21927 WITH SCORE 21956.395
AT ITER 8599 NEW BEST:: SOT 47999 SOS 29385 HAS SOPS 29385 HAS SOUS 21912 HAS SOUPS 21912 WITH SCORE 21941.385
AT ITER 8605 NEW BEST:: SOT 47940 SOS 30173 HAS SOPS 30173 HAS SOUS 21910 HAS SOUPS 21910 WITH SCORE 21940.173
AT ITER 8680 NEW BEST:: SOT 47940 SOS 30171 HAS SOPS 30171 HAS SOUS 21910 HAS SOUPS 21910 WITH SCORE 21940.171
AT ITER 8685 NEW BEST:: SOT 47942 SOS 30173 HAS SOPS 30173 HAS SOUS 21907 HAS SOUPS 21907 WITH SCORE 21937.173
AT ITER 8688 NEW BEST:: SOT 47933 SOS 30164 HAS SOPS 30164 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21928.164
AT ITER 8714 NEW BEST:: SOT 47925 SOS 30138 HAS SOPS 30138 HAS SOUS 21891 HAS SOUPS 21891 WITH SCORE 21921.138
AT ITER 8715 NEW BEST:: SOT 47925 SOS 30104 HAS SOPS 30104 HAS SOUS 21891 HAS SOUPS 21891 WITH SCORE 21921.104
AT ITER 8718 NEW BEST:: SOT 47925 SOS 30101 HAS SOPS 30101 HAS SOUS 21877 HAS SOUPS 21877 WITH SCORE 21907.101
AT ITER 8753 NEW BEST:: SOT 47925 SOS 30145 HAS SOPS 30145 HAS SOUS 21822 HAS SOUPS 21822 WITH SCORE 21852.145
AT ITER 8777 NEW BEST:: SOT 47925 SOS 30113 HAS SOPS 30113 HAS SOUS 21812 HAS SOUPS 21812 WITH SCORE 21842.113
AT ITER 8789 NEW BEST:: SOT 47925 SOS 30113 HAS SOPS 30113 HAS SOUS 21811 HAS SOUPS 21811 WITH SCORE 21841.113
AT ITER 8810 NEW BEST:: SOT 47925 SOS 30103 HAS SOPS 30103 HAS SOUS 21811 HAS SOUPS 21811 WITH SCORE 21841.103
AT ITER 8811 NEW BEST:: SOT 47925 SOS 30087 HAS SOPS 30087 HAS SOUS 21811 HAS SOUPS 21811 WITH SCORE 21841.087
AT ITER 8840 NEW BEST:: SOT 47925 SOS 30063 HAS SOPS 30063 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21832.063
AT ITER 8860 NEW BEST:: SOT 47925 SOS 30054 HAS SOPS 30054 HAS SOUS 21802 HAS SOUPS 21802 WITH SCORE 21832.054
AT ITER 8905 NEW BEST:: SOT 47923 SOS 30052 HAS SOPS 30052 HAS SOUS 21800 HAS SOUPS 21800 WITH SCORE 21830.052
AT ITER 8920 NEW BEST:: SOT 47923 SOS 30052 HAS SOPS 30052 HAS SOUS 21799 HAS SOUPS 21799 WITH SCORE 21829.052
AT ITER 8954 NEW BEST:: SOT 47922 SOS 30051 HAS SOPS 30051 HAS SOUS 21798 HAS SOUPS 21798 WITH SCORE 21828.051
AT ITER 8990 NEW BEST:: SOT 47922 SOS 30052 HAS SOPS 30052 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21811.052
AT ITER 9032 NEW BEST:: SOT 47918 SOS 30067 HAS SOPS 30067 HAS SOUS 21777 HAS SOUPS 21777 WITH SCORE 21807.067
AT ITER 9042 NEW BEST:: SOT 47918 SOS 30067 HAS SOPS 30067 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21792.067
AT ITER 9048 NEW BEST:: SOT 47918 SOS 30046 HAS SOPS 30046 HAS SOUS 21762 HAS SOUPS 21762 WITH SCORE 21792.046
AT ITER 9080 NEW BEST:: SOT 47903 SOS 30031 HAS SOPS 30031 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21791.031
AT ITER 9082 NEW BEST:: SOT 47903 SOS 30026 HAS SOPS 30026 HAS SOUS 21761 HAS SOUPS 21761 WITH SCORE 21791.026
AT ITER 9086 NEW BEST:: SOT 47850 SOS 30117 HAS SOPS 30117 HAS SOUS 21717 HAS SOUPS 21717 WITH SCORE 21747.117
AT ITER 9099 NEW BEST:: SOT 47803 SOS 30080 HAS SOPS 30080 HAS SOUS 21676 HAS SOUPS 21676 WITH SCORE 21706.08
AT ITER 9104 NEW BEST:: SOT 47826 SOS 30103 HAS SOPS 30103 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21703.103
AT ITER 9108 NEW BEST:: SOT 47826 SOS 30061 HAS SOPS 30061 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21703.061
AT ITER 9118 NEW BEST:: SOT 47748 SOS 29983 HAS SOPS 29983 HAS SOUS 21667 HAS SOUPS 21667 WITH SCORE 21696.983
AT ITER 9135 NEW BEST:: SOT 47748 SOS 30003 HAS SOPS 30003 HAS SOUS 21666 HAS SOUPS 21666 WITH SCORE 21696.003
AT ITER 9145 NEW BEST:: SOT 47743 SOS 30030 HAS SOPS 30030 HAS SOUS 21661 HAS SOUPS 21661 WITH SCORE 21691.03
AT ITER 9166 NEW BEST:: SOT 47732 SOS 30019 HAS SOPS 30019 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21680.019
AT ITER 9172 NEW BEST:: SOT 47732 SOS 30011 HAS SOPS 30011 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21680.011
AT ITER 9185 NEW BEST:: SOT 47714 SOS 29993 HAS SOPS 29993 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21661.993
AT ITER 9191 NEW BEST:: SOT 47714 SOS 29993 HAS SOPS 29993 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21658.993
AT ITER 9195 NEW BEST:: SOT 47714 SOS 29985 HAS SOPS 29985 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21658.985
AT ITER 9199 NEW BEST:: SOT 47704 SOS 29975 HAS SOPS 29975 HAS SOUS 21619 HAS SOUPS 21619 WITH SCORE 21648.975
AT ITER 9238 NEW BEST:: SOT 47704 SOS 29973 HAS SOPS 29973 HAS SOUS 21619 HAS SOUPS 21619 WITH SCORE 21648.973
AT ITER 9270 NEW BEST:: SOT 47688 SOS 29962 HAS SOPS 29962 HAS SOUS 21610 HAS SOUPS 21610 WITH SCORE 21639.962
AT ITER 9272 NEW BEST:: SOT 47688 SOS 29955 HAS SOPS 29955 HAS SOUS 21582 HAS SOUPS 21582 WITH SCORE 21611.955
AT ITER 9359 NEW BEST:: SOT 47688 SOS 29953 HAS SOPS 29953 HAS SOUS 21582 HAS SOUPS 21582 WITH SCORE 21611.953
AT ITER 9410 NEW BEST:: SOT 47688 SOS 29950 HAS SOPS 29950 HAS SOUS 21582 HAS SOUPS 21582 WITH SCORE 21611.95
AT ITER 9436 NEW BEST:: SOT 47688 SOS 29950 HAS SOPS 29950 HAS SOUS 21581 HAS SOUPS 21581 WITH SCORE 21610.95
AT ITER 9444 NEW BEST:: SOT 47674 SOS 29935 HAS SOPS 29935 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21586.935
AT ITER 9457 NEW BEST:: SOT 47674 SOS 29925 HAS SOPS 29925 HAS SOUS 21557 HAS SOUPS 21557 WITH SCORE 21586.925
AT ITER 9476 NEW BEST:: SOT 47674 SOS 29925 HAS SOPS 29925 HAS SOUS 21554 HAS SOUPS 21554 WITH SCORE 21583.925
AT ITER 9522 NEW BEST:: SOT 47674 SOS 29925 HAS SOPS 29925 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21566.925
AT ITER 9542 NEW BEST:: SOT 47670 SOS 29921 HAS SOPS 29921 HAS SOUS 21527 HAS SOUPS 21527 WITH SCORE 21556.921
AT ITER 9568 NEW BEST:: SOT 47665 SOS 29916 HAS SOPS 29916 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21551.916
AT ITER 9571 NEW BEST:: SOT 47664 SOS 29915 HAS SOPS 29915 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21548.915
AT ITER 9572 NEW BEST:: SOT 47664 SOS 29911 HAS SOPS 29911 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21548.911
AT ITER 9583 NEW BEST:: SOT 47664 SOS 29886 HAS SOPS 29886 HAS SOUS 21519 HAS SOUPS 21519 WITH SCORE 21548.886
AT ITER 9657 NEW BEST:: SOT 47664 SOS 29886 HAS SOPS 29886 HAS SOUS 21518 HAS SOUPS 21518 WITH SCORE 21547.886
AT ITER 9692 NEW BEST:: SOT 47664 SOS 29879 HAS SOPS 29879 HAS SOUS 21518 HAS SOUPS 21518 WITH SCORE 21547.879
AT ITER 9710 NEW BEST:: SOT 47661 SOS 29876 HAS SOPS 29876 HAS SOUS 21515 HAS SOUPS 21515 WITH SCORE 21544.876
AT ITER 9711 NEW BEST:: SOT 47659 SOS 29874 HAS SOPS 29874 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21542.874
AT ITER 9715 NEW BEST:: SOT 47659 SOS 29869 HAS SOPS 29869 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21542.869
AT ITER 9765 NEW BEST:: SOT 47659 SOS 29448 HAS SOPS 29448 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21542.448
AT ITER 9788 NEW BEST:: SOT 47659 SOS 29439 HAS SOPS 29439 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21542.439
AT ITER 9797 NEW BEST:: SOT 47651 SOS 29431 HAS SOPS 29431 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21542.431
AT ITER 9810 NEW BEST:: SOT 47571 SOS 29351 HAS SOPS 29351 HAS SOUS 21486 HAS SOUPS 21486 WITH SCORE 21515.351
AT ITER 9816 NEW BEST:: SOT 47578 SOS 29354 HAS SOPS 29354 HAS SOUS 21483 HAS SOUPS 21483 WITH SCORE 21512.354
AT ITER 9829 NEW BEST:: SOT 47578 SOS 29349 HAS SOPS 29349 HAS SOUS 21483 HAS SOUPS 21483 WITH SCORE 21512.349
AT ITER 9849 NEW BEST:: SOT 47554 SOS 29325 HAS SOPS 29325 HAS SOUS 21429 HAS SOUPS 21429 WITH SCORE 21458.325
AT ITER 9851 NEW BEST:: SOT 47542 SOS 29313 HAS SOPS 29313 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21435.313
AT ITER 9893 NEW BEST:: SOT 47529 SOS 29300 HAS SOPS 29300 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21409.3
AT ITER 9908 NEW BEST:: SOT 47529 SOS 29295 HAS SOPS 29295 HAS SOUS 21380 HAS SOUPS 21380 WITH SCORE 21409.295
AT ITER 9930 NEW BEST:: SOT 47529 SOS 29369 HAS SOPS 29369 HAS SOUS 21367 HAS SOUPS 21367 WITH SCORE 21396.369
AT ITER 9965 NEW BEST:: SOT 47506 SOS 29346 HAS SOPS 29346 HAS SOUS 21321 HAS SOUPS 21321 WITH SCORE 21350.346
AT ITER 9980 NEW BEST:: SOT 47506 SOS 29346 HAS SOPS 29346 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21347.346
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3295556 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152908 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="NQueens-PT-15"
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 NQueens-PT-15, 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 r259-smll-167863534000048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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