About the Execution of smart for NQueens-PT-30
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.110 | 3600000.00 | 3600039.00 | 0.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100172.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NQueens-PT-30, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100172
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 912K
-rw-r--r-- 1 mcc users 3.2K Apr 8 13:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 13:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 7 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 16:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 02:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 735K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME NQueens-PT-30-CTLFireability-00
FORMULA_NAME NQueens-PT-30-CTLFireability-01
FORMULA_NAME NQueens-PT-30-CTLFireability-02
FORMULA_NAME NQueens-PT-30-CTLFireability-03
FORMULA_NAME NQueens-PT-30-CTLFireability-04
FORMULA_NAME NQueens-PT-30-CTLFireability-05
FORMULA_NAME NQueens-PT-30-CTLFireability-06
FORMULA_NAME NQueens-PT-30-CTLFireability-07
FORMULA_NAME NQueens-PT-30-CTLFireability-08
FORMULA_NAME NQueens-PT-30-CTLFireability-09
FORMULA_NAME NQueens-PT-30-CTLFireability-10
FORMULA_NAME NQueens-PT-30-CTLFireability-11
FORMULA_NAME NQueens-PT-30-CTLFireability-12
FORMULA_NAME NQueens-PT-30-CTLFireability-13
FORMULA_NAME NQueens-PT-30-CTLFireability-14
FORMULA_NAME NQueens-PT-30-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589637856525
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 30
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 1080 places, 900 transitions, 4500 arcs.
AT ITER 0 NEW BEST:: SOT 849893 SOS 526345 HAS SOPS 526345 HAS SOUS 441963 HAS SOUPS 441963 WITH SCORE 442489.345
AT ITER 1 NEW BEST:: SOT 849518 SOS 527264 HAS SOPS 527264 HAS SOUS 441643 HAS SOUPS 441643 WITH SCORE 442170.264
AT ITER 4 NEW BEST:: SOT 849353 SOS 527513 HAS SOPS 527513 HAS SOUS 441552 HAS SOUPS 441552 WITH SCORE 442079.513
AT ITER 7 NEW BEST:: SOT 849082 SOS 528559 HAS SOPS 528559 HAS SOUS 441304 HAS SOUPS 441304 WITH SCORE 441832.559
AT ITER 9 NEW BEST:: SOT 849082 SOS 528259 HAS SOPS 528259 HAS SOUS 441304 HAS SOUPS 441304 WITH SCORE 441832.259
AT ITER 13 NEW BEST:: SOT 848407 SOS 527706 HAS SOPS 527706 HAS SOUS 440697 HAS SOUPS 440697 WITH SCORE 441224.706
AT ITER 14 NEW BEST:: SOT 848407 SOS 527590 HAS SOPS 527590 HAS SOUS 440697 HAS SOUPS 440697 WITH SCORE 441224.59
AT ITER 18 NEW BEST:: SOT 848407 SOS 527579 HAS SOPS 527579 HAS SOUS 440697 HAS SOUPS 440697 WITH SCORE 441224.579
AT ITER 25 NEW BEST:: SOT 848407 SOS 527105 HAS SOPS 527105 HAS SOUS 440697 HAS SOUPS 440697 WITH SCORE 441224.105
AT ITER 27 NEW BEST:: SOT 848115 SOS 528221 HAS SOPS 528221 HAS SOUS 440470 HAS SOUPS 440470 WITH SCORE 440998.221
AT ITER 31 NEW BEST:: SOT 848115 SOS 528144 HAS SOPS 528144 HAS SOUS 440470 HAS SOUPS 440470 WITH SCORE 440998.144
AT ITER 37 NEW BEST:: SOT 847700 SOS 528297 HAS SOPS 528297 HAS SOUS 440229 HAS SOUPS 440229 WITH SCORE 440757.297
AT ITER 39 NEW BEST:: SOT 847700 SOS 527921 HAS SOPS 527921 HAS SOUS 440229 HAS SOUPS 440229 WITH SCORE 440756.921
AT ITER 42 NEW BEST:: SOT 847700 SOS 527538 HAS SOPS 527538 HAS SOUS 440229 HAS SOUPS 440229 WITH SCORE 440756.538
AT ITER 43 NEW BEST:: SOT 847261 SOS 527291 HAS SOPS 527291 HAS SOUS 439848 HAS SOUPS 439848 WITH SCORE 440375.291
AT ITER 47 NEW BEST:: SOT 847261 SOS 527270 HAS SOPS 527270 HAS SOUS 439848 HAS SOUPS 439848 WITH SCORE 440375.27
AT ITER 48 NEW BEST:: SOT 846915 SOS 528683 HAS SOPS 528683 HAS SOUS 439567 HAS SOUPS 439567 WITH SCORE 440095.683
AT ITER 51 NEW BEST:: SOT 846455 SOS 530022 HAS SOPS 530022 HAS SOUS 439400 HAS SOUPS 439400 WITH SCORE 439930.022
AT ITER 54 NEW BEST:: SOT 846455 SOS 529934 HAS SOPS 529934 HAS SOUS 439400 HAS SOUPS 439400 WITH SCORE 439929.934
AT ITER 58 NEW BEST:: SOT 846455 SOS 529298 HAS SOPS 529298 HAS SOUS 439400 HAS SOUPS 439400 WITH SCORE 439929.298
AT ITER 63 NEW BEST:: SOT 845778 SOS 529370 HAS SOPS 529370 HAS SOUS 438795 HAS SOUPS 438795 WITH SCORE 439324.37
AT ITER 68 NEW BEST:: SOT 845546 SOS 530534 HAS SOPS 530534 HAS SOUS 438582 HAS SOUPS 438582 WITH SCORE 439112.534
AT ITER 72 NEW BEST:: SOT 845546 SOS 529021 HAS SOPS 529021 HAS SOUS 438582 HAS SOUPS 438582 WITH SCORE 439111.021
AT ITER 74 NEW BEST:: SOT 845546 SOS 528691 HAS SOPS 528691 HAS SOUS 438582 HAS SOUPS 438582 WITH SCORE 439110.691
AT ITER 78 NEW BEST:: SOT 845261 SOS 533851 HAS SOPS 533851 HAS SOUS 438524 HAS SOUPS 438524 WITH SCORE 439057.851
AT ITER 79 NEW BEST:: SOT 845324 SOS 533519 HAS SOPS 533519 HAS SOUS 438284 HAS SOUPS 438284 WITH SCORE 438817.519
AT ITER 82 NEW BEST:: SOT 845113 SOS 533440 HAS SOPS 533440 HAS SOUS 438077 HAS SOUPS 438077 WITH SCORE 438610.44
AT ITER 90 NEW BEST:: SOT 844958 SOS 539637 HAS SOPS 539637 HAS SOUS 438016 HAS SOUPS 438016 WITH SCORE 438555.637
AT ITER 98 NEW BEST:: SOT 845096 SOS 539775 HAS SOPS 539775 HAS SOUS 438014 HAS SOUPS 438014 WITH SCORE 438553.775
AT ITER 99 NEW BEST:: SOT 845096 SOS 539535 HAS SOPS 539535 HAS SOUS 438014 HAS SOUPS 438014 WITH SCORE 438553.535
AT ITER 101 NEW BEST:: SOT 845096 SOS 539159 HAS SOPS 539159 HAS SOUS 438014 HAS SOUPS 438014 WITH SCORE 438553.159
AT ITER 102 NEW BEST:: SOT 845096 SOS 532999 HAS SOPS 532999 HAS SOUS 438003 HAS SOUPS 438003 WITH SCORE 438535.999
AT ITER 106 NEW BEST:: SOT 845096 SOS 532232 HAS SOPS 532232 HAS SOUS 438003 HAS SOUPS 438003 WITH SCORE 438535.232
AT ITER 114 NEW BEST:: SOT 845096 SOS 532035 HAS SOPS 532035 HAS SOUS 438003 HAS SOUPS 438003 WITH SCORE 438535.035
AT ITER 119 NEW BEST:: SOT 845060 SOS 531999 HAS SOPS 531999 HAS SOUS 437967 HAS SOUPS 437967 WITH SCORE 438498.999
AT ITER 126 NEW BEST:: SOT 844777 SOS 532335 HAS SOPS 532335 HAS SOUS 437765 HAS SOUPS 437765 WITH SCORE 438297.335
AT ITER 131 NEW BEST:: SOT 844777 SOS 531889 HAS SOPS 531889 HAS SOUS 437765 HAS SOUPS 437765 WITH SCORE 438296.889
AT ITER 133 NEW BEST:: SOT 844777 SOS 531394 HAS SOPS 531394 HAS SOUS 437765 HAS SOUPS 437765 WITH SCORE 438296.394
AT ITER 135 NEW BEST:: SOT 844777 SOS 531342 HAS SOPS 531342 HAS SOUS 437765 HAS SOUPS 437765 WITH SCORE 438296.342
AT ITER 146 NEW BEST:: SOT 844777 SOS 531085 HAS SOPS 531085 HAS SOUS 437765 HAS SOUPS 437765 WITH SCORE 438296.085
AT ITER 151 NEW BEST:: SOT 844748 SOS 534567 HAS SOPS 534567 HAS SOUS 437758 HAS SOUPS 437758 WITH SCORE 438292.567
AT ITER 156 NEW BEST:: SOT 844363 SOS 534236 HAS SOPS 534236 HAS SOUS 437400 HAS SOUPS 437400 WITH SCORE 437934.236
AT ITER 157 NEW BEST:: SOT 844363 SOS 532230 HAS SOPS 532230 HAS SOUS 437400 HAS SOUPS 437400 WITH SCORE 437932.23
AT ITER 162 NEW BEST:: SOT 844363 SOS 532051 HAS SOPS 532051 HAS SOUS 437400 HAS SOUPS 437400 WITH SCORE 437932.051
AT ITER 171 NEW BEST:: SOT 844363 SOS 531610 HAS SOPS 531610 HAS SOUS 437400 HAS SOUPS 437400 WITH SCORE 437931.61
AT ITER 173 NEW BEST:: SOT 844363 SOS 531069 HAS SOPS 531069 HAS SOUS 437400 HAS SOUPS 437400 WITH SCORE 437931.069
AT ITER 175 NEW BEST:: SOT 844363 SOS 531069 HAS SOPS 531069 HAS SOUS 437373 HAS SOUPS 437373 WITH SCORE 437904.069
AT ITER 180 NEW BEST:: SOT 844363 SOS 530290 HAS SOPS 530290 HAS SOUS 437373 HAS SOUPS 437373 WITH SCORE 437903.29
AT ITER 188 NEW BEST:: SOT 844363 SOS 530269 HAS SOPS 530269 HAS SOUS 437373 HAS SOUPS 437373 WITH SCORE 437903.269
AT ITER 189 NEW BEST:: SOT 844363 SOS 530269 HAS SOPS 530269 HAS SOUS 437352 HAS SOUPS 437352 WITH SCORE 437882.269
AT ITER 192 NEW BEST:: SOT 844298 SOS 529531 HAS SOPS 529531 HAS SOUS 437184 HAS SOUPS 437184 WITH SCORE 437713.531
AT ITER 193 NEW BEST:: SOT 844298 SOS 528939 HAS SOPS 528939 HAS SOUS 437184 HAS SOUPS 437184 WITH SCORE 437712.939
AT ITER 197 NEW BEST:: SOT 844298 SOS 528729 HAS SOPS 528729 HAS SOUS 437184 HAS SOUPS 437184 WITH SCORE 437712.729
AT ITER 200 NEW BEST:: SOT 844298 SOS 528679 HAS SOPS 528679 HAS SOUS 437184 HAS SOUPS 437184 WITH SCORE 437712.679
AT ITER 204 NEW BEST:: SOT 844242 SOS 528900 HAS SOPS 528900 HAS SOUS 437153 HAS SOUPS 437153 WITH SCORE 437681.9
AT ITER 208 NEW BEST:: SOT 844242 SOS 528324 HAS SOPS 528324 HAS SOUS 437153 HAS SOUPS 437153 WITH SCORE 437681.324
AT ITER 216 NEW BEST:: SOT 844242 SOS 528242 HAS SOPS 528242 HAS SOUS 437153 HAS SOUPS 437153 WITH SCORE 437681.242
AT ITER 219 NEW BEST:: SOT 844242 SOS 528062 HAS SOPS 528062 HAS SOUS 437153 HAS SOUPS 437153 WITH SCORE 437681.062
AT ITER 220 NEW BEST:: SOT 844242 SOS 527669 HAS SOPS 527669 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437665.669
AT ITER 226 NEW BEST:: SOT 844242 SOS 522299 HAS SOPS 522299 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437660.299
AT ITER 227 NEW BEST:: SOT 844242 SOS 522104 HAS SOPS 522104 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437660.104
AT ITER 230 NEW BEST:: SOT 844242 SOS 521695 HAS SOPS 521695 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437659.695
AT ITER 238 NEW BEST:: SOT 844242 SOS 521649 HAS SOPS 521649 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437659.649
AT ITER 240 NEW BEST:: SOT 844242 SOS 521632 HAS SOPS 521632 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437659.632
AT ITER 241 NEW BEST:: SOT 844242 SOS 514765 HAS SOPS 514765 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437652.765
AT ITER 245 NEW BEST:: SOT 844242 SOS 514409 HAS SOPS 514409 HAS SOUS 437138 HAS SOUPS 437138 WITH SCORE 437652.409
AT ITER 248 NEW BEST:: SOT 844211 SOS 514087 HAS SOPS 514087 HAS SOUS 436929 HAS SOUPS 436929 WITH SCORE 437443.087
AT ITER 250 NEW BEST:: SOT 844056 SOS 514210 HAS SOPS 514210 HAS SOUS 436778 HAS SOUPS 436778 WITH SCORE 437292.21
AT ITER 251 NEW BEST:: SOT 844056 SOS 512261 HAS SOPS 512261 HAS SOUS 436778 HAS SOUPS 436778 WITH SCORE 437290.261
AT ITER 254 NEW BEST:: SOT 844056 SOS 512149 HAS SOPS 512149 HAS SOUS 436778 HAS SOUPS 436778 WITH SCORE 437290.149
AT ITER 259 NEW BEST:: SOT 844056 SOS 512083 HAS SOPS 512083 HAS SOUS 436742 HAS SOUPS 436742 WITH SCORE 437254.083
AT ITER 260 NEW BEST:: SOT 843556 SOS 511985 HAS SOPS 511985 HAS SOUS 436516 HAS SOUPS 436516 WITH SCORE 437027.985
AT ITER 263 NEW BEST:: SOT 843279 SOS 512663 HAS SOPS 512663 HAS SOUS 436237 HAS SOUPS 436237 WITH SCORE 436749.663
AT ITER 269 NEW BEST:: SOT 843279 SOS 512634 HAS SOPS 512634 HAS SOUS 436237 HAS SOUPS 436237 WITH SCORE 436749.634
AT ITER 270 NEW BEST:: SOT 843279 SOS 512114 HAS SOPS 512114 HAS SOUS 436087 HAS SOUPS 436087 WITH SCORE 436599.114
AT ITER 276 NEW BEST:: SOT 843279 SOS 511891 HAS SOPS 511891 HAS SOUS 436087 HAS SOUPS 436087 WITH SCORE 436598.891
AT ITER 279 NEW BEST:: SOT 843279 SOS 511554 HAS SOPS 511554 HAS SOUS 436087 HAS SOUPS 436087 WITH SCORE 436598.554
AT ITER 280 NEW BEST:: SOT 843114 SOS 515256 HAS SOPS 515256 HAS SOUS 436021 HAS SOUPS 436021 WITH SCORE 436536.256
AT ITER 286 NEW BEST:: SOT 842785 SOS 514923 HAS SOPS 514923 HAS SOUS 435705 HAS SOUPS 435705 WITH SCORE 436219.923
AT ITER 289 NEW BEST:: SOT 842378 SOS 514576 HAS SOPS 514576 HAS SOUS 435382 HAS SOUPS 435382 WITH SCORE 435896.576
AT ITER 293 NEW BEST:: SOT 842378 SOS 514307 HAS SOPS 514307 HAS SOUS 435382 HAS SOUPS 435382 WITH SCORE 435896.307
AT ITER 300 NEW BEST:: SOT 842378 SOS 513870 HAS SOPS 513870 HAS SOUS 435382 HAS SOUPS 435382 WITH SCORE 435895.87
AT ITER 301 NEW BEST:: SOT 842271 SOS 513843 HAS SOPS 513843 HAS SOUS 435297 HAS SOUPS 435297 WITH SCORE 435810.843
AT ITER 306 NEW BEST:: SOT 842004 SOS 514665 HAS SOPS 514665 HAS SOUS 435056 HAS SOUPS 435056 WITH SCORE 435570.665
AT ITER 318 NEW BEST:: SOT 842004 SOS 514182 HAS SOPS 514182 HAS SOUS 435056 HAS SOUPS 435056 WITH SCORE 435570.182
AT ITER 322 NEW BEST:: SOT 842004 SOS 509827 HAS SOPS 509827 HAS SOUS 435056 HAS SOUPS 435056 WITH SCORE 435565.827
AT ITER 328 NEW BEST:: SOT 842004 SOS 509823 HAS SOPS 509823 HAS SOUS 435056 HAS SOUPS 435056 WITH SCORE 435565.823
AT ITER 329 NEW BEST:: SOT 842004 SOS 509725 HAS SOPS 509725 HAS SOUS 435056 HAS SOUPS 435056 WITH SCORE 435565.725
AT ITER 332 NEW BEST:: SOT 842004 SOS 509637 HAS SOPS 509637 HAS SOUS 435056 HAS SOUPS 435056 WITH SCORE 435565.637
AT ITER 334 NEW BEST:: SOT 841371 SOS 509561 HAS SOPS 509561 HAS SOUS 434889 HAS SOUPS 434889 WITH SCORE 435398.561
AT ITER 335 NEW BEST:: SOT 840707 SOS 508972 HAS SOPS 508972 HAS SOUS 434264 HAS SOUPS 434264 WITH SCORE 434772.972
AT ITER 341 NEW BEST:: SOT 840707 SOS 508578 HAS SOPS 508578 HAS SOUS 434264 HAS SOUPS 434264 WITH SCORE 434772.578
AT ITER 343 NEW BEST:: SOT 840707 SOS 508578 HAS SOPS 508578 HAS SOUS 434156 HAS SOUPS 434156 WITH SCORE 434664.578
AT ITER 345 NEW BEST:: SOT 840390 SOS 517823 HAS SOPS 517823 HAS SOUS 434072 HAS SOUPS 434072 WITH SCORE 434589.823
AT ITER 347 NEW BEST:: SOT 840375 SOS 517485 HAS SOPS 517485 HAS SOUS 433946 HAS SOUPS 433946 WITH SCORE 434463.485
AT ITER 350 NEW BEST:: SOT 840375 SOS 517151 HAS SOPS 517151 HAS SOUS 433946 HAS SOUPS 433946 WITH SCORE 434463.151
AT ITER 354 NEW BEST:: SOT 840375 SOS 517151 HAS SOPS 517151 HAS SOUS 433919 HAS SOUPS 433919 WITH SCORE 434436.151
AT ITER 356 NEW BEST:: SOT 840375 SOS 516996 HAS SOPS 516996 HAS SOUS 433919 HAS SOUPS 433919 WITH SCORE 434435.996
AT ITER 362 NEW BEST:: SOT 840470 SOS 516923 HAS SOPS 516923 HAS SOUS 433812 HAS SOUPS 433812 WITH SCORE 434328.923
AT ITER 368 NEW BEST:: SOT 840470 SOS 516694 HAS SOPS 516694 HAS SOUS 433812 HAS SOUPS 433812 WITH SCORE 434328.694
AT ITER 373 NEW BEST:: SOT 840470 SOS 516694 HAS SOPS 516694 HAS SOUS 433710 HAS SOUPS 433710 WITH SCORE 434226.694
AT ITER 378 NEW BEST:: SOT 839798 SOS 516032 HAS SOPS 516032 HAS SOUS 433008 HAS SOUPS 433008 WITH SCORE 433524.032
AT ITER 384 NEW BEST:: SOT 839798 SOS 515524 HAS SOPS 515524 HAS SOUS 433008 HAS SOUPS 433008 WITH SCORE 433523.524
AT ITER 392 NEW BEST:: SOT 839798 SOS 515348 HAS SOPS 515348 HAS SOUS 433008 HAS SOUPS 433008 WITH SCORE 433523.348
AT ITER 394 NEW BEST:: SOT 839634 SOS 522171 HAS SOPS 522171 HAS SOUS 432909 HAS SOUPS 432909 WITH SCORE 433431.171
AT ITER 403 NEW BEST:: SOT 839634 SOS 521915 HAS SOPS 521915 HAS SOUS 432909 HAS SOUPS 432909 WITH SCORE 433430.915
AT ITER 422 NEW BEST:: SOT 839634 SOS 514175 HAS SOPS 514175 HAS SOUS 432909 HAS SOUPS 432909 WITH SCORE 433423.175
AT ITER 426 NEW BEST:: SOT 839634 SOS 513938 HAS SOPS 513938 HAS SOUS 432909 HAS SOUPS 432909 WITH SCORE 433422.938
AT ITER 429 NEW BEST:: SOT 839634 SOS 513860 HAS SOPS 513860 HAS SOUS 432831 HAS SOUPS 432831 WITH SCORE 433344.86
AT ITER 433 NEW BEST:: SOT 839628 SOS 514125 HAS SOPS 514125 HAS SOUS 432818 HAS SOUPS 432818 WITH SCORE 433332.125
AT ITER 436 NEW BEST:: SOT 839568 SOS 514137 HAS SOPS 514137 HAS SOUS 432766 HAS SOUPS 432766 WITH SCORE 433280.137
AT ITER 438 NEW BEST:: SOT 839568 SOS 514047 HAS SOPS 514047 HAS SOUS 432766 HAS SOUPS 432766 WITH SCORE 433280.047
AT ITER 451 NEW BEST:: SOT 839568 SOS 513908 HAS SOPS 513908 HAS SOUS 432766 HAS SOUPS 432766 WITH SCORE 433279.908
AT ITER 452 NEW BEST:: SOT 839303 SOS 514036 HAS SOPS 514036 HAS SOUS 432652 HAS SOUPS 432652 WITH SCORE 433166.036
AT ITER 455 NEW BEST:: SOT 839303 SOS 513904 HAS SOPS 513904 HAS SOUS 432652 HAS SOUPS 432652 WITH SCORE 433165.904
AT ITER 465 NEW BEST:: SOT 839303 SOS 513866 HAS SOPS 513866 HAS SOUS 432652 HAS SOUPS 432652 WITH SCORE 433165.866
AT ITER 467 NEW BEST:: SOT 838915 SOS 517549 HAS SOPS 517549 HAS SOUS 432539 HAS SOUPS 432539 WITH SCORE 433056.549
AT ITER 470 NEW BEST:: SOT 838915 SOS 517437 HAS SOPS 517437 HAS SOUS 432500 HAS SOUPS 432500 WITH SCORE 433017.437
AT ITER 473 NEW BEST:: SOT 838915 SOS 516827 HAS SOPS 516827 HAS SOUS 432500 HAS SOUPS 432500 WITH SCORE 433016.827
AT ITER 474 NEW BEST:: SOT 838582 SOS 516391 HAS SOPS 516391 HAS SOUS 432205 HAS SOUPS 432205 WITH SCORE 432721.391
AT ITER 475 NEW BEST:: SOT 838582 SOS 516074 HAS SOPS 516074 HAS SOUS 432205 HAS SOUPS 432205 WITH SCORE 432721.074
AT ITER 476 NEW BEST:: SOT 838663 SOS 515942 HAS SOPS 515942 HAS SOUS 432125 HAS SOUPS 432125 WITH SCORE 432640.942
AT ITER 484 NEW BEST:: SOT 838070 SOS 516332 HAS SOPS 516332 HAS SOUS 431731 HAS SOUPS 431731 WITH SCORE 432247.332
AT ITER 489 NEW BEST:: SOT 837491 SOS 515786 HAS SOPS 515786 HAS SOUS 431137 HAS SOUPS 431137 WITH SCORE 431652.786
AT ITER 491 NEW BEST:: SOT 837491 SOS 515701 HAS SOPS 515701 HAS SOUS 431137 HAS SOUPS 431137 WITH SCORE 431652.701
AT ITER 492 NEW BEST:: SOT 837449 SOS 515659 HAS SOPS 515659 HAS SOUS 431099 HAS SOUPS 431099 WITH SCORE 431614.659
AT ITER 498 NEW BEST:: SOT 837449 SOS 515646 HAS SOPS 515646 HAS SOUS 431099 HAS SOUPS 431099 WITH SCORE 431614.646
AT ITER 501 NEW BEST:: SOT 837449 SOS 515431 HAS SOPS 515431 HAS SOUS 431099 HAS SOUPS 431099 WITH SCORE 431614.431
AT ITER 502 NEW BEST:: SOT 837371 SOS 515494 HAS SOPS 515494 HAS SOUS 431051 HAS SOUPS 431051 WITH SCORE 431566.494
AT ITER 505 NEW BEST:: SOT 837371 SOS 515190 HAS SOPS 515190 HAS SOUS 431051 HAS SOUPS 431051 WITH SCORE 431566.19
AT ITER 506 NEW BEST:: SOT 837371 SOS 515124 HAS SOPS 515124 HAS SOUS 431024 HAS SOUPS 431024 WITH SCORE 431539.124
AT ITER 508 NEW BEST:: SOT 836846 SOS 515201 HAS SOPS 515201 HAS SOUS 430791 HAS SOUPS 430791 WITH SCORE 431306.201
AT ITER 513 NEW BEST:: SOT 836958 SOS 515313 HAS SOPS 515313 HAS SOUS 430548 HAS SOUPS 430548 WITH SCORE 431063.313
AT ITER 518 NEW BEST:: SOT 836958 SOS 515170 HAS SOPS 515170 HAS SOUS 430548 HAS SOUPS 430548 WITH SCORE 431063.17
AT ITER 520 NEW BEST:: SOT 836958 SOS 514877 HAS SOPS 514877 HAS SOUS 430548 HAS SOUPS 430548 WITH SCORE 431062.877
AT ITER 530 NEW BEST:: SOT 836958 SOS 514770 HAS SOPS 514770 HAS SOUS 430548 HAS SOUPS 430548 WITH SCORE 431062.77
AT ITER 533 NEW BEST:: SOT 836927 SOS 514123 HAS SOPS 514123 HAS SOUS 430199 HAS SOUPS 430199 WITH SCORE 430713.123
AT ITER 536 NEW BEST:: SOT 836927 SOS 513733 HAS SOPS 513733 HAS SOUS 430000 HAS SOUPS 430000 WITH SCORE 430513.733
AT ITER 539 NEW BEST:: SOT 836927 SOS 513177 HAS SOPS 513177 HAS SOUS 430000 HAS SOUPS 430000 WITH SCORE 430513.177
AT ITER 549 NEW BEST:: SOT 836927 SOS 513145 HAS SOPS 513145 HAS SOUS 430000 HAS SOUPS 430000 WITH SCORE 430513.145
AT ITER 552 NEW BEST:: SOT 836886 SOS 512911 HAS SOPS 512911 HAS SOUS 429990 HAS SOUPS 429990 WITH SCORE 430502.911
AT ITER 556 NEW BEST:: SOT 836702 SOS 513203 HAS SOPS 513203 HAS SOUS 429983 HAS SOUPS 429983 WITH SCORE 430496.203
AT ITER 557 NEW BEST:: SOT 836690 SOS 513314 HAS SOPS 513314 HAS SOUS 429963 HAS SOUPS 429963 WITH SCORE 430476.314
AT ITER 562 NEW BEST:: SOT 836690 SOS 513161 HAS SOPS 513161 HAS SOUS 429903 HAS SOUPS 429903 WITH SCORE 430416.161
AT ITER 563 NEW BEST:: SOT 834984 SOS 511581 HAS SOPS 511581 HAS SOUS 428323 HAS SOUPS 428323 WITH SCORE 428834.581
AT ITER 565 NEW BEST:: SOT 834984 SOS 511117 HAS SOPS 511117 HAS SOUS 428323 HAS SOUPS 428323 WITH SCORE 428834.117
AT ITER 572 NEW BEST:: SOT 834984 SOS 511066 HAS SOPS 511066 HAS SOUS 428322 HAS SOUPS 428322 WITH SCORE 428833.066
AT ITER 576 NEW BEST:: SOT 834977 SOS 510827 HAS SOPS 510827 HAS SOUS 428292 HAS SOUPS 428292 WITH SCORE 428802.827
AT ITER 592 NEW BEST:: SOT 834239 SOS 510920 HAS SOPS 510920 HAS SOUS 428151 HAS SOUPS 428151 WITH SCORE 428661.92
AT ITER 593 NEW BEST:: SOT 834239 SOS 510819 HAS SOPS 510819 HAS SOUS 428151 HAS SOUPS 428151 WITH SCORE 428661.819
AT ITER 594 NEW BEST:: SOT 834232 SOS 510869 HAS SOPS 510869 HAS SOUS 428145 HAS SOUPS 428145 WITH SCORE 428655.869
AT ITER 595 NEW BEST:: SOT 834232 SOS 510830 HAS SOPS 510830 HAS SOUS 428145 HAS SOUPS 428145 WITH SCORE 428655.83
AT ITER 597 NEW BEST:: SOT 834232 SOS 510596 HAS SOPS 510596 HAS SOUS 428145 HAS SOUPS 428145 WITH SCORE 428655.596
AT ITER 599 NEW BEST:: SOT 834232 SOS 510433 HAS SOPS 510433 HAS SOUS 428145 HAS SOUPS 428145 WITH SCORE 428655.433
AT ITER 600 NEW BEST:: SOT 834232 SOS 510215 HAS SOPS 510215 HAS SOUS 428048 HAS SOUPS 428048 WITH SCORE 428558.215
AT ITER 607 NEW BEST:: SOT 833950 SOS 510933 HAS SOPS 510933 HAS SOUS 427981 HAS SOUPS 427981 WITH SCORE 428491.933
AT ITER 609 NEW BEST:: SOT 833983 SOS 510939 HAS SOPS 510939 HAS SOUS 427960 HAS SOUPS 427960 WITH SCORE 428470.939
AT ITER 611 NEW BEST:: SOT 833983 SOS 510331 HAS SOPS 510331 HAS SOUS 427960 HAS SOUPS 427960 WITH SCORE 428470.331
AT ITER 614 NEW BEST:: SOT 833983 SOS 510168 HAS SOPS 510168 HAS SOUS 427813 HAS SOUPS 427813 WITH SCORE 428323.168
AT ITER 616 NEW BEST:: SOT 833983 SOS 509405 HAS SOPS 509405 HAS SOUS 427813 HAS SOUPS 427813 WITH SCORE 428322.405
AT ITER 619 NEW BEST:: SOT 833393 SOS 511572 HAS SOPS 511572 HAS SOUS 427478 HAS SOUPS 427478 WITH SCORE 427989.572
AT ITER 620 NEW BEST:: SOT 833393 SOS 511289 HAS SOPS 511289 HAS SOUS 427478 HAS SOUPS 427478 WITH SCORE 427989.289
AT ITER 622 NEW BEST:: SOT 833393 SOS 511221 HAS SOPS 511221 HAS SOUS 427478 HAS SOUPS 427478 WITH SCORE 427989.221
AT ITER 623 NEW BEST:: SOT 833393 SOS 511069 HAS SOPS 511069 HAS SOUS 427478 HAS SOUPS 427478 WITH SCORE 427989.069
AT ITER 627 NEW BEST:: SOT 833393 SOS 511069 HAS SOPS 511069 HAS SOUS 427245 HAS SOUPS 427245 WITH SCORE 427756.069
AT ITER 629 NEW BEST:: SOT 832998 SOS 510504 HAS SOPS 510504 HAS SOUS 426970 HAS SOUPS 426970 WITH SCORE 427480.504
AT ITER 636 NEW BEST:: SOT 832964 SOS 510190 HAS SOPS 510190 HAS SOUS 426926 HAS SOUPS 426926 WITH SCORE 427436.19
AT ITER 638 NEW BEST:: SOT 832964 SOS 510167 HAS SOPS 510167 HAS SOUS 426926 HAS SOUPS 426926 WITH SCORE 427436.167
AT ITER 643 NEW BEST:: SOT 832964 SOS 509721 HAS SOPS 509721 HAS SOUS 426926 HAS SOUPS 426926 WITH SCORE 427435.721
AT ITER 644 NEW BEST:: SOT 833115 SOS 510208 HAS SOPS 510208 HAS SOUS 426797 HAS SOUPS 426797 WITH SCORE 427307.208
AT ITER 645 NEW BEST:: SOT 832457 SOS 509768 HAS SOPS 509768 HAS SOUS 426575 HAS SOUPS 426575 WITH SCORE 427084.768
AT ITER 646 NEW BEST:: SOT 832054 SOS 509910 HAS SOPS 509910 HAS SOUS 426574 HAS SOUPS 426574 WITH SCORE 427083.91
AT ITER 648 NEW BEST:: SOT 832054 SOS 509906 HAS SOPS 509906 HAS SOUS 426574 HAS SOUPS 426574 WITH SCORE 427083.906
AT ITER 650 NEW BEST:: SOT 832045 SOS 509673 HAS SOPS 509673 HAS SOUS 426540 HAS SOUPS 426540 WITH SCORE 427049.673
AT ITER 655 NEW BEST:: SOT 832045 SOS 509377 HAS SOPS 509377 HAS SOUS 426540 HAS SOUPS 426540 WITH SCORE 427049.377
AT ITER 659 NEW BEST:: SOT 831991 SOS 509281 HAS SOPS 509281 HAS SOUS 426426 HAS SOUPS 426426 WITH SCORE 426935.281
AT ITER 661 NEW BEST:: SOT 831987 SOS 509281 HAS SOPS 509281 HAS SOUS 426393 HAS SOUPS 426393 WITH SCORE 426902.281
AT ITER 662 NEW BEST:: SOT 831987 SOS 509069 HAS SOPS 509069 HAS SOUS 426393 HAS SOUPS 426393 WITH SCORE 426902.069
AT ITER 665 NEW BEST:: SOT 831987 SOS 508171 HAS SOPS 508171 HAS SOUS 426161 HAS SOUPS 426161 WITH SCORE 426669.171
AT ITER 666 NEW BEST:: SOT 831842 SOS 507925 HAS SOPS 507925 HAS SOUS 426003 HAS SOUPS 426003 WITH SCORE 426510.925
AT ITER 669 NEW BEST:: SOT 831842 SOS 507724 HAS SOPS 507724 HAS SOUS 426003 HAS SOUPS 426003 WITH SCORE 426510.724
AT ITER 676 NEW BEST:: SOT 831842 SOS 507674 HAS SOPS 507674 HAS SOUS 426003 HAS SOUPS 426003 WITH SCORE 426510.674
AT ITER 678 NEW BEST:: SOT 831842 SOS 507560 HAS SOPS 507560 HAS SOUS 426003 HAS SOUPS 426003 WITH SCORE 426510.56
AT ITER 679 NEW BEST:: SOT 831628 SOS 507346 HAS SOPS 507346 HAS SOUS 425789 HAS SOUPS 425789 WITH SCORE 426296.346
AT ITER 684 NEW BEST:: SOT 831626 SOS 507344 HAS SOPS 507344 HAS SOUS 425787 HAS SOUPS 425787 WITH SCORE 426294.344
AT ITER 685 NEW BEST:: SOT 831626 SOS 506708 HAS SOPS 506708 HAS SOUS 425787 HAS SOUPS 425787 WITH SCORE 426293.708
AT ITER 693 NEW BEST:: SOT 831626 SOS 506691 HAS SOPS 506691 HAS SOUS 425787 HAS SOUPS 425787 WITH SCORE 426293.691
AT ITER 695 NEW BEST:: SOT 831626 SOS 506714 HAS SOPS 506714 HAS SOUS 425751 HAS SOUPS 425751 WITH SCORE 426257.714
AT ITER 696 NEW BEST:: SOT 831327 SOS 506540 HAS SOPS 506540 HAS SOUS 425248 HAS SOUPS 425248 WITH SCORE 425754.54
AT ITER 697 NEW BEST:: SOT 831327 SOS 506550 HAS SOPS 506550 HAS SOUS 425238 HAS SOUPS 425238 WITH SCORE 425744.55
AT ITER 699 NEW BEST:: SOT 830962 SOS 506684 HAS SOPS 506684 HAS SOUS 425193 HAS SOUPS 425193 WITH SCORE 425699.684
AT ITER 700 NEW BEST:: SOT 830962 SOS 506082 HAS SOPS 506082 HAS SOUS 425193 HAS SOUPS 425193 WITH SCORE 425699.082
AT ITER 702 NEW BEST:: SOT 830962 SOS 506031 HAS SOPS 506031 HAS SOUS 425193 HAS SOUPS 425193 WITH SCORE 425699.031
AT ITER 706 NEW BEST:: SOT 830962 SOS 504552 HAS SOPS 504552 HAS SOUS 425193 HAS SOUPS 425193 WITH SCORE 425697.552
AT ITER 724 NEW BEST:: SOT 830962 SOS 501861 HAS SOPS 501861 HAS SOUS 424946 HAS SOUPS 424946 WITH SCORE 425447.861
AT ITER 725 NEW BEST:: SOT 830954 SOS 501853 HAS SOPS 501853 HAS SOUS 424806 HAS SOUPS 424806 WITH SCORE 425307.853
AT ITER 729 NEW BEST:: SOT 830954 SOS 498083 HAS SOPS 498083 HAS SOUS 424806 HAS SOUPS 424806 WITH SCORE 425304.083
AT ITER 734 NEW BEST:: SOT 830924 SOS 498173 HAS SOPS 498173 HAS SOUS 424778 HAS SOUPS 424778 WITH SCORE 425276.173
AT ITER 736 NEW BEST:: SOT 830924 SOS 498150 HAS SOPS 498150 HAS SOUS 424778 HAS SOUPS 424778 WITH SCORE 425276.15
AT ITER 740 NEW BEST:: SOT 830924 SOS 497980 HAS SOPS 497980 HAS SOUS 424778 HAS SOUPS 424778 WITH SCORE 425275.98
AT ITER 743 NEW BEST:: SOT 830662 SOS 497780 HAS SOPS 497780 HAS SOUS 424612 HAS SOUPS 424612 WITH SCORE 425109.78
AT ITER 748 NEW BEST:: SOT 830488 SOS 498985 HAS SOPS 498985 HAS SOUS 424478 HAS SOUPS 424478 WITH SCORE 424976.985
AT ITER 754 NEW BEST:: SOT 830488 SOS 498848 HAS SOPS 498848 HAS SOUS 424478 HAS SOUPS 424478 WITH SCORE 424976.848
AT ITER 763 NEW BEST:: SOT 830472 SOS 499282 HAS SOPS 499282 HAS SOUS 424400 HAS SOUPS 424400 WITH SCORE 424899.282
AT ITER 767 NEW BEST:: SOT 830472 SOS 499223 HAS SOPS 499223 HAS SOUS 424400 HAS SOUPS 424400 WITH SCORE 424899.223
AT ITER 768 NEW BEST:: SOT 830472 SOS 499066 HAS SOPS 499066 HAS SOUS 424400 HAS SOUPS 424400 WITH SCORE 424899.066
AT ITER 776 NEW BEST:: SOT 830451 SOS 499045 HAS SOPS 499045 HAS SOUS 424379 HAS SOUPS 424379 WITH SCORE 424878.045
AT ITER 782 NEW BEST:: SOT 830451 SOS 498774 HAS SOPS 498774 HAS SOUS 424297 HAS SOUPS 424297 WITH SCORE 424795.774
AT ITER 788 NEW BEST:: SOT 830451 SOS 498751 HAS SOPS 498751 HAS SOUS 424297 HAS SOUPS 424297 WITH SCORE 424795.751
AT ITER 789 NEW BEST:: SOT 830451 SOS 498526 HAS SOPS 498526 HAS SOUS 424297 HAS SOUPS 424297 WITH SCORE 424795.526
AT ITER 790 NEW BEST:: SOT 830451 SOS 498305 HAS SOPS 498305 HAS SOUS 424297 HAS SOUPS 424297 WITH SCORE 424795.305
AT ITER 792 NEW BEST:: SOT 830479 SOS 497813 HAS SOPS 497813 HAS SOUS 424199 HAS SOUPS 424199 WITH SCORE 424696.813
AT ITER 800 NEW BEST:: SOT 830063 SOS 502126 HAS SOPS 502126 HAS SOUS 424047 HAS SOUPS 424047 WITH SCORE 424549.126
AT ITER 803 NEW BEST:: SOT 830063 SOS 501937 HAS SOPS 501937 HAS SOUS 424043 HAS SOUPS 424043 WITH SCORE 424544.937
AT ITER 814 NEW BEST:: SOT 830063 SOS 501868 HAS SOPS 501868 HAS SOUS 424043 HAS SOUPS 424043 WITH SCORE 424544.868
AT ITER 816 NEW BEST:: SOT 830063 SOS 501856 HAS SOPS 501856 HAS SOUS 424043 HAS SOUPS 424043 WITH SCORE 424544.856
AT ITER 818 NEW BEST:: SOT 830063 SOS 501616 HAS SOPS 501616 HAS SOUS 424043 HAS SOUPS 424043 WITH SCORE 424544.616
AT ITER 824 NEW BEST:: SOT 830063 SOS 501050 HAS SOPS 501050 HAS SOUS 424043 HAS SOUPS 424043 WITH SCORE 424544.05
AT ITER 827 NEW BEST:: SOT 830063 SOS 501116 HAS SOPS 501116 HAS SOUS 423894 HAS SOUPS 423894 WITH SCORE 424395.116
AT ITER 833 NEW BEST:: SOT 830063 SOS 500608 HAS SOPS 500608 HAS SOUS 423459 HAS SOUPS 423459 WITH SCORE 423959.608
AT ITER 840 NEW BEST:: SOT 830004 SOS 500337 HAS SOPS 500337 HAS SOUS 423264 HAS SOUPS 423264 WITH SCORE 423764.337
AT ITER 842 NEW BEST:: SOT 830014 SOS 500300 HAS SOPS 500300 HAS SOUS 423261 HAS SOUPS 423261 WITH SCORE 423761.3
AT ITER 855 NEW BEST:: SOT 830012 SOS 500075 HAS SOPS 500075 HAS SOUS 423030 HAS SOUPS 423030 WITH SCORE 423530.075
AT ITER 868 NEW BEST:: SOT 830012 SOS 500035 HAS SOPS 500035 HAS SOUS 423030 HAS SOUPS 423030 WITH SCORE 423530.035
AT ITER 876 NEW BEST:: SOT 830075 SOS 500098 HAS SOPS 500098 HAS SOUS 422912 HAS SOUPS 422912 WITH SCORE 423412.098
AT ITER 880 NEW BEST:: SOT 830075 SOS 500016 HAS SOPS 500016 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423378.016
AT ITER 890 NEW BEST:: SOT 830075 SOS 499783 HAS SOPS 499783 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423377.783
AT ITER 892 NEW BEST:: SOT 830075 SOS 499743 HAS SOPS 499743 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423377.743
AT ITER 896 NEW BEST:: SOT 830075 SOS 499616 HAS SOPS 499616 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423377.616
AT ITER 897 NEW BEST:: SOT 830075 SOS 499283 HAS SOPS 499283 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423377.283
AT ITER 901 NEW BEST:: SOT 830075 SOS 498687 HAS SOPS 498687 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423376.687
AT ITER 903 NEW BEST:: SOT 830075 SOS 498471 HAS SOPS 498471 HAS SOUS 422878 HAS SOUPS 422878 WITH SCORE 423376.471
AT ITER 904 NEW BEST:: SOT 830034 SOS 498430 HAS SOPS 498430 HAS SOUS 422784 HAS SOUPS 422784 WITH SCORE 423282.43
AT ITER 907 NEW BEST:: SOT 830034 SOS 498420 HAS SOPS 498420 HAS SOUS 422784 HAS SOUPS 422784 WITH SCORE 423282.42
AT ITER 908 NEW BEST:: SOT 830034 SOS 498420 HAS SOPS 498420 HAS SOUS 422781 HAS SOUPS 422781 WITH SCORE 423279.42
AT ITER 909 NEW BEST:: SOT 830034 SOS 498312 HAS SOPS 498312 HAS SOUS 422781 HAS SOUPS 422781 WITH SCORE 423279.312
AT ITER 911 NEW BEST:: SOT 830046 SOS 498304 HAS SOPS 498304 HAS SOUS 422773 HAS SOUPS 422773 WITH SCORE 423271.304
AT ITER 915 NEW BEST:: SOT 830046 SOS 497910 HAS SOPS 497910 HAS SOUS 422773 HAS SOUPS 422773 WITH SCORE 423270.91
AT ITER 918 NEW BEST:: SOT 830046 SOS 497894 HAS SOPS 497894 HAS SOUS 422773 HAS SOUPS 422773 WITH SCORE 423270.894
AT ITER 922 NEW BEST:: SOT 830046 SOS 497816 HAS SOPS 497816 HAS SOUS 422695 HAS SOUPS 422695 WITH SCORE 423192.816
AT ITER 928 NEW BEST:: SOT 830046 SOS 497589 HAS SOPS 497589 HAS SOUS 422695 HAS SOUPS 422695 WITH SCORE 423192.589
AT ITER 929 NEW BEST:: SOT 829544 SOS 498553 HAS SOPS 498553 HAS SOUS 422341 HAS SOUPS 422341 WITH SCORE 422839.553
AT ITER 934 NEW BEST:: SOT 828656 SOS 498222 HAS SOPS 498222 HAS SOUS 422107 HAS SOUPS 422107 WITH SCORE 422605.222
AT ITER 939 NEW BEST:: SOT 828656 SOS 498201 HAS SOPS 498201 HAS SOUS 422107 HAS SOUPS 422107 WITH SCORE 422605.201
AT ITER 943 NEW BEST:: SOT 828656 SOS 497664 HAS SOPS 497664 HAS SOUS 422107 HAS SOUPS 422107 WITH SCORE 422604.664
AT ITER 950 NEW BEST:: SOT 828656 SOS 497568 HAS SOPS 497568 HAS SOUS 422036 HAS SOUPS 422036 WITH SCORE 422533.568
AT ITER 953 NEW BEST:: SOT 828656 SOS 497316 HAS SOPS 497316 HAS SOUS 422036 HAS SOUPS 422036 WITH SCORE 422533.316
AT ITER 954 NEW BEST:: SOT 828656 SOS 497183 HAS SOPS 497183 HAS SOUS 422036 HAS SOUPS 422036 WITH SCORE 422533.183
AT ITER 956 NEW BEST:: SOT 828656 SOS 496881 HAS SOPS 496881 HAS SOUS 422036 HAS SOUPS 422036 WITH SCORE 422532.881
AT ITER 964 NEW BEST:: SOT 828656 SOS 489848 HAS SOPS 489848 HAS SOUS 422036 HAS SOUPS 422036 WITH SCORE 422525.848
AT ITER 966 NEW BEST:: SOT 828656 SOS 489725 HAS SOPS 489725 HAS SOUS 422036 HAS SOUPS 422036 WITH SCORE 422525.725
AT ITER 991 NEW BEST:: SOT 828656 SOS 489725 HAS SOPS 489725 HAS SOUS 421880 HAS SOUPS 421880 WITH SCORE 422369.725
AT ITER 994 NEW BEST:: SOT 828656 SOS 489899 HAS SOPS 489899 HAS SOUS 421870 HAS SOUPS 421870 WITH SCORE 422359.899
AT ITER 1002 NEW BEST:: SOT 828639 SOS 489602 HAS SOPS 489602 HAS SOUS 421821 HAS SOUPS 421821 WITH SCORE 422310.602
AT ITER 1003 NEW BEST:: SOT 828639 SOS 489445 HAS SOPS 489445 HAS SOUS 421821 HAS SOUPS 421821 WITH SCORE 422310.445
AT ITER 1005 NEW BEST:: SOT 828639 SOS 487963 HAS SOPS 487963 HAS SOUS 421821 HAS SOUPS 421821 WITH SCORE 422308.963
AT ITER 1015 NEW BEST:: SOT 828639 SOS 487854 HAS SOPS 487854 HAS SOUS 421821 HAS SOUPS 421821 WITH SCORE 422308.854
AT ITER 1020 NEW BEST:: SOT 828639 SOS 487850 HAS SOPS 487850 HAS SOUS 421821 HAS SOUPS 421821 WITH SCORE 422308.85
AT ITER 1025 NEW BEST:: SOT 828639 SOS 487532 HAS SOPS 487532 HAS SOUS 421817 HAS SOUPS 421817 WITH SCORE 422304.532
AT ITER 1030 NEW BEST:: SOT 828639 SOS 487498 HAS SOPS 487498 HAS SOUS 421817 HAS SOUPS 421817 WITH SCORE 422304.498
AT ITER 1031 NEW BEST:: SOT 828639 SOS 487425 HAS SOPS 487425 HAS SOUS 421817 HAS SOUPS 421817 WITH SCORE 422304.425
AT ITER 1035 NEW BEST:: SOT 828639 SOS 487273 HAS SOPS 487273 HAS SOUS 421817 HAS SOUPS 421817 WITH SCORE 422304.273
AT ITER 1036 NEW BEST:: SOT 828639 SOS 487179 HAS SOPS 487179 HAS SOUS 421790 HAS SOUPS 421790 WITH SCORE 422277.179
AT ITER 1037 NEW BEST:: SOT 828639 SOS 485558 HAS SOPS 485558 HAS SOUS 421790 HAS SOUPS 421790 WITH SCORE 422275.558
AT ITER 1046 NEW BEST:: SOT 828639 SOS 485351 HAS SOPS 485351 HAS SOUS 421790 HAS SOUPS 421790 WITH SCORE 422275.351
AT ITER 1050 NEW BEST:: SOT 828671 SOS 485327 HAS SOPS 485327 HAS SOUS 421769 HAS SOUPS 421769 WITH SCORE 422254.327
AT ITER 1052 NEW BEST:: SOT 828671 SOS 485239 HAS SOPS 485239 HAS SOUS 421610 HAS SOUPS 421610 WITH SCORE 422095.239
AT ITER 1053 NEW BEST:: SOT 828671 SOS 485189 HAS SOPS 485189 HAS SOUS 421610 HAS SOUPS 421610 WITH SCORE 422095.189
AT ITER 1056 NEW BEST:: SOT 828671 SOS 482999 HAS SOPS 482999 HAS SOUS 421610 HAS SOUPS 421610 WITH SCORE 422092.999
AT ITER 1062 NEW BEST:: SOT 828671 SOS 482585 HAS SOPS 482585 HAS SOUS 421610 HAS SOUPS 421610 WITH SCORE 422092.585
AT ITER 1063 NEW BEST:: SOT 828654 SOS 482344 HAS SOPS 482344 HAS SOUS 421548 HAS SOUPS 421548 WITH SCORE 422030.344
AT ITER 1068 NEW BEST:: SOT 828654 SOS 482191 HAS SOPS 482191 HAS SOUS 421548 HAS SOUPS 421548 WITH SCORE 422030.191
AT ITER 1069 NEW BEST:: SOT 828654 SOS 482284 HAS SOPS 482284 HAS SOUS 421145 HAS SOUPS 421145 WITH SCORE 421627.284
AT ITER 1070 NEW BEST:: SOT 828654 SOS 482071 HAS SOPS 482071 HAS SOUS 421145 HAS SOUPS 421145 WITH SCORE 421627.071
AT ITER 1075 NEW BEST:: SOT 828654 SOS 482041 HAS SOPS 482041 HAS SOUS 421145 HAS SOUPS 421145 WITH SCORE 421627.041
AT ITER 1078 NEW BEST:: SOT 828654 SOS 481888 HAS SOPS 481888 HAS SOUS 421029 HAS SOUPS 421029 WITH SCORE 421510.888
AT ITER 1081 NEW BEST:: SOT 828654 SOS 481789 HAS SOPS 481789 HAS SOUS 420930 HAS SOUPS 420930 WITH SCORE 421411.789
AT ITER 1083 NEW BEST:: SOT 828639 SOS 481639 HAS SOPS 481639 HAS SOUS 420850 HAS SOUPS 420850 WITH SCORE 421331.639
AT ITER 1091 NEW BEST:: SOT 828639 SOS 481325 HAS SOPS 481325 HAS SOUS 420850 HAS SOUPS 420850 WITH SCORE 421331.325
AT ITER 1094 NEW BEST:: SOT 828639 SOS 481273 HAS SOPS 481273 HAS SOUS 420850 HAS SOUPS 420850 WITH SCORE 421331.273
AT ITER 1096 NEW BEST:: SOT 828639 SOS 481118 HAS SOPS 481118 HAS SOUS 420850 HAS SOUPS 420850 WITH SCORE 421331.118
AT ITER 1101 NEW BEST:: SOT 828190 SOS 483169 HAS SOPS 483169 HAS SOUS 420444 HAS SOUPS 420444 WITH SCORE 420927.169
AT ITER 1104 NEW BEST:: SOT 828190 SOS 483089 HAS SOPS 483089 HAS SOUS 420444 HAS SOUPS 420444 WITH SCORE 420927.089
AT ITER 1111 NEW BEST:: SOT 828190 SOS 482624 HAS SOPS 482624 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420654.624
AT ITER 1130 NEW BEST:: SOT 828190 SOS 482584 HAS SOPS 482584 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420654.584
AT ITER 1133 NEW BEST:: SOT 828190 SOS 482177 HAS SOPS 482177 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420654.177
AT ITER 1136 NEW BEST:: SOT 828190 SOS 481914 HAS SOPS 481914 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420653.914
AT ITER 1143 NEW BEST:: SOT 828190 SOS 481677 HAS SOPS 481677 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420653.677
AT ITER 1144 NEW BEST:: SOT 828190 SOS 481562 HAS SOPS 481562 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420653.562
AT ITER 1147 NEW BEST:: SOT 828190 SOS 481328 HAS SOPS 481328 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420653.328
AT ITER 1149 NEW BEST:: SOT 828190 SOS 481257 HAS SOPS 481257 HAS SOUS 420172 HAS SOUPS 420172 WITH SCORE 420653.257
AT ITER 1162 NEW BEST:: SOT 828102 SOS 481213 HAS SOPS 481213 HAS SOUS 420144 HAS SOUPS 420144 WITH SCORE 420625.213
AT ITER 1170 NEW BEST:: SOT 828085 SOS 481196 HAS SOPS 481196 HAS SOUS 420124 HAS SOUPS 420124 WITH SCORE 420605.196
AT ITER 1176 NEW BEST:: SOT 828150 SOS 481318 HAS SOPS 481318 HAS SOUS 420114 HAS SOUPS 420114 WITH SCORE 420595.318
AT ITER 1177 NEW BEST:: SOT 828125 SOS 481061 HAS SOPS 481061 HAS SOUS 420083 HAS SOUPS 420083 WITH SCORE 420564.061
AT ITER 1180 NEW BEST:: SOT 828125 SOS 480676 HAS SOPS 480676 HAS SOUS 420067 HAS SOUPS 420067 WITH SCORE 420547.676
AT ITER 1187 NEW BEST:: SOT 828131 SOS 480677 HAS SOPS 480677 HAS SOUS 420065 HAS SOUPS 420065 WITH SCORE 420545.677
AT ITER 1190 NEW BEST:: SOT 828131 SOS 480524 HAS SOPS 480524 HAS SOUS 420065 HAS SOUPS 420065 WITH SCORE 420545.524
AT ITER 1191 NEW BEST:: SOT 828137 SOS 480400 HAS SOPS 480400 HAS SOUS 420000 HAS SOUPS 420000 WITH SCORE 420480.4
AT ITER 1193 NEW BEST:: SOT 828137 SOS 480372 HAS SOPS 480372 HAS SOUS 419972 HAS SOUPS 419972 WITH SCORE 420452.372
AT ITER 1196 NEW BEST:: SOT 827404 SOS 479639 HAS SOPS 479639 HAS SOUS 419294 HAS SOUPS 419294 WITH SCORE 419773.639
AT ITER 1197 NEW BEST:: SOT 827404 SOS 479603 HAS SOPS 479603 HAS SOUS 419294 HAS SOUPS 419294 WITH SCORE 419773.603
AT ITER 1206 NEW BEST:: SOT 827410 SOS 479344 HAS SOPS 479344 HAS SOUS 419254 HAS SOUPS 419254 WITH SCORE 419733.344
AT ITER 1209 NEW BEST:: SOT 827410 SOS 479112 HAS SOPS 479112 HAS SOUS 419254 HAS SOUPS 419254 WITH SCORE 419733.112
AT ITER 1215 NEW BEST:: SOT 827410 SOS 479014 HAS SOPS 479014 HAS SOUS 419254 HAS SOUPS 419254 WITH SCORE 419733.014
AT ITER 1219 NEW BEST:: SOT 827015 SOS 478529 HAS SOPS 478529 HAS SOUS 419064 HAS SOUPS 419064 WITH SCORE 419542.529
AT ITER 1249 NEW BEST:: SOT 827015 SOS 478490 HAS SOPS 478490 HAS SOUS 419025 HAS SOUPS 419025 WITH SCORE 419503.49
AT ITER 1256 NEW BEST:: SOT 827015 SOS 478425 HAS SOPS 478425 HAS SOUS 419025 HAS SOUPS 419025 WITH SCORE 419503.425
AT ITER 1257 NEW BEST:: SOT 827015 SOS 477660 HAS SOPS 477660 HAS SOUS 419025 HAS SOUPS 419025 WITH SCORE 419502.66
AT ITER 1259 NEW BEST:: SOT 827015 SOS 477617 HAS SOPS 477617 HAS SOUS 419025 HAS SOUPS 419025 WITH SCORE 419502.617
AT ITER 1261 NEW BEST:: SOT 827015 SOS 477546 HAS SOPS 477546 HAS SOUS 419025 HAS SOUPS 419025 WITH SCORE 419502.546
AT ITER 1263 NEW BEST:: SOT 827015 SOS 477474 HAS SOPS 477474 HAS SOUS 419025 HAS SOUPS 419025 WITH SCORE 419502.474
AT ITER 1268 NEW BEST:: SOT 826725 SOS 478471 HAS SOPS 478471 HAS SOUS 419003 HAS SOUPS 419003 WITH SCORE 419481.471
AT ITER 1274 NEW BEST:: SOT 826728 SOS 478297 HAS SOPS 478297 HAS SOUS 418878 HAS SOUPS 418878 WITH SCORE 419356.297
AT ITER 1276 NEW BEST:: SOT 826696 SOS 478036 HAS SOPS 478036 HAS SOUS 418792 HAS SOUPS 418792 WITH SCORE 419270.036
AT ITER 1279 NEW BEST:: SOT 826614 SOS 478014 HAS SOPS 478014 HAS SOUS 418715 HAS SOUPS 418715 WITH SCORE 419193.014
AT ITER 1284 NEW BEST:: SOT 826614 SOS 477495 HAS SOPS 477495 HAS SOUS 418621 HAS SOUPS 418621 WITH SCORE 419098.495
AT ITER 1285 NEW BEST:: SOT 826614 SOS 477175 HAS SOPS 477175 HAS SOUS 418621 HAS SOUPS 418621 WITH SCORE 419098.175
AT ITER 1286 NEW BEST:: SOT 826589 SOS 477141 HAS SOPS 477141 HAS SOUS 418613 HAS SOUPS 418613 WITH SCORE 419090.141
AT ITER 1287 NEW BEST:: SOT 826712 SOS 477153 HAS SOPS 477153 HAS SOUS 418562 HAS SOUPS 418562 WITH SCORE 419039.153
AT ITER 1289 NEW BEST:: SOT 826712 SOS 477099 HAS SOPS 477099 HAS SOUS 418562 HAS SOUPS 418562 WITH SCORE 419039.099
AT ITER 1291 NEW BEST:: SOT 826712 SOS 475721 HAS SOPS 475721 HAS SOUS 418562 HAS SOUPS 418562 WITH SCORE 419037.721
AT ITER 1295 NEW BEST:: SOT 826323 SOS 475556 HAS SOPS 475556 HAS SOUS 418274 HAS SOUPS 418274 WITH SCORE 418749.556
AT ITER 1298 NEW BEST:: SOT 826323 SOS 475467 HAS SOPS 475467 HAS SOUS 418274 HAS SOUPS 418274 WITH SCORE 418749.467
AT ITER 1307 NEW BEST:: SOT 825543 SOS 474752 HAS SOPS 474752 HAS SOUS 417605 HAS SOUPS 417605 WITH SCORE 418079.752
AT ITER 1312 NEW BEST:: SOT 825543 SOS 474642 HAS SOPS 474642 HAS SOUS 417605 HAS SOUPS 417605 WITH SCORE 418079.642
AT ITER 1316 NEW BEST:: SOT 825710 SOS 474341 HAS SOPS 474341 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417682.341
AT ITER 1321 NEW BEST:: SOT 825710 SOS 474183 HAS SOPS 474183 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417682.183
AT ITER 1324 NEW BEST:: SOT 825710 SOS 473821 HAS SOPS 473821 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417681.821
AT ITER 1332 NEW BEST:: SOT 825710 SOS 473766 HAS SOPS 473766 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417681.766
AT ITER 1345 NEW BEST:: SOT 825710 SOS 473639 HAS SOPS 473639 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417681.639
AT ITER 1352 NEW BEST:: SOT 825710 SOS 473488 HAS SOPS 473488 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417681.488
AT ITER 1368 NEW BEST:: SOT 825710 SOS 473334 HAS SOPS 473334 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417681.334
AT ITER 1371 NEW BEST:: SOT 825710 SOS 473323 HAS SOPS 473323 HAS SOUS 417208 HAS SOUPS 417208 WITH SCORE 417681.323
AT ITER 1372 NEW BEST:: SOT 825902 SOS 473515 HAS SOPS 473515 HAS SOUS 416951 HAS SOUPS 416951 WITH SCORE 417424.515
AT ITER 1373 NEW BEST:: SOT 825902 SOS 473379 HAS SOPS 473379 HAS SOUS 416951 HAS SOUPS 416951 WITH SCORE 417424.379
AT ITER 1385 NEW BEST:: SOT 825902 SOS 473002 HAS SOPS 473002 HAS SOUS 416951 HAS SOUPS 416951 WITH SCORE 417424.002
AT ITER 1388 NEW BEST:: SOT 825894 SOS 473322 HAS SOPS 473322 HAS SOUS 416888 HAS SOUPS 416888 WITH SCORE 417361.322
AT ITER 1391 NEW BEST:: SOT 825894 SOS 473039 HAS SOPS 473039 HAS SOUS 416888 HAS SOUPS 416888 WITH SCORE 417361.039
AT ITER 1392 NEW BEST:: SOT 825894 SOS 473015 HAS SOPS 473015 HAS SOUS 416888 HAS SOUPS 416888 WITH SCORE 417361.015
AT ITER 1395 NEW BEST:: SOT 825894 SOS 473004 HAS SOPS 473004 HAS SOUS 416877 HAS SOUPS 416877 WITH SCORE 417350.004
AT ITER 1407 NEW BEST:: SOT 825870 SOS 472587 HAS SOPS 472587 HAS SOUS 416730 HAS SOUPS 416730 WITH SCORE 417202.587
AT ITER 1412 NEW BEST:: SOT 825870 SOS 472466 HAS SOPS 472466 HAS SOUS 416730 HAS SOUPS 416730 WITH SCORE 417202.466
AT ITER 1417 NEW BEST:: SOT 825870 SOS 472362 HAS SOPS 472362 HAS SOUS 416730 HAS SOUPS 416730 WITH SCORE 417202.362
AT ITER 1431 NEW BEST:: SOT 825059 SOS 471689 HAS SOPS 471689 HAS SOUS 416234 HAS SOUPS 416234 WITH SCORE 416705.689
AT ITER 1432 NEW BEST:: SOT 825059 SOS 471572 HAS SOPS 471572 HAS SOUS 416234 HAS SOUPS 416234 WITH SCORE 416705.572
AT ITER 1434 NEW BEST:: SOT 824745 SOS 472434 HAS SOPS 472434 HAS SOUS 416190 HAS SOUPS 416190 WITH SCORE 416662.434
AT ITER 1439 NEW BEST:: SOT 824745 SOS 472152 HAS SOPS 472152 HAS SOUS 416190 HAS SOUPS 416190 WITH SCORE 416662.152
AT ITER 1443 NEW BEST:: SOT 824745 SOS 472033 HAS SOPS 472033 HAS SOUS 416183 HAS SOUPS 416183 WITH SCORE 416655.033
AT ITER 1449 NEW BEST:: SOT 824236 SOS 475855 HAS SOPS 475855 HAS SOUS 416078 HAS SOUPS 416078 WITH SCORE 416553.855
AT ITER 1456 NEW BEST:: SOT 824236 SOS 475181 HAS SOPS 475181 HAS SOUS 415959 HAS SOUPS 415959 WITH SCORE 416434.181
AT ITER 1457 NEW BEST:: SOT 824236 SOS 474887 HAS SOPS 474887 HAS SOUS 415959 HAS SOUPS 415959 WITH SCORE 416433.887
AT ITER 1459 NEW BEST:: SOT 824236 SOS 474872 HAS SOPS 474872 HAS SOUS 415944 HAS SOUPS 415944 WITH SCORE 416418.872
AT ITER 1461 NEW BEST:: SOT 823699 SOS 475439 HAS SOPS 475439 HAS SOUS 415899 HAS SOUPS 415899 WITH SCORE 416374.439
AT ITER 1465 NEW BEST:: SOT 823699 SOS 475380 HAS SOPS 475380 HAS SOUS 415899 HAS SOUPS 415899 WITH SCORE 416374.38
AT ITER 1470 NEW BEST:: SOT 823699 SOS 475056 HAS SOPS 475056 HAS SOUS 415899 HAS SOUPS 415899 WITH SCORE 416374.056
AT ITER 1476 NEW BEST:: SOT 823699 SOS 475056 HAS SOPS 475056 HAS SOUS 415703 HAS SOUPS 415703 WITH SCORE 416178.056
AT ITER 1479 NEW BEST:: SOT 823699 SOS 475005 HAS SOPS 475005 HAS SOUS 415703 HAS SOUPS 415703 WITH SCORE 416178.005
AT ITER 1487 NEW BEST:: SOT 823699 SOS 474952 HAS SOPS 474952 HAS SOUS 415703 HAS SOUPS 415703 WITH SCORE 416177.952
AT ITER 1491 NEW BEST:: SOT 823699 SOS 474794 HAS SOPS 474794 HAS SOUS 415703 HAS SOUPS 415703 WITH SCORE 416177.794
AT ITER 1494 NEW BEST:: SOT 823695 SOS 474786 HAS SOPS 474786 HAS SOUS 415694 HAS SOUPS 415694 WITH SCORE 416168.786
AT ITER 1499 NEW BEST:: SOT 823695 SOS 474569 HAS SOPS 474569 HAS SOUS 415694 HAS SOUPS 415694 WITH SCORE 416168.569
AT ITER 1506 NEW BEST:: SOT 823695 SOS 474217 HAS SOPS 474217 HAS SOUS 415694 HAS SOUPS 415694 WITH SCORE 416168.217
AT ITER 1524 NEW BEST:: SOT 823695 SOS 474145 HAS SOPS 474145 HAS SOUS 415668 HAS SOUPS 415668 WITH SCORE 416142.145
AT ITER 1528 NEW BEST:: SOT 823695 SOS 474144 HAS SOPS 474144 HAS SOUS 415668 HAS SOUPS 415668 WITH SCORE 416142.144
AT ITER 1530 NEW BEST:: SOT 823621 SOS 474131 HAS SOPS 474131 HAS SOUS 415644 HAS SOUPS 415644 WITH SCORE 416118.131
AT ITER 1533 NEW BEST:: SOT 823621 SOS 474111 HAS SOPS 474111 HAS SOUS 415644 HAS SOUPS 415644 WITH SCORE 416118.111
AT ITER 1535 NEW BEST:: SOT 823621 SOS 474125 HAS SOPS 474125 HAS SOUS 415526 HAS SOUPS 415526 WITH SCORE 416000.125
AT ITER 1543 NEW BEST:: SOT 823621 SOS 473864 HAS SOPS 473864 HAS SOUS 415526 HAS SOUPS 415526 WITH SCORE 415999.864
AT ITER 1545 NEW BEST:: SOT 823569 SOS 473715 HAS SOPS 473715 HAS SOUS 415506 HAS SOUPS 415506 WITH SCORE 415979.715
AT ITER 1546 NEW BEST:: SOT 823574 SOS 473838 HAS SOPS 473838 HAS SOUS 415414 HAS SOUPS 415414 WITH SCORE 415887.838
AT ITER 1552 NEW BEST:: SOT 821127 SOS 471862 HAS SOPS 471862 HAS SOUS 413853 HAS SOUPS 413853 WITH SCORE 414324.862
AT ITER 1556 NEW BEST:: SOT 821127 SOS 467492 HAS SOPS 467492 HAS SOUS 413853 HAS SOUPS 413853 WITH SCORE 414320.492
AT ITER 1566 NEW BEST:: SOT 820370 SOS 466831 HAS SOPS 466831 HAS SOUS 413421 HAS SOUPS 413421 WITH SCORE 413887.831
AT ITER 1569 NEW BEST:: SOT 820354 SOS 466959 HAS SOPS 466959 HAS SOUS 413414 HAS SOUPS 413414 WITH SCORE 413880.959
AT ITER 1583 NEW BEST:: SOT 820354 SOS 466944 HAS SOPS 466944 HAS SOUS 413414 HAS SOUPS 413414 WITH SCORE 413880.944
AT ITER 1585 NEW BEST:: SOT 820354 SOS 466892 HAS SOPS 466892 HAS SOUS 413414 HAS SOUPS 413414 WITH SCORE 413880.892
AT ITER 1595 NEW BEST:: SOT 820301 SOS 466761 HAS SOPS 466761 HAS SOUS 413253 HAS SOUPS 413253 WITH SCORE 413719.761
AT ITER 1606 NEW BEST:: SOT 820301 SOS 466731 HAS SOPS 466731 HAS SOUS 413253 HAS SOUPS 413253 WITH SCORE 413719.731
AT ITER 1607 NEW BEST:: SOT 820301 SOS 465302 HAS SOPS 465302 HAS SOUS 413253 HAS SOUPS 413253 WITH SCORE 413718.302
AT ITER 1609 NEW BEST:: SOT 820301 SOS 465225 HAS SOPS 465225 HAS SOUS 413253 HAS SOUPS 413253 WITH SCORE 413718.225
AT ITER 1617 NEW BEST:: SOT 819895 SOS 464451 HAS SOPS 464451 HAS SOUS 412365 HAS SOUPS 412365 WITH SCORE 412829.451
AT ITER 1623 NEW BEST:: SOT 819802 SOS 464358 HAS SOPS 464358 HAS SOUS 412285 HAS SOUPS 412285 WITH SCORE 412749.358
AT ITER 1624 NEW BEST:: SOT 819802 SOS 464231 HAS SOPS 464231 HAS SOUS 412285 HAS SOUPS 412285 WITH SCORE 412749.231
AT ITER 1625 NEW BEST:: SOT 819802 SOS 463985 HAS SOPS 463985 HAS SOUS 412285 HAS SOUPS 412285 WITH SCORE 412748.985
AT ITER 1630 NEW BEST:: SOT 819802 SOS 461139 HAS SOPS 461139 HAS SOUS 412285 HAS SOUPS 412285 WITH SCORE 412746.139
AT ITER 1631 NEW BEST:: SOT 819107 SOS 460519 HAS SOPS 460519 HAS SOUS 411664 HAS SOUPS 411664 WITH SCORE 412124.519
AT ITER 1636 NEW BEST:: SOT 818423 SOS 460336 HAS SOPS 460336 HAS SOUS 411303 HAS SOUPS 411303 WITH SCORE 411763.336
AT ITER 1637 NEW BEST:: SOT 818423 SOS 460103 HAS SOPS 460103 HAS SOUS 411177 HAS SOUPS 411177 WITH SCORE 411637.103
AT ITER 1640 NEW BEST:: SOT 818423 SOS 460028 HAS SOPS 460028 HAS SOUS 411160 HAS SOUPS 411160 WITH SCORE 411620.028
AT ITER 1641 NEW BEST:: SOT 818423 SOS 460011 HAS SOPS 460011 HAS SOUS 411160 HAS SOUPS 411160 WITH SCORE 411620.011
AT ITER 1642 NEW BEST:: SOT 818423 SOS 459937 HAS SOPS 459937 HAS SOUS 411160 HAS SOUPS 411160 WITH SCORE 411619.937
AT ITER 1650 NEW BEST:: SOT 818423 SOS 459445 HAS SOPS 459445 HAS SOUS 411160 HAS SOUPS 411160 WITH SCORE 411619.445
AT ITER 1651 NEW BEST:: SOT 818423 SOS 459445 HAS SOPS 459445 HAS SOUS 411123 HAS SOUPS 411123 WITH SCORE 411582.445
AT ITER 1653 NEW BEST:: SOT 818423 SOS 459406 HAS SOPS 459406 HAS SOUS 411078 HAS SOUPS 411078 WITH SCORE 411537.406
AT ITER 1658 NEW BEST:: SOT 818583 SOS 459566 HAS SOPS 459566 HAS SOUS 411062 HAS SOUPS 411062 WITH SCORE 411521.566
AT ITER 1660 NEW BEST:: SOT 818269 SOS 459240 HAS SOPS 459240 HAS SOUS 410658 HAS SOUPS 410658 WITH SCORE 411117.24
AT ITER 1665 NEW BEST:: SOT 818269 SOS 459227 HAS SOPS 459227 HAS SOUS 410658 HAS SOUPS 410658 WITH SCORE 411117.227
AT ITER 1668 NEW BEST:: SOT 818269 SOS 459059 HAS SOPS 459059 HAS SOUS 410658 HAS SOUPS 410658 WITH SCORE 411117.059
AT ITER 1672 NEW BEST:: SOT 818269 SOS 459012 HAS SOPS 459012 HAS SOUS 410658 HAS SOUPS 410658 WITH SCORE 411117.012
AT ITER 1677 NEW BEST:: SOT 818270 SOS 458964 HAS SOPS 458964 HAS SOUS 410435 HAS SOUPS 410435 WITH SCORE 410893.964
AT ITER 1681 NEW BEST:: SOT 818270 SOS 457774 HAS SOPS 457774 HAS SOUS 410435 HAS SOUPS 410435 WITH SCORE 410892.774
AT ITER 1683 NEW BEST:: SOT 818270 SOS 457439 HAS SOPS 457439 HAS SOUS 410435 HAS SOUPS 410435 WITH SCORE 410892.439
AT ITER 1686 NEW BEST:: SOT 817851 SOS 457109 HAS SOPS 457109 HAS SOUS 410033 HAS SOUPS 410033 WITH SCORE 410490.109
AT ITER 1696 NEW BEST:: SOT 817851 SOS 456900 HAS SOPS 456900 HAS SOUS 410033 HAS SOUPS 410033 WITH SCORE 410489.9
AT ITER 1702 NEW BEST:: SOT 817851 SOS 456646 HAS SOPS 456646 HAS SOUS 410028 HAS SOUPS 410028 WITH SCORE 410484.646
AT ITER 1706 NEW BEST:: SOT 817201 SOS 464306 HAS SOPS 464306 HAS SOUS 409904 HAS SOUPS 409904 WITH SCORE 410368.306
AT ITER 1708 NEW BEST:: SOT 816526 SOS 463921 HAS SOPS 463921 HAS SOUS 409674 HAS SOUPS 409674 WITH SCORE 410137.921
AT ITER 1710 NEW BEST:: SOT 816526 SOS 463601 HAS SOPS 463601 HAS SOUS 409546 HAS SOUPS 409546 WITH SCORE 410009.601
AT ITER 1712 NEW BEST:: SOT 816526 SOS 463033 HAS SOPS 463033 HAS SOUS 409546 HAS SOUPS 409546 WITH SCORE 410009.033
AT ITER 1714 NEW BEST:: SOT 816518 SOS 462297 HAS SOPS 462297 HAS SOUS 409401 HAS SOUPS 409401 WITH SCORE 409863.297
AT ITER 1717 NEW BEST:: SOT 816518 SOS 462268 HAS SOPS 462268 HAS SOUS 409401 HAS SOUPS 409401 WITH SCORE 409863.268
AT ITER 1721 NEW BEST:: SOT 816518 SOS 461212 HAS SOPS 461212 HAS SOUS 409401 HAS SOUPS 409401 WITH SCORE 409862.212
AT ITER 1724 NEW BEST:: SOT 816533 SOS 460854 HAS SOPS 460854 HAS SOUS 409377 HAS SOUPS 409377 WITH SCORE 409837.854
AT ITER 1726 NEW BEST:: SOT 816533 SOS 460829 HAS SOPS 460829 HAS SOUS 409371 HAS SOUPS 409371 WITH SCORE 409831.829
AT ITER 1730 NEW BEST:: SOT 816564 SOS 461231 HAS SOPS 461231 HAS SOUS 409357 HAS SOUPS 409357 WITH SCORE 409818.231
AT ITER 1742 NEW BEST:: SOT 816550 SOS 461217 HAS SOPS 461217 HAS SOUS 409343 HAS SOUPS 409343 WITH SCORE 409804.217
AT ITER 1752 NEW BEST:: SOT 816550 SOS 457880 HAS SOPS 457880 HAS SOUS 409218 HAS SOUPS 409218 WITH SCORE 409675.88
AT ITER 1755 NEW BEST:: SOT 816550 SOS 457641 HAS SOPS 457641 HAS SOUS 409218 HAS SOUPS 409218 WITH SCORE 409675.641
AT ITER 1756 NEW BEST:: SOT 816550 SOS 457576 HAS SOPS 457576 HAS SOUS 409218 HAS SOUPS 409218 WITH SCORE 409675.576
AT ITER 1760 NEW BEST:: SOT 816064 SOS 457382 HAS SOPS 457382 HAS SOUS 408818 HAS SOUPS 408818 WITH SCORE 409275.382
AT ITER 1765 NEW BEST:: SOT 816053 SOS 457371 HAS SOPS 457371 HAS SOUS 408807 HAS SOUPS 408807 WITH SCORE 409264.371
AT ITER 1766 NEW BEST:: SOT 816053 SOS 457209 HAS SOPS 457209 HAS SOUS 408786 HAS SOUPS 408786 WITH SCORE 409243.209
AT ITER 1768 NEW BEST:: SOT 816053 SOS 457197 HAS SOPS 457197 HAS SOUS 408786 HAS SOUPS 408786 WITH SCORE 409243.197
AT ITER 1776 NEW BEST:: SOT 816053 SOS 457138 HAS SOPS 457138 HAS SOUS 408786 HAS SOUPS 408786 WITH SCORE 409243.138
AT ITER 1780 NEW BEST:: SOT 816053 SOS 457007 HAS SOPS 457007 HAS SOUS 408786 HAS SOUPS 408786 WITH SCORE 409243.007
AT ITER 1782 NEW BEST:: SOT 816083 SOS 457037 HAS SOPS 457037 HAS SOUS 408758 HAS SOUPS 408758 WITH SCORE 409215.037
AT ITER 1790 NEW BEST:: SOT 816083 SOS 456946 HAS SOPS 456946 HAS SOUS 408733 HAS SOUPS 408733 WITH SCORE 409189.946
AT ITER 1793 NEW BEST:: SOT 816083 SOS 456634 HAS SOPS 456634 HAS SOUS 408733 HAS SOUPS 408733 WITH SCORE 409189.634
AT ITER 1803 NEW BEST:: SOT 816083 SOS 456230 HAS SOPS 456230 HAS SOUS 408698 HAS SOUPS 408698 WITH SCORE 409154.23
AT ITER 1806 NEW BEST:: SOT 815832 SOS 456164 HAS SOPS 456164 HAS SOUS 408535 HAS SOUPS 408535 WITH SCORE 408991.164
AT ITER 1807 NEW BEST:: SOT 815097 SOS 459428 HAS SOPS 459428 HAS SOUS 408522 HAS SOUPS 408522 WITH SCORE 408981.428
AT ITER 1808 NEW BEST:: SOT 815126 SOS 459112 HAS SOPS 459112 HAS SOUS 408520 HAS SOUPS 408520 WITH SCORE 408979.112
AT ITER 1810 NEW BEST:: SOT 815126 SOS 459027 HAS SOPS 459027 HAS SOUS 408520 HAS SOUPS 408520 WITH SCORE 408979.027
AT ITER 1815 NEW BEST:: SOT 815126 SOS 458970 HAS SOPS 458970 HAS SOUS 408465 HAS SOUPS 408465 WITH SCORE 408923.97
AT ITER 1818 NEW BEST:: SOT 815126 SOS 458891 HAS SOPS 458891 HAS SOUS 408465 HAS SOUPS 408465 WITH SCORE 408923.891
AT ITER 1828 NEW BEST:: SOT 815126 SOS 459370 HAS SOPS 459370 HAS SOUS 408461 HAS SOUPS 408461 WITH SCORE 408920.37
AT ITER 1831 NEW BEST:: SOT 815126 SOS 459184 HAS SOPS 459184 HAS SOUS 408461 HAS SOUPS 408461 WITH SCORE 408920.184
AT ITER 1835 NEW BEST:: SOT 815112 SOS 459086 HAS SOPS 459086 HAS SOUS 408401 HAS SOUPS 408401 WITH SCORE 408860.086
AT ITER 1842 NEW BEST:: SOT 815112 SOS 459119 HAS SOPS 459119 HAS SOUS 408265 HAS SOUPS 408265 WITH SCORE 408724.119
AT ITER 1847 NEW BEST:: SOT 815082 SOS 459089 HAS SOPS 459089 HAS SOUS 408245 HAS SOUPS 408245 WITH SCORE 408704.089
AT ITER 1848 NEW BEST:: SOT 815061 SOS 459040 HAS SOPS 459040 HAS SOUS 408178 HAS SOUPS 408178 WITH SCORE 408637.04
AT ITER 1849 NEW BEST:: SOT 815061 SOS 458985 HAS SOPS 458985 HAS SOUS 408110 HAS SOUPS 408110 WITH SCORE 408568.985
AT ITER 1856 NEW BEST:: SOT 815061 SOS 458777 HAS SOPS 458777 HAS SOUS 407997 HAS SOUPS 407997 WITH SCORE 408455.777
AT ITER 1867 NEW BEST:: SOT 815061 SOS 458703 HAS SOPS 458703 HAS SOUS 407997 HAS SOUPS 407997 WITH SCORE 408455.703
AT ITER 1868 NEW BEST:: SOT 815061 SOS 458816 HAS SOPS 458816 HAS SOUS 407967 HAS SOUPS 407967 WITH SCORE 408425.816
AT ITER 1870 NEW BEST:: SOT 815061 SOS 458738 HAS SOPS 458738 HAS SOUS 407967 HAS SOUPS 407967 WITH SCORE 408425.738
AT ITER 1871 NEW BEST:: SOT 815061 SOS 458653 HAS SOPS 458653 HAS SOUS 407967 HAS SOUPS 407967 WITH SCORE 408425.653
AT ITER 1880 NEW BEST:: SOT 815061 SOS 458047 HAS SOPS 458047 HAS SOUS 407967 HAS SOUPS 407967 WITH SCORE 408425.047
AT ITER 1885 NEW BEST:: SOT 815061 SOS 457838 HAS SOPS 457838 HAS SOUS 407758 HAS SOUPS 407758 WITH SCORE 408215.838
AT ITER 1894 NEW BEST:: SOT 815032 SOS 457861 HAS SOPS 457861 HAS SOUS 407727 HAS SOUPS 407727 WITH SCORE 408184.861
AT ITER 1896 NEW BEST:: SOT 814617 SOS 457455 HAS SOPS 457455 HAS SOUS 407321 HAS SOUPS 407321 WITH SCORE 407778.455
AT ITER 1899 NEW BEST:: SOT 814617 SOS 457446 HAS SOPS 457446 HAS SOUS 407321 HAS SOUPS 407321 WITH SCORE 407778.446
AT ITER 1906 NEW BEST:: SOT 813745 SOS 456863 HAS SOPS 456863 HAS SOUS 406868 HAS SOUPS 406868 WITH SCORE 407324.863
AT ITER 1908 NEW BEST:: SOT 813745 SOS 456599 HAS SOPS 456599 HAS SOUS 406640 HAS SOUPS 406640 WITH SCORE 407096.599
AT ITER 1910 NEW BEST:: SOT 813224 SOS 456078 HAS SOPS 456078 HAS SOUS 406119 HAS SOUPS 406119 WITH SCORE 406575.078
AT ITER 1912 NEW BEST:: SOT 813239 SOS 456152 HAS SOPS 456152 HAS SOUS 406078 HAS SOUPS 406078 WITH SCORE 406534.152
AT ITER 1917 NEW BEST:: SOT 813200 SOS 456539 HAS SOPS 456539 HAS SOUS 406049 HAS SOUPS 406049 WITH SCORE 406505.539
AT ITER 1918 NEW BEST:: SOT 813200 SOS 456382 HAS SOPS 456382 HAS SOUS 406049 HAS SOUPS 406049 WITH SCORE 406505.382
AT ITER 1920 NEW BEST:: SOT 813153 SOS 456335 HAS SOPS 456335 HAS SOUS 405952 HAS SOUPS 405952 WITH SCORE 406408.335
AT ITER 1922 NEW BEST:: SOT 813153 SOS 456321 HAS SOPS 456321 HAS SOUS 405952 HAS SOUPS 405952 WITH SCORE 406408.321
AT ITER 1923 NEW BEST:: SOT 813153 SOS 456303 HAS SOPS 456303 HAS SOUS 405952 HAS SOUPS 405952 WITH SCORE 406408.303
AT ITER 1927 NEW BEST:: SOT 813148 SOS 456392 HAS SOPS 456392 HAS SOUS 405831 HAS SOUPS 405831 WITH SCORE 406287.392
AT ITER 1933 NEW BEST:: SOT 813088 SOS 456336 HAS SOPS 456336 HAS SOUS 405539 HAS SOUPS 405539 WITH SCORE 405995.336
AT ITER 1946 NEW BEST:: SOT 813435 SOS 455867 HAS SOPS 455867 HAS SOUS 405427 HAS SOUPS 405427 WITH SCORE 405882.867
AT ITER 1948 NEW BEST:: SOT 813452 SOS 455439 HAS SOPS 455439 HAS SOUS 405414 HAS SOUPS 405414 WITH SCORE 405869.439
AT ITER 1952 NEW BEST:: SOT 813455 SOS 455142 HAS SOPS 455142 HAS SOUS 404772 HAS SOUPS 404772 WITH SCORE 405227.142
AT ITER 1957 NEW BEST:: SOT 813455 SOS 455091 HAS SOPS 455091 HAS SOUS 404721 HAS SOUPS 404721 WITH SCORE 405176.091
AT ITER 1959 NEW BEST:: SOT 813455 SOS 454773 HAS SOPS 454773 HAS SOUS 404721 HAS SOUPS 404721 WITH SCORE 405175.773
AT ITER 1965 NEW BEST:: SOT 813455 SOS 454582 HAS SOPS 454582 HAS SOUS 404721 HAS SOUPS 404721 WITH SCORE 405175.582
AT ITER 1971 NEW BEST:: SOT 813455 SOS 454766 HAS SOPS 454766 HAS SOUS 404652 HAS SOUPS 404652 WITH SCORE 405106.766
AT ITER 1972 NEW BEST:: SOT 813497 SOS 455035 HAS SOPS 455035 HAS SOUS 404642 HAS SOUPS 404642 WITH SCORE 405097.035
AT ITER 1988 NEW BEST:: SOT 813497 SOS 454234 HAS SOPS 454234 HAS SOUS 404642 HAS SOUPS 404642 WITH SCORE 405096.234
AT ITER 1991 NEW BEST:: SOT 813193 SOS 454209 HAS SOPS 454209 HAS SOUS 404616 HAS SOUPS 404616 WITH SCORE 405070.209
AT ITER 2001 NEW BEST:: SOT 812929 SOS 454123 HAS SOPS 454123 HAS SOUS 404492 HAS SOUPS 404492 WITH SCORE 404946.123
AT ITER 2004 NEW BEST:: SOT 812914 SOS 453969 HAS SOPS 453969 HAS SOUS 404486 HAS SOUPS 404486 WITH SCORE 404939.969
AT ITER 2015 NEW BEST:: SOT 812618 SOS 453673 HAS SOPS 453673 HAS SOUS 404242 HAS SOUPS 404242 WITH SCORE 404695.673
AT ITER 2016 NEW BEST:: SOT 812618 SOS 453630 HAS SOPS 453630 HAS SOUS 404242 HAS SOUPS 404242 WITH SCORE 404695.63
AT ITER 2027 NEW BEST:: SOT 812618 SOS 453608 HAS SOPS 453608 HAS SOUS 404242 HAS SOUPS 404242 WITH SCORE 404695.608
AT ITER 2036 NEW BEST:: SOT 812624 SOS 453634 HAS SOPS 453634 HAS SOUS 404241 HAS SOUPS 404241 WITH SCORE 404694.634
AT ITER 2040 NEW BEST:: SOT 812624 SOS 453598 HAS SOPS 453598 HAS SOUS 404241 HAS SOUPS 404241 WITH SCORE 404694.598
AT ITER 2042 NEW BEST:: SOT 812541 SOS 453585 HAS SOPS 453585 HAS SOUS 404234 HAS SOUPS 404234 WITH SCORE 404687.585
AT ITER 2046 NEW BEST:: SOT 812515 SOS 453638 HAS SOPS 453638 HAS SOUS 404227 HAS SOUPS 404227 WITH SCORE 404680.638
AT ITER 2048 NEW BEST:: SOT 812515 SOS 453601 HAS SOPS 453601 HAS SOUS 404227 HAS SOUPS 404227 WITH SCORE 404680.601
AT ITER 2049 NEW BEST:: SOT 812515 SOS 452034 HAS SOPS 452034 HAS SOUS 404227 HAS SOUPS 404227 WITH SCORE 404679.034
AT ITER 2051 NEW BEST:: SOT 812522 SOS 451900 HAS SOPS 451900 HAS SOUS 404116 HAS SOUPS 404116 WITH SCORE 404567.9
AT ITER 2054 NEW BEST:: SOT 812522 SOS 451769 HAS SOPS 451769 HAS SOUS 404116 HAS SOUPS 404116 WITH SCORE 404567.769
AT ITER 2059 NEW BEST:: SOT 812522 SOS 451692 HAS SOPS 451692 HAS SOUS 404116 HAS SOUPS 404116 WITH SCORE 404567.692
AT ITER 2061 NEW BEST:: SOT 812522 SOS 451636 HAS SOPS 451636 HAS SOUS 404116 HAS SOUPS 404116 WITH SCORE 404567.636
AT ITER 2067 NEW BEST:: SOT 812522 SOS 451571 HAS SOPS 451571 HAS SOUS 404116 HAS SOUPS 404116 WITH SCORE 404567.571
AT ITER 2088 NEW BEST:: SOT 812522 SOS 451509 HAS SOPS 451509 HAS SOUS 404116 HAS SOUPS 404116 WITH SCORE 404567.509
AT ITER 2092 NEW BEST:: SOT 812516 SOS 452025 HAS SOPS 452025 HAS SOUS 404060 HAS SOUPS 404060 WITH SCORE 404512.025
AT ITER 2101 NEW BEST:: SOT 812516 SOS 451902 HAS SOPS 451902 HAS SOUS 404060 HAS SOUPS 404060 WITH SCORE 404511.902
AT ITER 2106 NEW BEST:: SOT 812516 SOS 451870 HAS SOPS 451870 HAS SOUS 404060 HAS SOUPS 404060 WITH SCORE 404511.87
AT ITER 2112 NEW BEST:: SOT 812516 SOS 451779 HAS SOPS 451779 HAS SOUS 404005 HAS SOUPS 404005 WITH SCORE 404456.779
AT ITER 2124 NEW BEST:: SOT 812516 SOS 451731 HAS SOPS 451731 HAS SOUS 403965 HAS SOUPS 403965 WITH SCORE 404416.731
AT ITER 2130 NEW BEST:: SOT 812499 SOS 451889 HAS SOPS 451889 HAS SOUS 403868 HAS SOUPS 403868 WITH SCORE 404319.889
AT ITER 2131 NEW BEST:: SOT 812499 SOS 451780 HAS SOPS 451780 HAS SOUS 403868 HAS SOUPS 403868 WITH SCORE 404319.78
AT ITER 2143 NEW BEST:: SOT 812499 SOS 451689 HAS SOPS 451689 HAS SOUS 403868 HAS SOUPS 403868 WITH SCORE 404319.689
AT ITER 2147 NEW BEST:: SOT 812548 SOS 448785 HAS SOPS 448785 HAS SOUS 403564 HAS SOUPS 403564 WITH SCORE 404012.785
AT ITER 2150 NEW BEST:: SOT 812533 SOS 448511 HAS SOPS 448511 HAS SOUS 403549 HAS SOUPS 403549 WITH SCORE 403997.511
AT ITER 2161 NEW BEST:: SOT 812231 SOS 448442 HAS SOPS 448442 HAS SOUS 403478 HAS SOUPS 403478 WITH SCORE 403926.442
AT ITER 2164 NEW BEST:: SOT 812231 SOS 448305 HAS SOPS 448305 HAS SOUS 403435 HAS SOUPS 403435 WITH SCORE 403883.305
AT ITER 2170 NEW BEST:: SOT 812231 SOS 448294 HAS SOPS 448294 HAS SOUS 403435 HAS SOUPS 403435 WITH SCORE 403883.294
AT ITER 2173 NEW BEST:: SOT 812231 SOS 448112 HAS SOPS 448112 HAS SOUS 403435 HAS SOUPS 403435 WITH SCORE 403883.112
AT ITER 2187 NEW BEST:: SOT 812231 SOS 447043 HAS SOPS 447043 HAS SOUS 403422 HAS SOUPS 403422 WITH SCORE 403869.043
AT ITER 2200 NEW BEST:: SOT 812231 SOS 445256 HAS SOPS 445256 HAS SOUS 403271 HAS SOUPS 403271 WITH SCORE 403716.256
AT ITER 2205 NEW BEST:: SOT 812231 SOS 445189 HAS SOPS 445189 HAS SOUS 403216 HAS SOUPS 403216 WITH SCORE 403661.189
AT ITER 2220 NEW BEST:: SOT 812231 SOS 445145 HAS SOPS 445145 HAS SOUS 403172 HAS SOUPS 403172 WITH SCORE 403617.145
AT ITER 2222 NEW BEST:: SOT 812231 SOS 444922 HAS SOPS 444922 HAS SOUS 403172 HAS SOUPS 403172 WITH SCORE 403616.922
AT ITER 2227 NEW BEST:: SOT 812231 SOS 444606 HAS SOPS 444606 HAS SOUS 403172 HAS SOUPS 403172 WITH SCORE 403616.606
AT ITER 2230 NEW BEST:: SOT 812231 SOS 444583 HAS SOPS 444583 HAS SOUS 403172 HAS SOUPS 403172 WITH SCORE 403616.583
AT ITER 2236 NEW BEST:: SOT 812231 SOS 444502 HAS SOPS 444502 HAS SOUS 403172 HAS SOUPS 403172 WITH SCORE 403616.502
AT ITER 2239 NEW BEST:: SOT 812205 SOS 444514 HAS SOPS 444514 HAS SOUS 403110 HAS SOUPS 403110 WITH SCORE 403554.514
AT ITER 2241 NEW BEST:: SOT 812205 SOS 444454 HAS SOPS 444454 HAS SOUS 403110 HAS SOUPS 403110 WITH SCORE 403554.454
AT ITER 2243 NEW BEST:: SOT 812111 SOS 444317 HAS SOPS 444317 HAS SOUS 402987 HAS SOUPS 402987 WITH SCORE 403431.317
AT ITER 2250 NEW BEST:: SOT 812111 SOS 442906 HAS SOPS 442906 HAS SOUS 402918 HAS SOUPS 402918 WITH SCORE 403360.906
AT ITER 2263 NEW BEST:: SOT 812111 SOS 442728 HAS SOPS 442728 HAS SOUS 402918 HAS SOUPS 402918 WITH SCORE 403360.728
AT ITER 2267 NEW BEST:: SOT 812104 SOS 442721 HAS SOPS 442721 HAS SOUS 402911 HAS SOUPS 402911 WITH SCORE 403353.721
AT ITER 2269 NEW BEST:: SOT 812104 SOS 442587 HAS SOPS 442587 HAS SOUS 402911 HAS SOUPS 402911 WITH SCORE 403353.587
AT ITER 2275 NEW BEST:: SOT 812069 SOS 442720 HAS SOPS 442720 HAS SOUS 402900 HAS SOUPS 402900 WITH SCORE 403342.72
AT ITER 2277 NEW BEST:: SOT 812071 SOS 442691 HAS SOPS 442691 HAS SOUS 402873 HAS SOUPS 402873 WITH SCORE 403315.691
AT ITER 2283 NEW BEST:: SOT 812071 SOS 442506 HAS SOPS 442506 HAS SOUS 402873 HAS SOUPS 402873 WITH SCORE 403315.506
AT ITER 2290 NEW BEST:: SOT 812071 SOS 442306 HAS SOPS 442306 HAS SOUS 402873 HAS SOUPS 402873 WITH SCORE 403315.306
AT ITER 2308 NEW BEST:: SOT 812071 SOS 442197 HAS SOPS 442197 HAS SOUS 402873 HAS SOUPS 402873 WITH SCORE 403315.197
AT ITER 2310 NEW BEST:: SOT 812033 SOS 442159 HAS SOPS 442159 HAS SOUS 402816 HAS SOUPS 402816 WITH SCORE 403258.159
AT ITER 2318 NEW BEST:: SOT 811679 SOS 442038 HAS SOPS 442038 HAS SOUS 402716 HAS SOUPS 402716 WITH SCORE 403158.038
AT ITER 2338 NEW BEST:: SOT 811679 SOS 442038 HAS SOPS 442038 HAS SOUS 402685 HAS SOUPS 402685 WITH SCORE 403127.038
AT ITER 2340 NEW BEST:: SOT 811679 SOS 442036 HAS SOPS 442036 HAS SOUS 402685 HAS SOUPS 402685 WITH SCORE 403127.036
AT ITER 2347 NEW BEST:: SOT 811679 SOS 442345 HAS SOPS 442345 HAS SOUS 402643 HAS SOUPS 402643 WITH SCORE 403085.345
AT ITER 2350 NEW BEST:: SOT 811679 SOS 442253 HAS SOPS 442253 HAS SOUS 402629 HAS SOUPS 402629 WITH SCORE 403071.253
AT ITER 2356 NEW BEST:: SOT 811716 SOS 442482 HAS SOPS 442482 HAS SOUS 402628 HAS SOUPS 402628 WITH SCORE 403070.482
AT ITER 2365 NEW BEST:: SOT 811716 SOS 442420 HAS SOPS 442420 HAS SOUS 402628 HAS SOUPS 402628 WITH SCORE 403070.42
AT ITER 2376 NEW BEST:: SOT 811019 SOS 442044 HAS SOPS 442044 HAS SOUS 402244 HAS SOUPS 402244 WITH SCORE 402686.044
AT ITER 2377 NEW BEST:: SOT 811019 SOS 442014 HAS SOPS 442014 HAS SOUS 402214 HAS SOUPS 402214 WITH SCORE 402656.014
AT ITER 2378 NEW BEST:: SOT 811019 SOS 441901 HAS SOPS 441901 HAS SOUS 402214 HAS SOUPS 402214 WITH SCORE 402655.901
AT ITER 2384 NEW BEST:: SOT 811019 SOS 441708 HAS SOPS 441708 HAS SOUS 402214 HAS SOUPS 402214 WITH SCORE 402655.708
AT ITER 2393 NEW BEST:: SOT 811019 SOS 441635 HAS SOPS 441635 HAS SOUS 402145 HAS SOUPS 402145 WITH SCORE 402586.635
AT ITER 2418 NEW BEST:: SOT 811019 SOS 441565 HAS SOPS 441565 HAS SOUS 402145 HAS SOUPS 402145 WITH SCORE 402586.565
AT ITER 2421 NEW BEST:: SOT 811093 SOS 440667 HAS SOPS 440667 HAS SOUS 402136 HAS SOUPS 402136 WITH SCORE 402576.667
AT ITER 2426 NEW BEST:: SOT 811093 SOS 440468 HAS SOPS 440468 HAS SOUS 401931 HAS SOUPS 401931 WITH SCORE 402371.468
AT ITER 2436 NEW BEST:: SOT 811086 SOS 440377 HAS SOPS 440377 HAS SOUS 401903 HAS SOUPS 401903 WITH SCORE 402343.377
AT ITER 2438 NEW BEST:: SOT 811126 SOS 440277 HAS SOPS 440277 HAS SOUS 401874 HAS SOUPS 401874 WITH SCORE 402314.277
AT ITER 2442 NEW BEST:: SOT 811126 SOS 439905 HAS SOPS 439905 HAS SOUS 401732 HAS SOUPS 401732 WITH SCORE 402171.905
AT ITER 2445 NEW BEST:: SOT 810459 SOS 439647 HAS SOPS 439647 HAS SOUS 401366 HAS SOUPS 401366 WITH SCORE 401805.647
AT ITER 2452 NEW BEST:: SOT 810461 SOS 439615 HAS SOPS 439615 HAS SOUS 401356 HAS SOUPS 401356 WITH SCORE 401795.615
AT ITER 2453 NEW BEST:: SOT 810494 SOS 439677 HAS SOPS 439677 HAS SOUS 401042 HAS SOUPS 401042 WITH SCORE 401481.677
AT ITER 2455 NEW BEST:: SOT 810494 SOS 439225 HAS SOPS 439225 HAS SOUS 400984 HAS SOUPS 400984 WITH SCORE 401423.225
AT ITER 2465 NEW BEST:: SOT 810494 SOS 438986 HAS SOPS 438986 HAS SOUS 400984 HAS SOUPS 400984 WITH SCORE 401422.986
AT ITER 2471 NEW BEST:: SOT 809745 SOS 444699 HAS SOPS 444699 HAS SOUS 400792 HAS SOUPS 400792 WITH SCORE 401236.699
AT ITER 2476 NEW BEST:: SOT 809745 SOS 444621 HAS SOPS 444621 HAS SOUS 400729 HAS SOUPS 400729 WITH SCORE 401173.621
AT ITER 2478 NEW BEST:: SOT 809745 SOS 444511 HAS SOPS 444511 HAS SOUS 400729 HAS SOUPS 400729 WITH SCORE 401173.511
AT ITER 2482 NEW BEST:: SOT 809745 SOS 444391 HAS SOPS 444391 HAS SOUS 400729 HAS SOUPS 400729 WITH SCORE 401173.391
AT ITER 2484 NEW BEST:: SOT 809745 SOS 444378 HAS SOPS 444378 HAS SOUS 400729 HAS SOUPS 400729 WITH SCORE 401173.378
AT ITER 2486 NEW BEST:: SOT 809745 SOS 444310 HAS SOPS 444310 HAS SOUS 400729 HAS SOUPS 400729 WITH SCORE 401173.31
AT ITER 2491 NEW BEST:: SOT 809792 SOS 444272 HAS SOPS 444272 HAS SOUS 400727 HAS SOUPS 400727 WITH SCORE 401171.272
AT ITER 2494 NEW BEST:: SOT 809409 SOS 444211 HAS SOPS 444211 HAS SOUS 400459 HAS SOUPS 400459 WITH SCORE 400903.211
AT ITER 2501 NEW BEST:: SOT 809398 SOS 444200 HAS SOPS 444200 HAS SOUS 400432 HAS SOUPS 400432 WITH SCORE 400876.2
AT ITER 2504 NEW BEST:: SOT 808984 SOS 443584 HAS SOPS 443584 HAS SOUS 400266 HAS SOUPS 400266 WITH SCORE 400709.584
AT ITER 2509 NEW BEST:: SOT 808984 SOS 443333 HAS SOPS 443333 HAS SOUS 400204 HAS SOUPS 400204 WITH SCORE 400647.333
AT ITER 2536 NEW BEST:: SOT 808965 SOS 443275 HAS SOPS 443275 HAS SOUS 400146 HAS SOUPS 400146 WITH SCORE 400589.275
AT ITER 2541 NEW BEST:: SOT 808970 SOS 443381 HAS SOPS 443381 HAS SOUS 400134 HAS SOUPS 400134 WITH SCORE 400577.381
AT ITER 2544 NEW BEST:: SOT 808775 SOS 443168 HAS SOPS 443168 HAS SOUS 399949 HAS SOUPS 399949 WITH SCORE 400392.168
AT ITER 2551 NEW BEST:: SOT 808728 SOS 443020 HAS SOPS 443020 HAS SOUS 399801 HAS SOUPS 399801 WITH SCORE 400244.02
AT ITER 2555 NEW BEST:: SOT 808728 SOS 442995 HAS SOPS 442995 HAS SOUS 399801 HAS SOUPS 399801 WITH SCORE 400243.995
AT ITER 2574 NEW BEST:: SOT 808728 SOS 442681 HAS SOPS 442681 HAS SOUS 399759 HAS SOUPS 399759 WITH SCORE 400201.681
AT ITER 2576 NEW BEST:: SOT 808728 SOS 442097 HAS SOPS 442097 HAS SOUS 399759 HAS SOUPS 399759 WITH SCORE 400201.097
AT ITER 2585 NEW BEST:: SOT 807902 SOS 448536 HAS SOPS 448536 HAS SOUS 399670 HAS SOUPS 399670 WITH SCORE 400118.536
AT ITER 2587 NEW BEST:: SOT 807902 SOS 448511 HAS SOPS 448511 HAS SOUS 399645 HAS SOUPS 399645 WITH SCORE 400093.511
AT ITER 2589 NEW BEST:: SOT 806778 SOS 447950 HAS SOPS 447950 HAS SOUS 399100 HAS SOUPS 399100 WITH SCORE 399547.95
AT ITER 2592 NEW BEST:: SOT 806778 SOS 447934 HAS SOPS 447934 HAS SOUS 399100 HAS SOUPS 399100 WITH SCORE 399547.934
AT ITER 2593 NEW BEST:: SOT 806778 SOS 447900 HAS SOPS 447900 HAS SOUS 399100 HAS SOUPS 399100 WITH SCORE 399547.9
AT ITER 2614 NEW BEST:: SOT 806778 SOS 447684 HAS SOPS 447684 HAS SOUS 399100 HAS SOUPS 399100 WITH SCORE 399547.684
AT ITER 2628 NEW BEST:: SOT 806728 SOS 447565 HAS SOPS 447565 HAS SOUS 398974 HAS SOUPS 398974 WITH SCORE 399421.565
AT ITER 2634 NEW BEST:: SOT 806728 SOS 447470 HAS SOPS 447470 HAS SOUS 398974 HAS SOUPS 398974 WITH SCORE 399421.47
AT ITER 2635 NEW BEST:: SOT 806728 SOS 447414 HAS SOPS 447414 HAS SOUS 398974 HAS SOUPS 398974 WITH SCORE 399421.414
AT ITER 2643 NEW BEST:: SOT 806728 SOS 447265 HAS SOPS 447265 HAS SOUS 398974 HAS SOUPS 398974 WITH SCORE 399421.265
AT ITER 2654 NEW BEST:: SOT 806728 SOS 447210 HAS SOPS 447210 HAS SOUS 398974 HAS SOUPS 398974 WITH SCORE 399421.21
AT ITER 2663 NEW BEST:: SOT 806823 SOS 447403 HAS SOPS 447403 HAS SOUS 398958 HAS SOUPS 398958 WITH SCORE 399405.403
AT ITER 2676 NEW BEST:: SOT 806823 SOS 447804 HAS SOPS 447804 HAS SOUS 398825 HAS SOUPS 398825 WITH SCORE 399272.804
AT ITER 2679 NEW BEST:: SOT 806823 SOS 447700 HAS SOPS 447700 HAS SOUS 398814 HAS SOUPS 398814 WITH SCORE 399261.7
AT ITER 2685 NEW BEST:: SOT 806823 SOS 447688 HAS SOPS 447688 HAS SOUS 398814 HAS SOUPS 398814 WITH SCORE 399261.688
AT ITER 2691 NEW BEST:: SOT 806823 SOS 447599 HAS SOPS 447599 HAS SOUS 398814 HAS SOUPS 398814 WITH SCORE 399261.599
AT ITER 2697 NEW BEST:: SOT 806823 SOS 447527 HAS SOPS 447527 HAS SOUS 398814 HAS SOUPS 398814 WITH SCORE 399261.527
AT ITER 2705 NEW BEST:: SOT 806791 SOS 447244 HAS SOPS 447244 HAS SOUS 398649 HAS SOUPS 398649 WITH SCORE 399096.244
AT ITER 2713 NEW BEST:: SOT 806788 SOS 447324 HAS SOPS 447324 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398989.324
AT ITER 2722 NEW BEST:: SOT 806788 SOS 447207 HAS SOPS 447207 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398989.207
AT ITER 2726 NEW BEST:: SOT 806788 SOS 447011 HAS SOPS 447011 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398989.011
AT ITER 2736 NEW BEST:: SOT 806788 SOS 447004 HAS SOPS 447004 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398989.004
AT ITER 2746 NEW BEST:: SOT 806788 SOS 446598 HAS SOPS 446598 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398988.598
AT ITER 2768 NEW BEST:: SOT 806788 SOS 446486 HAS SOPS 446486 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398988.486
AT ITER 2771 NEW BEST:: SOT 806788 SOS 446358 HAS SOPS 446358 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398988.358
AT ITER 2787 NEW BEST:: SOT 806788 SOS 446163 HAS SOPS 446163 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398988.163
AT ITER 2788 NEW BEST:: SOT 806788 SOS 444909 HAS SOPS 444909 HAS SOUS 398542 HAS SOUPS 398542 WITH SCORE 398986.909
AT ITER 2796 NEW BEST:: SOT 806383 SOS 444504 HAS SOPS 444504 HAS SOUS 398137 HAS SOUPS 398137 WITH SCORE 398581.504
AT ITER 2806 NEW BEST:: SOT 805446 SOS 443979 HAS SOPS 443979 HAS SOUS 397721 HAS SOUPS 397721 WITH SCORE 398164.979
AT ITER 2808 NEW BEST:: SOT 805446 SOS 443895 HAS SOPS 443895 HAS SOUS 397721 HAS SOUPS 397721 WITH SCORE 398164.895
AT ITER 2812 NEW BEST:: SOT 805433 SOS 443882 HAS SOPS 443882 HAS SOUS 397709 HAS SOUPS 397709 WITH SCORE 398152.882
AT ITER 2829 NEW BEST:: SOT 804937 SOS 443790 HAS SOPS 443790 HAS SOUS 397342 HAS SOUPS 397342 WITH SCORE 397785.79
AT ITER 2836 NEW BEST:: SOT 804937 SOS 443763 HAS SOPS 443763 HAS SOUS 397331 HAS SOUPS 397331 WITH SCORE 397774.763
AT ITER 2844 NEW BEST:: SOT 804868 SOS 443507 HAS SOPS 443507 HAS SOUS 397249 HAS SOUPS 397249 WITH SCORE 397692.507
AT ITER 2847 NEW BEST:: SOT 804868 SOS 442238 HAS SOPS 442238 HAS SOUS 397249 HAS SOUPS 397249 WITH SCORE 397691.238
AT ITER 2853 NEW BEST:: SOT 804854 SOS 442398 HAS SOPS 442398 HAS SOUS 397180 HAS SOUPS 397180 WITH SCORE 397622.398
AT ITER 2875 NEW BEST:: SOT 804854 SOS 442350 HAS SOPS 442350 HAS SOUS 397180 HAS SOUPS 397180 WITH SCORE 397622.35
AT ITER 2878 NEW BEST:: SOT 804854 SOS 442324 HAS SOPS 442324 HAS SOUS 397029 HAS SOUPS 397029 WITH SCORE 397471.324
AT ITER 2884 NEW BEST:: SOT 804854 SOS 442060 HAS SOPS 442060 HAS SOUS 397007 HAS SOUPS 397007 WITH SCORE 397449.06
AT ITER 2889 NEW BEST:: SOT 804889 SOS 440508 HAS SOPS 440508 HAS SOUS 396921 HAS SOUPS 396921 WITH SCORE 397361.508
AT ITER 2890 NEW BEST:: SOT 804889 SOS 440381 HAS SOPS 440381 HAS SOUS 396905 HAS SOUPS 396905 WITH SCORE 397345.381
AT ITER 2902 NEW BEST:: SOT 804887 SOS 440379 HAS SOPS 440379 HAS SOUS 396903 HAS SOUPS 396903 WITH SCORE 397343.379
AT ITER 2905 NEW BEST:: SOT 804887 SOS 440125 HAS SOPS 440125 HAS SOUS 396379 HAS SOUPS 396379 WITH SCORE 396819.125
AT ITER 2913 NEW BEST:: SOT 804887 SOS 436215 HAS SOPS 436215 HAS SOUS 396305 HAS SOUPS 396305 WITH SCORE 396741.215
AT ITER 2914 NEW BEST:: SOT 804887 SOS 436218 HAS SOPS 436218 HAS SOUS 396285 HAS SOUPS 396285 WITH SCORE 396721.218
AT ITER 2916 NEW BEST:: SOT 804862 SOS 436236 HAS SOPS 436236 HAS SOUS 396271 HAS SOUPS 396271 WITH SCORE 396707.236
AT ITER 2921 NEW BEST:: SOT 804844 SOS 436056 HAS SOPS 436056 HAS SOUS 396165 HAS SOUPS 396165 WITH SCORE 396601.056
AT ITER 2927 NEW BEST:: SOT 804862 SOS 435928 HAS SOPS 435928 HAS SOUS 395947 HAS SOUPS 395947 WITH SCORE 396382.928
AT ITER 2931 NEW BEST:: SOT 804862 SOS 435885 HAS SOPS 435885 HAS SOUS 395947 HAS SOUPS 395947 WITH SCORE 396382.885
AT ITER 2941 NEW BEST:: SOT 804584 SOS 435640 HAS SOPS 435640 HAS SOUS 395708 HAS SOUPS 395708 WITH SCORE 396143.64
AT ITER 2951 NEW BEST:: SOT 804504 SOS 435373 HAS SOPS 435373 HAS SOUS 395606 HAS SOUPS 395606 WITH SCORE 396041.373
AT ITER 2955 NEW BEST:: SOT 804504 SOS 435336 HAS SOPS 435336 HAS SOUS 395606 HAS SOUPS 395606 WITH SCORE 396041.336
AT ITER 2961 NEW BEST:: SOT 804504 SOS 433688 HAS SOPS 433688 HAS SOUS 395606 HAS SOUPS 395606 WITH SCORE 396039.688
AT ITER 2965 NEW BEST:: SOT 804469 SOS 433653 HAS SOPS 433653 HAS SOUS 395571 HAS SOUPS 395571 WITH SCORE 396004.653
AT ITER 2971 NEW BEST:: SOT 804469 SOS 433421 HAS SOPS 433421 HAS SOUS 395513 HAS SOUPS 395513 WITH SCORE 395946.421
AT ITER 2976 NEW BEST:: SOT 804476 SOS 433239 HAS SOPS 433239 HAS SOUS 395438 HAS SOUPS 395438 WITH SCORE 395871.239
AT ITER 2979 NEW BEST:: SOT 804476 SOS 433176 HAS SOPS 433176 HAS SOUS 395438 HAS SOUPS 395438 WITH SCORE 395871.176
AT ITER 2985 NEW BEST:: SOT 804522 SOS 433222 HAS SOPS 433222 HAS SOUS 395420 HAS SOUPS 395420 WITH SCORE 395853.222
AT ITER 2988 NEW BEST:: SOT 804522 SOS 432958 HAS SOPS 432958 HAS SOUS 395420 HAS SOUPS 395420 WITH SCORE 395852.958
AT ITER 2991 NEW BEST:: SOT 804522 SOS 432895 HAS SOPS 432895 HAS SOUS 395386 HAS SOUPS 395386 WITH SCORE 395818.895
AT ITER 2992 NEW BEST:: SOT 803770 SOS 432569 HAS SOPS 432569 HAS SOUS 395181 HAS SOUPS 395181 WITH SCORE 395613.569
AT ITER 2996 NEW BEST:: SOT 803770 SOS 432489 HAS SOPS 432489 HAS SOUS 395181 HAS SOUPS 395181 WITH SCORE 395613.489
AT ITER 2998 NEW BEST:: SOT 803783 SOS 432571 HAS SOPS 432571 HAS SOUS 395171 HAS SOUPS 395171 WITH SCORE 395603.571
AT ITER 2999 NEW BEST:: SOT 803783 SOS 432521 HAS SOPS 432521 HAS SOUS 395077 HAS SOUPS 395077 WITH SCORE 395509.521
AT ITER 3008 NEW BEST:: SOT 803783 SOS 432424 HAS SOPS 432424 HAS SOUS 395073 HAS SOUPS 395073 WITH SCORE 395505.424
AT ITER 3015 NEW BEST:: SOT 803701 SOS 432342 HAS SOPS 432342 HAS SOUS 394976 HAS SOUPS 394976 WITH SCORE 395408.342
AT ITER 3020 NEW BEST:: SOT 803701 SOS 432321 HAS SOPS 432321 HAS SOUS 394960 HAS SOUPS 394960 WITH SCORE 395392.321
AT ITER 3025 NEW BEST:: SOT 803701 SOS 432238 HAS SOPS 432238 HAS SOUS 394960 HAS SOUPS 394960 WITH SCORE 395392.238
AT ITER 3040 NEW BEST:: SOT 803695 SOS 432080 HAS SOPS 432080 HAS SOUS 394936 HAS SOUPS 394936 WITH SCORE 395368.08
AT ITER 3044 NEW BEST:: SOT 803695 SOS 431414 HAS SOPS 431414 HAS SOUS 394936 HAS SOUPS 394936 WITH SCORE 395367.414
AT ITER 3061 NEW BEST:: SOT 803657 SOS 431502 HAS SOPS 431502 HAS SOUS 394907 HAS SOUPS 394907 WITH SCORE 395338.502
AT ITER 3075 NEW BEST:: SOT 803657 SOS 431456 HAS SOPS 431456 HAS SOUS 394907 HAS SOUPS 394907 WITH SCORE 395338.456
AT ITER 3076 NEW BEST:: SOT 803246 SOS 431045 HAS SOPS 431045 HAS SOUS 394529 HAS SOUPS 394529 WITH SCORE 394960.045
AT ITER 3094 NEW BEST:: SOT 803246 SOS 430509 HAS SOPS 430509 HAS SOUS 394529 HAS SOUPS 394529 WITH SCORE 394959.509
AT ITER 3113 NEW BEST:: SOT 803246 SOS 430541 HAS SOPS 430541 HAS SOUS 394474 HAS SOUPS 394474 WITH SCORE 394904.541
AT ITER 3117 NEW BEST:: SOT 802606 SOS 436049 HAS SOPS 436049 HAS SOUS 394434 HAS SOUPS 394434 WITH SCORE 394870.049
AT ITER 3118 NEW BEST:: SOT 802606 SOS 435838 HAS SOPS 435838 HAS SOUS 394434 HAS SOUPS 394434 WITH SCORE 394869.838
AT ITER 3126 NEW BEST:: SOT 802503 SOS 437131 HAS SOPS 437131 HAS SOUS 394419 HAS SOUPS 394419 WITH SCORE 394856.131
AT ITER 3137 NEW BEST:: SOT 802503 SOS 437131 HAS SOPS 437131 HAS SOUS 394409 HAS SOUPS 394409 WITH SCORE 394846.131
AT ITER 3156 NEW BEST:: SOT 802426 SOS 437242 HAS SOPS 437242 HAS SOUS 394332 HAS SOUPS 394332 WITH SCORE 394769.242
AT ITER 3159 NEW BEST:: SOT 802426 SOS 437120 HAS SOPS 437120 HAS SOUS 394332 HAS SOUPS 394332 WITH SCORE 394769.12
AT ITER 3161 NEW BEST:: SOT 802426 SOS 437337 HAS SOPS 437337 HAS SOUS 394292 HAS SOUPS 394292 WITH SCORE 394729.337
AT ITER 3162 NEW BEST:: SOT 801647 SOS 436848 HAS SOPS 436848 HAS SOUS 394136 HAS SOUPS 394136 WITH SCORE 394572.848
AT ITER 3163 NEW BEST:: SOT 801647 SOS 436758 HAS SOPS 436758 HAS SOUS 394136 HAS SOUPS 394136 WITH SCORE 394572.758
AT ITER 3166 NEW BEST:: SOT 801647 SOS 436705 HAS SOPS 436705 HAS SOUS 394121 HAS SOUPS 394121 WITH SCORE 394557.705
AT ITER 3181 NEW BEST:: SOT 801647 SOS 436687 HAS SOPS 436687 HAS SOUS 394110 HAS SOUPS 394110 WITH SCORE 394546.687
AT ITER 3186 NEW BEST:: SOT 801609 SOS 436619 HAS SOPS 436619 HAS SOUS 394036 HAS SOUPS 394036 WITH SCORE 394472.619
AT ITER 3194 NEW BEST:: SOT 801596 SOS 436579 HAS SOPS 436579 HAS SOUS 393877 HAS SOUPS 393877 WITH SCORE 394313.579
AT ITER 3196 NEW BEST:: SOT 801596 SOS 436520 HAS SOPS 436520 HAS SOUS 393877 HAS SOUPS 393877 WITH SCORE 394313.52
AT ITER 3225 NEW BEST:: SOT 801582 SOS 436506 HAS SOPS 436506 HAS SOUS 393863 HAS SOUPS 393863 WITH SCORE 394299.506
AT ITER 3226 NEW BEST:: SOT 801582 SOS 436413 HAS SOPS 436413 HAS SOUS 393770 HAS SOUPS 393770 WITH SCORE 394206.413
AT ITER 3230 NEW BEST:: SOT 800951 SOS 435866 HAS SOPS 435866 HAS SOUS 393309 HAS SOUPS 393309 WITH SCORE 393744.866
AT ITER 3233 NEW BEST:: SOT 801006 SOS 435725 HAS SOPS 435725 HAS SOUS 393228 HAS SOUPS 393228 WITH SCORE 393663.725
AT ITER 3236 NEW BEST:: SOT 801006 SOS 435605 HAS SOPS 435605 HAS SOUS 393228 HAS SOUPS 393228 WITH SCORE 393663.605
AT ITER 3243 NEW BEST:: SOT 801006 SOS 435598 HAS SOPS 435598 HAS SOUS 393221 HAS SOUPS 393221 WITH SCORE 393656.598
AT ITER 3251 NEW BEST:: SOT 801006 SOS 435560 HAS SOPS 435560 HAS SOUS 393221 HAS SOUPS 393221 WITH SCORE 393656.56
AT ITER 3254 NEW BEST:: SOT 800577 SOS 435271 HAS SOPS 435271 HAS SOUS 393077 HAS SOUPS 393077 WITH SCORE 393512.271
AT ITER 3257 NEW BEST:: SOT 800577 SOS 435567 HAS SOPS 435567 HAS SOUS 393066 HAS SOUPS 393066 WITH SCORE 393501.567
AT ITER 3260 NEW BEST:: SOT 800557 SOS 435381 HAS SOPS 435381 HAS SOUS 393032 HAS SOUPS 393032 WITH SCORE 393467.381
AT ITER 3261 NEW BEST:: SOT 800484 SOS 435667 HAS SOPS 435667 HAS SOUS 392862 HAS SOUPS 392862 WITH SCORE 393297.667
AT ITER 3264 NEW BEST:: SOT 800484 SOS 435903 HAS SOPS 435903 HAS SOUS 392604 HAS SOUPS 392604 WITH SCORE 393039.903
AT ITER 3277 NEW BEST:: SOT 800484 SOS 435572 HAS SOPS 435572 HAS SOUS 392604 HAS SOUPS 392604 WITH SCORE 393039.572
AT ITER 3282 NEW BEST:: SOT 800484 SOS 435376 HAS SOPS 435376 HAS SOUS 392604 HAS SOUPS 392604 WITH SCORE 393039.376
AT ITER 3285 NEW BEST:: SOT 800470 SOS 435476 HAS SOPS 435476 HAS SOUS 392556 HAS SOUPS 392556 WITH SCORE 392991.476
AT ITER 3287 NEW BEST:: SOT 800470 SOS 435392 HAS SOPS 435392 HAS SOUS 392556 HAS SOUPS 392556 WITH SCORE 392991.392
AT ITER 3288 NEW BEST:: SOT 800470 SOS 435325 HAS SOPS 435325 HAS SOUS 392556 HAS SOUPS 392556 WITH SCORE 392991.325
AT ITER 3289 NEW BEST:: SOT 800470 SOS 433892 HAS SOPS 433892 HAS SOUS 392556 HAS SOUPS 392556 WITH SCORE 392989.892
AT ITER 3305 NEW BEST:: SOT 799785 SOS 433369 HAS SOPS 433369 HAS SOUS 392230 HAS SOUPS 392230 WITH SCORE 392663.369
AT ITER 3310 NEW BEST:: SOT 799785 SOS 433365 HAS SOPS 433365 HAS SOUS 392226 HAS SOUPS 392226 WITH SCORE 392659.365
AT ITER 3314 NEW BEST:: SOT 799785 SOS 433313 HAS SOPS 433313 HAS SOUS 392226 HAS SOUPS 392226 WITH SCORE 392659.313
AT ITER 3323 NEW BEST:: SOT 799785 SOS 433306 HAS SOPS 433306 HAS SOUS 392226 HAS SOUPS 392226 WITH SCORE 392659.306
AT ITER 3328 NEW BEST:: SOT 799724 SOS 433188 HAS SOPS 433188 HAS SOUS 392126 HAS SOUPS 392126 WITH SCORE 392559.188
AT ITER 3346 NEW BEST:: SOT 799119 SOS 432718 HAS SOPS 432718 HAS SOUS 391826 HAS SOUPS 391826 WITH SCORE 392258.718
AT ITER 3354 NEW BEST:: SOT 799105 SOS 432704 HAS SOPS 432704 HAS SOUS 391812 HAS SOUPS 391812 WITH SCORE 392244.704
AT ITER 3356 NEW BEST:: SOT 799105 SOS 428648 HAS SOPS 428648 HAS SOUS 391766 HAS SOUPS 391766 WITH SCORE 392194.648
AT ITER 3360 NEW BEST:: SOT 799105 SOS 428329 HAS SOPS 428329 HAS SOUS 391766 HAS SOUPS 391766 WITH SCORE 392194.329
AT ITER 3368 NEW BEST:: SOT 799105 SOS 428425 HAS SOPS 428425 HAS SOUS 391697 HAS SOUPS 391697 WITH SCORE 392125.425
AT ITER 3369 NEW BEST:: SOT 798892 SOS 428330 HAS SOPS 428330 HAS SOUS 391638 HAS SOUPS 391638 WITH SCORE 392066.33
AT ITER 3376 NEW BEST:: SOT 798892 SOS 428165 HAS SOPS 428165 HAS SOUS 391638 HAS SOUPS 391638 WITH SCORE 392066.165
AT ITER 3391 NEW BEST:: SOT 798876 SOS 428087 HAS SOPS 428087 HAS SOUS 391623 HAS SOUPS 391623 WITH SCORE 392051.087
AT ITER 3400 NEW BEST:: SOT 798876 SOS 428141 HAS SOPS 428141 HAS SOUS 391617 HAS SOUPS 391617 WITH SCORE 392045.141
AT ITER 3401 NEW BEST:: SOT 798385 SOS 429103 HAS SOPS 429103 HAS SOUS 391558 HAS SOUPS 391558 WITH SCORE 391987.103
AT ITER 3403 NEW BEST:: SOT 798385 SOS 429044 HAS SOPS 429044 HAS SOUS 391558 HAS SOUPS 391558 WITH SCORE 391987.044
AT ITER 3410 NEW BEST:: SOT 798118 SOS 430273 HAS SOPS 430273 HAS SOUS 391355 HAS SOUPS 391355 WITH SCORE 391785.273
AT ITER 3412 NEW BEST:: SOT 798118 SOS 430238 HAS SOPS 430238 HAS SOUS 391355 HAS SOUPS 391355 WITH SCORE 391785.238
AT ITER 3420 NEW BEST:: SOT 798118 SOS 430165 HAS SOPS 430165 HAS SOUS 391301 HAS SOUPS 391301 WITH SCORE 391731.165
AT ITER 3425 NEW BEST:: SOT 798102 SOS 430149 HAS SOPS 430149 HAS SOUS 391285 HAS SOUPS 391285 WITH SCORE 391715.149
AT ITER 3427 NEW BEST:: SOT 798094 SOS 430141 HAS SOPS 430141 HAS SOUS 391277 HAS SOUPS 391277 WITH SCORE 391707.141
AT ITER 3447 NEW BEST:: SOT 797308 SOS 433303 HAS SOPS 433303 HAS SOUS 391091 HAS SOUPS 391091 WITH SCORE 391524.303
AT ITER 3457 NEW BEST:: SOT 797308 SOS 433344 HAS SOPS 433344 HAS SOUS 391045 HAS SOUPS 391045 WITH SCORE 391478.344
AT ITER 3460 NEW BEST:: SOT 797308 SOS 433265 HAS SOPS 433265 HAS SOUS 391045 HAS SOUPS 391045 WITH SCORE 391478.265
AT ITER 3461 NEW BEST:: SOT 797308 SOS 433236 HAS SOPS 433236 HAS SOUS 391045 HAS SOUPS 391045 WITH SCORE 391478.236
AT ITER 3463 NEW BEST:: SOT 797308 SOS 433232 HAS SOPS 433232 HAS SOUS 391045 HAS SOUPS 391045 WITH SCORE 391478.232
AT ITER 3466 NEW BEST:: SOT 797315 SOS 433159 HAS SOPS 433159 HAS SOUS 390986 HAS SOUPS 390986 WITH SCORE 391419.159
AT ITER 3485 NEW BEST:: SOT 797315 SOS 433082 HAS SOPS 433082 HAS SOUS 390909 HAS SOUPS 390909 WITH SCORE 391342.082
AT ITER 3491 NEW BEST:: SOT 797315 SOS 433602 HAS SOPS 433602 HAS SOUS 390865 HAS SOUPS 390865 WITH SCORE 391298.602
AT ITER 3497 NEW BEST:: SOT 797315 SOS 433355 HAS SOPS 433355 HAS SOUS 390865 HAS SOUPS 390865 WITH SCORE 391298.355
AT ITER 3502 NEW BEST:: SOT 797315 SOS 433292 HAS SOPS 433292 HAS SOUS 390865 HAS SOUPS 390865 WITH SCORE 391298.292
AT ITER 3515 NEW BEST:: SOT 797315 SOS 432896 HAS SOPS 432896 HAS SOUS 390865 HAS SOUPS 390865 WITH SCORE 391297.896
AT ITER 3516 NEW BEST:: SOT 797315 SOS 432403 HAS SOPS 432403 HAS SOUS 390751 HAS SOUPS 390751 WITH SCORE 391183.403
AT ITER 3517 NEW BEST:: SOT 797287 SOS 432074 HAS SOPS 432074 HAS SOUS 390657 HAS SOUPS 390657 WITH SCORE 391089.074
AT ITER 3521 NEW BEST:: SOT 797287 SOS 432072 HAS SOPS 432072 HAS SOUS 390630 HAS SOUPS 390630 WITH SCORE 391062.072
AT ITER 3522 NEW BEST:: SOT 797307 SOS 432082 HAS SOPS 432082 HAS SOUS 390577 HAS SOUPS 390577 WITH SCORE 391009.082
AT ITER 3532 NEW BEST:: SOT 797367 SOS 432120 HAS SOPS 432120 HAS SOUS 390565 HAS SOUPS 390565 WITH SCORE 390997.12
AT ITER 3539 NEW BEST:: SOT 797367 SOS 432025 HAS SOPS 432025 HAS SOUS 390470 HAS SOUPS 390470 WITH SCORE 390902.025
AT ITER 3544 NEW BEST:: SOT 797367 SOS 431561 HAS SOPS 431561 HAS SOUS 390470 HAS SOUPS 390470 WITH SCORE 390901.561
AT ITER 3549 NEW BEST:: SOT 796459 SOS 430870 HAS SOPS 430870 HAS SOUS 389873 HAS SOUPS 389873 WITH SCORE 390303.87
AT ITER 3559 NEW BEST:: SOT 796432 SOS 430843 HAS SOPS 430843 HAS SOUS 389846 HAS SOUPS 389846 WITH SCORE 390276.843
AT ITER 3571 NEW BEST:: SOT 796383 SOS 430794 HAS SOPS 430794 HAS SOUS 389810 HAS SOUPS 389810 WITH SCORE 390240.794
AT ITER 3575 NEW BEST:: SOT 796446 SOS 430683 HAS SOPS 430683 HAS SOUS 389787 HAS SOUPS 389787 WITH SCORE 390217.683
AT ITER 3586 NEW BEST:: SOT 796564 SOS 430612 HAS SOPS 430612 HAS SOUS 389726 HAS SOUPS 389726 WITH SCORE 390156.612
AT ITER 3600 NEW BEST:: SOT 796564 SOS 430612 HAS SOPS 430612 HAS SOUS 389718 HAS SOUPS 389718 WITH SCORE 390148.612
AT ITER 3603 NEW BEST:: SOT 796564 SOS 430559 HAS SOPS 430559 HAS SOUS 389718 HAS SOUPS 389718 WITH SCORE 390148.559
AT ITER 3611 NEW BEST:: SOT 796600 SOS 430744 HAS SOPS 430744 HAS SOUS 389713 HAS SOUPS 389713 WITH SCORE 390143.744
AT ITER 3614 NEW BEST:: SOT 796600 SOS 430498 HAS SOPS 430498 HAS SOUS 389707 HAS SOUPS 389707 WITH SCORE 390137.498
AT ITER 3617 NEW BEST:: SOT 796600 SOS 430453 HAS SOPS 430453 HAS SOUS 389707 HAS SOUPS 389707 WITH SCORE 390137.453
AT ITER 3620 NEW BEST:: SOT 796540 SOS 430393 HAS SOPS 430393 HAS SOUS 389637 HAS SOUPS 389637 WITH SCORE 390067.393
AT ITER 3626 NEW BEST:: SOT 796540 SOS 430357 HAS SOPS 430357 HAS SOUS 389637 HAS SOUPS 389637 WITH SCORE 390067.357
AT ITER 3633 NEW BEST:: SOT 796540 SOS 430318 HAS SOPS 430318 HAS SOUS 389637 HAS SOUPS 389637 WITH SCORE 390067.318
AT ITER 3637 NEW BEST:: SOT 795625 SOS 430049 HAS SOPS 430049 HAS SOUS 389519 HAS SOUPS 389519 WITH SCORE 389949.049
AT ITER 3638 NEW BEST:: SOT 795607 SOS 429913 HAS SOPS 429913 HAS SOUS 389406 HAS SOUPS 389406 WITH SCORE 389835.913
AT ITER 3639 NEW BEST:: SOT 795607 SOS 429839 HAS SOPS 429839 HAS SOUS 389406 HAS SOUPS 389406 WITH SCORE 389835.839
AT ITER 3640 NEW BEST:: SOT 795600 SOS 429832 HAS SOPS 429832 HAS SOUS 389399 HAS SOUPS 389399 WITH SCORE 389828.832
AT ITER 3651 NEW BEST:: SOT 795624 SOS 429764 HAS SOPS 429764 HAS SOUS 389384 HAS SOUPS 389384 WITH SCORE 389813.764
AT ITER 3664 NEW BEST:: SOT 795607 SOS 429747 HAS SOPS 429747 HAS SOUS 389234 HAS SOUPS 389234 WITH SCORE 389663.747
AT ITER 3666 NEW BEST:: SOT 795607 SOS 429727 HAS SOPS 429727 HAS SOUS 389234 HAS SOUPS 389234 WITH SCORE 389663.727
AT ITER 3670 NEW BEST:: SOT 795607 SOS 429633 HAS SOPS 429633 HAS SOUS 389234 HAS SOUPS 389234 WITH SCORE 389663.633
AT ITER 3677 NEW BEST:: SOT 795654 SOS 429680 HAS SOPS 429680 HAS SOUS 389218 HAS SOUPS 389218 WITH SCORE 389647.68
AT ITER 3683 NEW BEST:: SOT 795654 SOS 429616 HAS SOPS 429616 HAS SOUS 389218 HAS SOUPS 389218 WITH SCORE 389647.616
AT ITER 3689 NEW BEST:: SOT 795654 SOS 429577 HAS SOPS 429577 HAS SOUS 389179 HAS SOUPS 389179 WITH SCORE 389608.577
AT ITER 3691 NEW BEST:: SOT 795654 SOS 429573 HAS SOPS 429573 HAS SOUS 389179 HAS SOUPS 389179 WITH SCORE 389608.573
AT ITER 3694 NEW BEST:: SOT 795546 SOS 429465 HAS SOPS 429465 HAS SOUS 388864 HAS SOUPS 388864 WITH SCORE 389293.465
AT ITER 3697 NEW BEST:: SOT 795546 SOS 429530 HAS SOPS 429530 HAS SOUS 388851 HAS SOUPS 388851 WITH SCORE 389280.53
AT ITER 3702 NEW BEST:: SOT 795546 SOS 429506 HAS SOPS 429506 HAS SOUS 388812 HAS SOUPS 388812 WITH SCORE 389241.506
AT ITER 3704 NEW BEST:: SOT 794775 SOS 429055 HAS SOPS 429055 HAS SOUS 388270 HAS SOUPS 388270 WITH SCORE 388699.055
AT ITER 3711 NEW BEST:: SOT 795128 SOS 428731 HAS SOPS 428731 HAS SOUS 388259 HAS SOUPS 388259 WITH SCORE 388687.731
AT ITER 3715 NEW BEST:: SOT 795124 SOS 428727 HAS SOPS 428727 HAS SOUS 388241 HAS SOUPS 388241 WITH SCORE 388669.727
AT ITER 3725 NEW BEST:: SOT 794361 SOS 428344 HAS SOPS 428344 HAS SOUS 387874 HAS SOUPS 387874 WITH SCORE 388302.344
AT ITER 3731 NEW BEST:: SOT 794091 SOS 428074 HAS SOPS 428074 HAS SOUS 387604 HAS SOUPS 387604 WITH SCORE 388032.074
AT ITER 3734 NEW BEST:: SOT 794113 SOS 428096 HAS SOPS 428096 HAS SOUS 387506 HAS SOUPS 387506 WITH SCORE 387934.096
AT ITER 3736 NEW BEST:: SOT 794113 SOS 428044 HAS SOPS 428044 HAS SOUS 387506 HAS SOUPS 387506 WITH SCORE 387934.044
AT ITER 3743 NEW BEST:: SOT 794080 SOS 427929 HAS SOPS 427929 HAS SOUS 387393 HAS SOUPS 387393 WITH SCORE 387820.929
AT ITER 3748 NEW BEST:: SOT 794080 SOS 427746 HAS SOPS 427746 HAS SOUS 387393 HAS SOUPS 387393 WITH SCORE 387820.746
AT ITER 3750 NEW BEST:: SOT 794080 SOS 427740 HAS SOPS 427740 HAS SOUS 387393 HAS SOUPS 387393 WITH SCORE 387820.74
AT ITER 3752 NEW BEST:: SOT 794080 SOS 427641 HAS SOPS 427641 HAS SOUS 387393 HAS SOUPS 387393 WITH SCORE 387820.641
AT ITER 3753 NEW BEST:: SOT 793650 SOS 427584 HAS SOPS 427584 HAS SOUS 386890 HAS SOUPS 386890 WITH SCORE 387317.584
AT ITER 3758 NEW BEST:: SOT 793650 SOS 427573 HAS SOPS 427573 HAS SOUS 386890 HAS SOUPS 386890 WITH SCORE 387317.573
AT ITER 3759 NEW BEST:: SOT 793104 SOS 427074 HAS SOPS 427074 HAS SOUS 386542 HAS SOUPS 386542 WITH SCORE 386969.074
AT ITER 3762 NEW BEST:: SOT 793104 SOS 426753 HAS SOPS 426753 HAS SOUS 386542 HAS SOUPS 386542 WITH SCORE 386968.753
AT ITER 3766 NEW BEST:: SOT 793035 SOS 426708 HAS SOPS 426708 HAS SOUS 386510 HAS SOUPS 386510 WITH SCORE 386936.708
AT ITER 3788 NEW BEST:: SOT 793035 SOS 426605 HAS SOPS 426605 HAS SOUS 386510 HAS SOUPS 386510 WITH SCORE 386936.605
AT ITER 3792 NEW BEST:: SOT 793035 SOS 426573 HAS SOPS 426573 HAS SOUS 386510 HAS SOUPS 386510 WITH SCORE 386936.573
AT ITER 3800 NEW BEST:: SOT 793035 SOS 426547 HAS SOPS 426547 HAS SOUS 386420 HAS SOUPS 386420 WITH SCORE 386846.547
AT ITER 3804 NEW BEST:: SOT 793035 SOS 426640 HAS SOPS 426640 HAS SOUS 386401 HAS SOUPS 386401 WITH SCORE 386827.64
AT ITER 3813 NEW BEST:: SOT 792990 SOS 426528 HAS SOPS 426528 HAS SOUS 386380 HAS SOUPS 386380 WITH SCORE 386806.528
AT ITER 3814 NEW BEST:: SOT 792968 SOS 426571 HAS SOPS 426571 HAS SOUS 386341 HAS SOUPS 386341 WITH SCORE 386767.571
AT ITER 3840 NEW BEST:: SOT 792968 SOS 426535 HAS SOPS 426535 HAS SOUS 386341 HAS SOUPS 386341 WITH SCORE 386767.535
AT ITER 3846 NEW BEST:: SOT 792968 SOS 426535 HAS SOPS 426535 HAS SOUS 386327 HAS SOUPS 386327 WITH SCORE 386753.535
AT ITER 3849 NEW BEST:: SOT 792968 SOS 426478 HAS SOPS 426478 HAS SOUS 386327 HAS SOUPS 386327 WITH SCORE 386753.478
AT ITER 3853 NEW BEST:: SOT 792954 SOS 426590 HAS SOPS 426590 HAS SOUS 386313 HAS SOUPS 386313 WITH SCORE 386739.59
AT ITER 3857 NEW BEST:: SOT 792954 SOS 426530 HAS SOPS 426530 HAS SOUS 386254 HAS SOUPS 386254 WITH SCORE 386680.53
AT ITER 3861 NEW BEST:: SOT 792954 SOS 426510 HAS SOPS 426510 HAS SOUS 386218 HAS SOUPS 386218 WITH SCORE 386644.51
AT ITER 3862 NEW BEST:: SOT 792954 SOS 426382 HAS SOPS 426382 HAS SOUS 386218 HAS SOUPS 386218 WITH SCORE 386644.382
AT ITER 3877 NEW BEST:: SOT 792954 SOS 426240 HAS SOPS 426240 HAS SOUS 386218 HAS SOUPS 386218 WITH SCORE 386644.24
AT ITER 3881 NEW BEST:: SOT 792909 SOS 426262 HAS SOPS 426262 HAS SOUS 386159 HAS SOUPS 386159 WITH SCORE 386585.262
AT ITER 3883 NEW BEST:: SOT 792954 SOS 426227 HAS SOPS 426227 HAS SOUS 386147 HAS SOUPS 386147 WITH SCORE 386573.227
AT ITER 3901 NEW BEST:: SOT 792954 SOS 426131 HAS SOPS 426131 HAS SOUS 386147 HAS SOUPS 386147 WITH SCORE 386573.131
AT ITER 3903 NEW BEST:: SOT 792954 SOS 425995 HAS SOPS 425995 HAS SOUS 386147 HAS SOUPS 386147 WITH SCORE 386572.995
AT ITER 3918 NEW BEST:: SOT 792954 SOS 426082 HAS SOPS 426082 HAS SOUS 386140 HAS SOUPS 386140 WITH SCORE 386566.082
AT ITER 3921 NEW BEST:: SOT 792954 SOS 426196 HAS SOPS 426196 HAS SOUS 386138 HAS SOUPS 386138 WITH SCORE 386564.196
AT ITER 3923 NEW BEST:: SOT 792954 SOS 426166 HAS SOPS 426166 HAS SOUS 386138 HAS SOUPS 386138 WITH SCORE 386564.166
AT ITER 3924 NEW BEST:: SOT 792954 SOS 426166 HAS SOPS 426166 HAS SOUS 386099 HAS SOUPS 386099 WITH SCORE 386525.166
AT ITER 3927 NEW BEST:: SOT 792954 SOS 426103 HAS SOPS 426103 HAS SOUS 386051 HAS SOUPS 386051 WITH SCORE 386477.103
AT ITER 3940 NEW BEST:: SOT 792803 SOS 426449 HAS SOPS 426449 HAS SOUS 386039 HAS SOUPS 386039 WITH SCORE 386465.449
AT ITER 3948 NEW BEST:: SOT 792164 SOS 425735 HAS SOPS 425735 HAS SOUS 385681 HAS SOUPS 385681 WITH SCORE 386106.735
AT ITER 3952 NEW BEST:: SOT 792243 SOS 424584 HAS SOPS 424584 HAS SOUS 385670 HAS SOUPS 385670 WITH SCORE 386094.584
AT ITER 3955 NEW BEST:: SOT 792243 SOS 424255 HAS SOPS 424255 HAS SOUS 385602 HAS SOUPS 385602 WITH SCORE 386026.255
AT ITER 3959 NEW BEST:: SOT 792243 SOS 423750 HAS SOPS 423750 HAS SOUS 385545 HAS SOUPS 385545 WITH SCORE 385968.75
AT ITER 3963 NEW BEST:: SOT 792218 SOS 423633 HAS SOPS 423633 HAS SOUS 385475 HAS SOUPS 385475 WITH SCORE 385898.633
AT ITER 3967 NEW BEST:: SOT 792218 SOS 423390 HAS SOPS 423390 HAS SOUS 385475 HAS SOUPS 385475 WITH SCORE 385898.39
AT ITER 3969 NEW BEST:: SOT 792218 SOS 423300 HAS SOPS 423300 HAS SOUS 385385 HAS SOUPS 385385 WITH SCORE 385808.3
AT ITER 3982 NEW BEST:: SOT 792149 SOS 423218 HAS SOPS 423218 HAS SOUS 385314 HAS SOUPS 385314 WITH SCORE 385737.218
AT ITER 3984 NEW BEST:: SOT 792131 SOS 423292 HAS SOPS 423292 HAS SOUS 385278 HAS SOUPS 385278 WITH SCORE 385701.292
AT ITER 3986 NEW BEST:: SOT 791629 SOS 422840 HAS SOPS 422840 HAS SOUS 385190 HAS SOUPS 385190 WITH SCORE 385612.84
AT ITER 3995 NEW BEST:: SOT 791629 SOS 420672 HAS SOPS 420672 HAS SOUS 385019 HAS SOUPS 385019 WITH SCORE 385439.672
AT ITER 4010 NEW BEST:: SOT 791615 SOS 420658 HAS SOPS 420658 HAS SOUS 385005 HAS SOUPS 385005 WITH SCORE 385425.658
AT ITER 4015 NEW BEST:: SOT 791615 SOS 420708 HAS SOPS 420708 HAS SOUS 385001 HAS SOUPS 385001 WITH SCORE 385421.708
AT ITER 4020 NEW BEST:: SOT 791615 SOS 420653 HAS SOPS 420653 HAS SOUS 385001 HAS SOUPS 385001 WITH SCORE 385421.653
AT ITER 4021 NEW BEST:: SOT 791615 SOS 420705 HAS SOPS 420705 HAS SOUS 384993 HAS SOUPS 384993 WITH SCORE 385413.705
AT ITER 4024 NEW BEST:: SOT 791615 SOS 420442 HAS SOPS 420442 HAS SOUS 384833 HAS SOUPS 384833 WITH SCORE 385253.442
AT ITER 4028 NEW BEST:: SOT 791615 SOS 420358 HAS SOPS 420358 HAS SOUS 384833 HAS SOUPS 384833 WITH SCORE 385253.358
AT ITER 4029 NEW BEST:: SOT 791609 SOS 420164 HAS SOPS 420164 HAS SOUS 384781 HAS SOUPS 384781 WITH SCORE 385201.164
AT ITER 4051 NEW BEST:: SOT 791609 SOS 420164 HAS SOPS 420164 HAS SOUS 384779 HAS SOUPS 384779 WITH SCORE 385199.164
AT ITER 4052 NEW BEST:: SOT 791609 SOS 420023 HAS SOPS 420023 HAS SOUS 384779 HAS SOUPS 384779 WITH SCORE 385199.023
AT ITER 4102 NEW BEST:: SOT 791577 SOS 419930 HAS SOPS 419930 HAS SOUS 384689 HAS SOUPS 384689 WITH SCORE 385108.93
AT ITER 4114 NEW BEST:: SOT 791577 SOS 419883 HAS SOPS 419883 HAS SOUS 384689 HAS SOUPS 384689 WITH SCORE 385108.883
AT ITER 4132 NEW BEST:: SOT 791577 SOS 419818 HAS SOPS 419818 HAS SOUS 384689 HAS SOUPS 384689 WITH SCORE 385108.818
AT ITER 4144 NEW BEST:: SOT 791577 SOS 419441 HAS SOPS 419441 HAS SOUS 384689 HAS SOUPS 384689 WITH SCORE 385108.441
AT ITER 4153 NEW BEST:: SOT 791544 SOS 419078 HAS SOPS 419078 HAS SOUS 384545 HAS SOUPS 384545 WITH SCORE 384964.078
AT ITER 4158 NEW BEST:: SOT 791512 SOS 419114 HAS SOPS 419114 HAS SOUS 384460 HAS SOUPS 384460 WITH SCORE 384879.114
AT ITER 4165 NEW BEST:: SOT 791512 SOS 419082 HAS SOPS 419082 HAS SOUS 384460 HAS SOUPS 384460 WITH SCORE 384879.082
AT ITER 4166 NEW BEST:: SOT 791512 SOS 419108 HAS SOPS 419108 HAS SOUS 384452 HAS SOUPS 384452 WITH SCORE 384871.108
AT ITER 4168 NEW BEST:: SOT 791512 SOS 419055 HAS SOPS 419055 HAS SOUS 384433 HAS SOUPS 384433 WITH SCORE 384852.055
AT ITER 4175 NEW BEST:: SOT 791918 SOS 413813 HAS SOPS 413813 HAS SOUS 384315 HAS SOUPS 384315 WITH SCORE 384728.813
AT ITER 4180 NEW BEST:: SOT 791918 SOS 413904 HAS SOPS 413904 HAS SOUS 384149 HAS SOUPS 384149 WITH SCORE 384562.904
AT ITER 4182 NEW BEST:: SOT 791918 SOS 413724 HAS SOPS 413724 HAS SOUS 384033 HAS SOUPS 384033 WITH SCORE 384446.724
AT ITER 4205 NEW BEST:: SOT 791932 SOS 413630 HAS SOPS 413630 HAS SOUS 384005 HAS SOUPS 384005 WITH SCORE 384418.63
AT ITER 4210 NEW BEST:: SOT 791932 SOS 413529 HAS SOPS 413529 HAS SOUS 384005 HAS SOUPS 384005 WITH SCORE 384418.529
AT ITER 4211 NEW BEST:: SOT 791914 SOS 413379 HAS SOPS 413379 HAS SOUS 383929 HAS SOUPS 383929 WITH SCORE 384342.379
AT ITER 4218 NEW BEST:: SOT 791914 SOS 413314 HAS SOPS 413314 HAS SOUS 383880 HAS SOUPS 383880 WITH SCORE 384293.314
AT ITER 4223 NEW BEST:: SOT 791745 SOS 413145 HAS SOPS 413145 HAS SOUS 383696 HAS SOUPS 383696 WITH SCORE 384109.145
AT ITER 4224 NEW BEST:: SOT 791745 SOS 412992 HAS SOPS 412992 HAS SOUS 383696 HAS SOUPS 383696 WITH SCORE 384108.992
AT ITER 4227 NEW BEST:: SOT 791745 SOS 412878 HAS SOPS 412878 HAS SOUS 383578 HAS SOUPS 383578 WITH SCORE 383990.878
AT ITER 4237 NEW BEST:: SOT 791745 SOS 412721 HAS SOPS 412721 HAS SOUS 383578 HAS SOUPS 383578 WITH SCORE 383990.721
AT ITER 4238 NEW BEST:: SOT 791728 SOS 412433 HAS SOPS 412433 HAS SOUS 383541 HAS SOUPS 383541 WITH SCORE 383953.433
AT ITER 4240 NEW BEST:: SOT 791670 SOS 412385 HAS SOPS 412385 HAS SOUS 383515 HAS SOUPS 383515 WITH SCORE 383927.385
AT ITER 4241 NEW BEST:: SOT 791670 SOS 412736 HAS SOPS 412736 HAS SOUS 383486 HAS SOUPS 383486 WITH SCORE 383898.736
AT ITER 4245 NEW BEST:: SOT 791501 SOS 413130 HAS SOPS 413130 HAS SOUS 383467 HAS SOUPS 383467 WITH SCORE 383880.13
AT ITER 4248 NEW BEST:: SOT 791484 SOS 412940 HAS SOPS 412940 HAS SOUS 383382 HAS SOUPS 383382 WITH SCORE 383794.94
AT ITER 4251 NEW BEST:: SOT 791518 SOS 413185 HAS SOPS 413185 HAS SOUS 383348 HAS SOUPS 383348 WITH SCORE 383761.185
AT ITER 4253 NEW BEST:: SOT 791491 SOS 413229 HAS SOPS 413229 HAS SOUS 383320 HAS SOUPS 383320 WITH SCORE 383733.229
AT ITER 4279 NEW BEST:: SOT 790567 SOS 412305 HAS SOPS 412305 HAS SOUS 382455 HAS SOUPS 382455 WITH SCORE 382867.305
AT ITER 4304 NEW BEST:: SOT 790567 SOS 410614 HAS SOPS 410614 HAS SOUS 382455 HAS SOUPS 382455 WITH SCORE 382865.614
AT ITER 4314 NEW BEST:: SOT 790567 SOS 410559 HAS SOPS 410559 HAS SOUS 382455 HAS SOUPS 382455 WITH SCORE 382865.559
AT ITER 4332 NEW BEST:: SOT 790184 SOS 410242 HAS SOPS 410242 HAS SOUS 382317 HAS SOUPS 382317 WITH SCORE 382727.242
AT ITER 4368 NEW BEST:: SOT 789314 SOS 410484 HAS SOPS 410484 HAS SOUS 382136 HAS SOUPS 382136 WITH SCORE 382546.484
AT ITER 4380 NEW BEST:: SOT 789274 SOS 410348 HAS SOPS 410348 HAS SOUS 382092 HAS SOUPS 382092 WITH SCORE 382502.348
AT ITER 4383 NEW BEST:: SOT 789274 SOS 410338 HAS SOPS 410338 HAS SOUS 382080 HAS SOUPS 382080 WITH SCORE 382490.338
AT ITER 4388 NEW BEST:: SOT 789268 SOS 410320 HAS SOPS 410320 HAS SOUS 382068 HAS SOUPS 382068 WITH SCORE 382478.32
AT ITER 4393 NEW BEST:: SOT 789268 SOS 410187 HAS SOPS 410187 HAS SOUS 381935 HAS SOUPS 381935 WITH SCORE 382345.187
AT ITER 4394 NEW BEST:: SOT 789263 SOS 410182 HAS SOPS 410182 HAS SOUS 381922 HAS SOUPS 381922 WITH SCORE 382332.182
AT ITER 4397 NEW BEST:: SOT 789263 SOS 409992 HAS SOPS 409992 HAS SOUS 381884 HAS SOUPS 381884 WITH SCORE 382293.992
AT ITER 4399 NEW BEST:: SOT 789263 SOS 409181 HAS SOPS 409181 HAS SOUS 381884 HAS SOUPS 381884 WITH SCORE 382293.181
AT ITER 4400 NEW BEST:: SOT 789263 SOS 409086 HAS SOPS 409086 HAS SOUS 381884 HAS SOUPS 381884 WITH SCORE 382293.086
AT ITER 4412 NEW BEST:: SOT 789263 SOS 409097 HAS SOPS 409097 HAS SOUS 381883 HAS SOUPS 381883 WITH SCORE 382292.097
AT ITER 4428 NEW BEST:: SOT 789311 SOS 409145 HAS SOPS 409145 HAS SOUS 381837 HAS SOUPS 381837 WITH SCORE 382246.145
AT ITER 4430 NEW BEST:: SOT 789320 SOS 409043 HAS SOPS 409043 HAS SOUS 381798 HAS SOUPS 381798 WITH SCORE 382207.043
AT ITER 4443 NEW BEST:: SOT 789320 SOS 409070 HAS SOPS 409070 HAS SOUS 381791 HAS SOUPS 381791 WITH SCORE 382200.07
AT ITER 4454 NEW BEST:: SOT 789320 SOS 409063 HAS SOPS 409063 HAS SOUS 381784 HAS SOUPS 381784 WITH SCORE 382193.063
AT ITER 4457 NEW BEST:: SOT 789302 SOS 408995 HAS SOPS 408995 HAS SOUS 381777 HAS SOUPS 381777 WITH SCORE 382185.995
AT ITER 4471 NEW BEST:: SOT 788320 SOS 413640 HAS SOPS 413640 HAS SOUS 381708 HAS SOUPS 381708 WITH SCORE 382121.64
AT ITER 4475 NEW BEST:: SOT 787516 SOS 412890 HAS SOPS 412890 HAS SOUS 381174 HAS SOUPS 381174 WITH SCORE 381586.89
AT ITER 4508 NEW BEST:: SOT 787516 SOS 409687 HAS SOPS 409687 HAS SOUS 381173 HAS SOUPS 381173 WITH SCORE 381582.687
AT ITER 4527 NEW BEST:: SOT 787516 SOS 409671 HAS SOPS 409671 HAS SOUS 381151 HAS SOUPS 381151 WITH SCORE 381560.671
AT ITER 4535 NEW BEST:: SOT 787551 SOS 409659 HAS SOPS 409659 HAS SOUS 381108 HAS SOUPS 381108 WITH SCORE 381517.659
AT ITER 4546 NEW BEST:: SOT 787520 SOS 409498 HAS SOPS 409498 HAS SOUS 381027 HAS SOUPS 381027 WITH SCORE 381436.498
AT ITER 4549 NEW BEST:: SOT 787520 SOS 409493 HAS SOPS 409493 HAS SOUS 381022 HAS SOUPS 381022 WITH SCORE 381431.493
AT ITER 4559 NEW BEST:: SOT 787520 SOS 409485 HAS SOPS 409485 HAS SOUS 381014 HAS SOUPS 381014 WITH SCORE 381423.485
AT ITER 4564 NEW BEST:: SOT 787520 SOS 409486 HAS SOPS 409486 HAS SOUS 380916 HAS SOUPS 380916 WITH SCORE 381325.486
AT ITER 4565 NEW BEST:: SOT 787317 SOS 409283 HAS SOPS 409283 HAS SOUS 380713 HAS SOUPS 380713 WITH SCORE 381122.283
AT ITER 4568 NEW BEST:: SOT 787317 SOS 409283 HAS SOPS 409283 HAS SOUS 380706 HAS SOUPS 380706 WITH SCORE 381115.283
AT ITER 4569 NEW BEST:: SOT 787317 SOS 409243 HAS SOPS 409243 HAS SOUS 380706 HAS SOUPS 380706 WITH SCORE 381115.243
AT ITER 4575 NEW BEST:: SOT 787276 SOS 409202 HAS SOPS 409202 HAS SOUS 380651 HAS SOUPS 380651 WITH SCORE 381060.202
AT ITER 4586 NEW BEST:: SOT 787276 SOS 409185 HAS SOPS 409185 HAS SOUS 380651 HAS SOUPS 380651 WITH SCORE 381060.185
AT ITER 4590 NEW BEST:: SOT 787276 SOS 409072 HAS SOPS 409072 HAS SOUS 380651 HAS SOUPS 380651 WITH SCORE 381060.072
AT ITER 4593 NEW BEST:: SOT 787292 SOS 408752 HAS SOPS 408752 HAS SOUS 380429 HAS SOUPS 380429 WITH SCORE 380837.752
AT ITER 4602 NEW BEST:: SOT 787292 SOS 408628 HAS SOPS 408628 HAS SOUS 380306 HAS SOUPS 380306 WITH SCORE 380714.628
AT ITER 4605 NEW BEST:: SOT 786788 SOS 408106 HAS SOPS 408106 HAS SOUS 379844 HAS SOUPS 379844 WITH SCORE 380252.106
AT ITER 4620 NEW BEST:: SOT 786793 SOS 407854 HAS SOPS 407854 HAS SOUS 379592 HAS SOUPS 379592 WITH SCORE 379999.854
AT ITER 4628 NEW BEST:: SOT 786793 SOS 407772 HAS SOPS 407772 HAS SOUS 379510 HAS SOUPS 379510 WITH SCORE 379917.772
AT ITER 4646 NEW BEST:: SOT 786793 SOS 407939 HAS SOPS 407939 HAS SOUS 379495 HAS SOUPS 379495 WITH SCORE 379902.939
AT ITER 4654 NEW BEST:: SOT 786793 SOS 407903 HAS SOPS 407903 HAS SOUS 379495 HAS SOUPS 379495 WITH SCORE 379902.903
AT ITER 4665 NEW BEST:: SOT 786793 SOS 407875 HAS SOPS 407875 HAS SOUS 379495 HAS SOUPS 379495 WITH SCORE 379902.875
AT ITER 4667 NEW BEST:: SOT 786669 SOS 407313 HAS SOPS 407313 HAS SOUS 379415 HAS SOUPS 379415 WITH SCORE 379822.313
AT ITER 4673 NEW BEST:: SOT 786669 SOS 407294 HAS SOPS 407294 HAS SOUS 379415 HAS SOUPS 379415 WITH SCORE 379822.294
AT ITER 4678 NEW BEST:: SOT 786669 SOS 407294 HAS SOPS 407294 HAS SOUS 379389 HAS SOUPS 379389 WITH SCORE 379796.294
AT ITER 4714 NEW BEST:: SOT 786669 SOS 407262 HAS SOPS 407262 HAS SOUS 379389 HAS SOUPS 379389 WITH SCORE 379796.262
AT ITER 4715 NEW BEST:: SOT 786671 SOS 406066 HAS SOPS 406066 HAS SOUS 379371 HAS SOUPS 379371 WITH SCORE 379777.066
AT ITER 4724 NEW BEST:: SOT 786329 SOS 405760 HAS SOPS 405760 HAS SOUS 379095 HAS SOUPS 379095 WITH SCORE 379500.76
AT ITER 4730 NEW BEST:: SOT 786329 SOS 405514 HAS SOPS 405514 HAS SOUS 379095 HAS SOUPS 379095 WITH SCORE 379500.514
AT ITER 4739 NEW BEST:: SOT 786300 SOS 405385 HAS SOPS 405385 HAS SOUS 378982 HAS SOUPS 378982 WITH SCORE 379387.385
AT ITER 4751 NEW BEST:: SOT 786300 SOS 403583 HAS SOPS 403583 HAS SOUS 378982 HAS SOUPS 378982 WITH SCORE 379385.583
AT ITER 4754 NEW BEST:: SOT 786300 SOS 403350 HAS SOPS 403350 HAS SOUS 378982 HAS SOUPS 378982 WITH SCORE 379385.35
AT ITER 4758 NEW BEST:: SOT 786287 SOS 403337 HAS SOPS 403337 HAS SOUS 378969 HAS SOUPS 378969 WITH SCORE 379372.337
AT ITER 4778 NEW BEST:: SOT 786241 SOS 403277 HAS SOPS 403277 HAS SOUS 378916 HAS SOUPS 378916 WITH SCORE 379319.277
AT ITER 4780 NEW BEST:: SOT 786265 SOS 403159 HAS SOPS 403159 HAS SOUS 378913 HAS SOUPS 378913 WITH SCORE 379316.159
AT ITER 4781 NEW BEST:: SOT 786265 SOS 403145 HAS SOPS 403145 HAS SOUS 378899 HAS SOUPS 378899 WITH SCORE 379302.145
AT ITER 4794 NEW BEST:: SOT 785414 SOS 402640 HAS SOPS 402640 HAS SOUS 378417 HAS SOUPS 378417 WITH SCORE 378819.64
AT ITER 4796 NEW BEST:: SOT 785414 SOS 402511 HAS SOPS 402511 HAS SOUS 378417 HAS SOUPS 378417 WITH SCORE 378819.511
AT ITER 4799 NEW BEST:: SOT 785414 SOS 402495 HAS SOPS 402495 HAS SOUS 378409 HAS SOUPS 378409 WITH SCORE 378811.495
AT ITER 4805 NEW BEST:: SOT 785414 SOS 402487 HAS SOPS 402487 HAS SOUS 378401 HAS SOUPS 378401 WITH SCORE 378803.487
AT ITER 4810 NEW BEST:: SOT 785414 SOS 402482 HAS SOPS 402482 HAS SOUS 378401 HAS SOUPS 378401 WITH SCORE 378803.482
AT ITER 4815 NEW BEST:: SOT 785414 SOS 402590 HAS SOPS 402590 HAS SOUS 378395 HAS SOUPS 378395 WITH SCORE 378797.59
AT ITER 4818 NEW BEST:: SOT 785414 SOS 402442 HAS SOPS 402442 HAS SOUS 378371 HAS SOUPS 378371 WITH SCORE 378773.442
AT ITER 4823 NEW BEST:: SOT 785411 SOS 402572 HAS SOPS 402572 HAS SOUS 378340 HAS SOUPS 378340 WITH SCORE 378742.572
AT ITER 4826 NEW BEST:: SOT 785322 SOS 402691 HAS SOPS 402691 HAS SOUS 378165 HAS SOUPS 378165 WITH SCORE 378567.691
AT ITER 4840 NEW BEST:: SOT 783849 SOS 405720 HAS SOPS 405720 HAS SOUS 377707 HAS SOUPS 377707 WITH SCORE 378112.72
AT ITER 4846 NEW BEST:: SOT 783849 SOS 405537 HAS SOPS 405537 HAS SOUS 377583 HAS SOUPS 377583 WITH SCORE 377988.537
AT ITER 4857 NEW BEST:: SOT 783849 SOS 405537 HAS SOPS 405537 HAS SOUS 377507 HAS SOUPS 377507 WITH SCORE 377912.537
AT ITER 4863 NEW BEST:: SOT 783849 SOS 405599 HAS SOPS 405599 HAS SOUS 377496 HAS SOUPS 377496 WITH SCORE 377901.599
AT ITER 4874 NEW BEST:: SOT 783848 SOS 405598 HAS SOPS 405598 HAS SOUS 377495 HAS SOUPS 377495 WITH SCORE 377900.598
AT ITER 4892 NEW BEST:: SOT 783848 SOS 405583 HAS SOPS 405583 HAS SOUS 377495 HAS SOUPS 377495 WITH SCORE 377900.583
AT ITER 4895 NEW BEST:: SOT 782729 SOS 406964 HAS SOPS 406964 HAS SOUS 377265 HAS SOUPS 377265 WITH SCORE 377671.964
AT ITER 4896 NEW BEST:: SOT 782729 SOS 406770 HAS SOPS 406770 HAS SOUS 377265 HAS SOUPS 377265 WITH SCORE 377671.77
AT ITER 4898 NEW BEST:: SOT 782646 SOS 406547 HAS SOPS 406547 HAS SOUS 377221 HAS SOUPS 377221 WITH SCORE 377627.547
AT ITER 4906 NEW BEST:: SOT 782646 SOS 406406 HAS SOPS 406406 HAS SOUS 377221 HAS SOUPS 377221 WITH SCORE 377627.406
AT ITER 4910 NEW BEST:: SOT 782646 SOS 406332 HAS SOPS 406332 HAS SOUS 377221 HAS SOUPS 377221 WITH SCORE 377627.332
AT ITER 4918 NEW BEST:: SOT 782608 SOS 406226 HAS SOPS 406226 HAS SOUS 377159 HAS SOUPS 377159 WITH SCORE 377565.226
AT ITER 4921 NEW BEST:: SOT 780833 SOS 404883 HAS SOPS 404883 HAS SOUS 376155 HAS SOUPS 376155 WITH SCORE 376559.883
AT ITER 4922 NEW BEST:: SOT 780833 SOS 404854 HAS SOPS 404854 HAS SOUS 376155 HAS SOUPS 376155 WITH SCORE 376559.854
AT ITER 4924 NEW BEST:: SOT 780833 SOS 404817 HAS SOPS 404817 HAS SOUS 376097 HAS SOUPS 376097 WITH SCORE 376501.817
AT ITER 4943 NEW BEST:: SOT 780844 SOS 404734 HAS SOPS 404734 HAS SOUS 376013 HAS SOUPS 376013 WITH SCORE 376417.734
AT ITER 4947 NEW BEST:: SOT 780818 SOS 404691 HAS SOPS 404691 HAS SOUS 375995 HAS SOUPS 375995 WITH SCORE 376399.691
AT ITER 4963 NEW BEST:: SOT 780799 SOS 404602 HAS SOPS 404602 HAS SOUS 375902 HAS SOUPS 375902 WITH SCORE 376306.602
AT ITER 4966 NEW BEST:: SOT 780799 SOS 405061 HAS SOPS 405061 HAS SOUS 375895 HAS SOUPS 375895 WITH SCORE 376300.061
AT ITER 4969 NEW BEST:: SOT 780678 SOS 405406 HAS SOPS 405406 HAS SOUS 375774 HAS SOUPS 375774 WITH SCORE 376179.406
AT ITER 4978 NEW BEST:: SOT 780645 SOS 405373 HAS SOPS 405373 HAS SOUS 375741 HAS SOUPS 375741 WITH SCORE 376146.373
AT ITER 4980 NEW BEST:: SOT 780645 SOS 405230 HAS SOPS 405230 HAS SOUS 375741 HAS SOUPS 375741 WITH SCORE 376146.23
AT ITER 4983 NEW BEST:: SOT 780566 SOS 405151 HAS SOPS 405151 HAS SOUS 375663 HAS SOUPS 375663 WITH SCORE 376068.151
AT ITER 4984 NEW BEST:: SOT 780481 SOS 405048 HAS SOPS 405048 HAS SOUS 375442 HAS SOUPS 375442 WITH SCORE 375847.048
AT ITER 4991 NEW BEST:: SOT 780544 SOS 403898 HAS SOPS 403898 HAS SOUS 375388 HAS SOUPS 375388 WITH SCORE 375791.898
AT ITER 4992 NEW BEST:: SOT 780535 SOS 403961 HAS SOPS 403961 HAS SOUS 375379 HAS SOUPS 375379 WITH SCORE 375782.961
AT ITER 4995 NEW BEST:: SOT 780535 SOS 403937 HAS SOPS 403937 HAS SOUS 375349 HAS SOUPS 375349 WITH SCORE 375752.937
Bounds file is: CTLFireability.xml
PROPERTY: NQueens-PT-30-CTLFireability-00 (EF( ( ((potential((tk(P947)>=1) & (tk(P978)>=1) & (tk(P1042)>=1) & (tk(P905)>=1)))) & (AX( ( ((potential((tk(P937)>=1) & (tk(P1003)>=1) & (tk(P1047)>=1) & (tk(P920)>=1)))) | ((potential((tk(P938)>=1) & (tk(P1007)>=1) & (tk(P1053)>=1) & (tk(P925)>=1)))) ))) )))
PROPERTY: NQueens-PT-30-CTLFireability-01 ( ( ((potential((tk(P939)>=1) & (tk(P985)>=1) & (tk(P1033)>=1) & (tk(P904)>=1)))) & ( ((potential((tk(P931)>=1) & (tk(P1005)>=1) & (tk(P1037)>=1) & (tk(P916)>=1)))) & (AG( ( ((potential((tk(P948)>=1) & (tk(P984)>=1) & (tk(P1050)>=1) & (tk(P912)>=1)))) & ((potential((tk(P935)>=1) & (tk(P995)>=1) & (tk(P1035)>=1) & (tk(P910)>=1)))) ))) ) ) | (EG( ((potential((tk(P953)>=1) & (tk(P974)>=1) & (tk(P1050)>=1) & (tk(P907)>=1)))))) )
PROPERTY: NQueens-PT-30-CTLFireability-02 (AU( (EX( (! ((potential((tk(P936)>=1) & (tk(P1008)>=1) & (tk(P1050)>=1) & (tk(P924)>=1))))))) , (AX( ((potential((tk(P950)>=1) & (tk(P1000)>=1) & (tk(P1070)>=1) & (tk(P930)>=1)))))) ))
PROPERTY: NQueens-PT-30-CTLFireability-03 (EF( ( (AG( ( ((potential((tk(P943)>=1) & (tk(P990)>=1) & (tk(P1046)>=1) & (tk(P913)>=1)))) | ((potential((tk(P950)>=1) & (tk(P972)>=1) & (tk(P1042)>=1) & (tk(P902)>=1)))) ))) & ( (EF( ((potential((tk(P948)>=1) & (tk(P996)>=1) & (tk(P1062)>=1) & (tk(P924)>=1)))))) & ( ( ((potential((tk(P935)>=1) & (tk(P1005)>=1) & (tk(P1045)>=1) & (tk(P920)>=1)))) & ((potential((tk(P935)>=1) & (tk(P1002)>=1) & (tk(P1042)>=1) & (tk(P917)>=1)))) ) | ( ((potential((tk(P949)>=1) & (tk(P1000)>=1) & (tk(P1068)>=1) & (tk(P929)>=1)))) | ((potential((tk(P939)>=1) & (tk(P988)>=1) & (tk(P1036)>=1) & (tk(P907)>=1)))) ) ) ) )))
PROPERTY: NQueens-PT-30-CTLFireability-04 (AG( (! ( (AG( ((potential((tk(P936)>=1) & (tk(P990)>=1) & (tk(P1032)>=1) & (tk(P906)>=1)))))) & (! ((potential((tk(P941)>=1) & (tk(P988)>=1) & (tk(P1040)>=1) & (tk(P909)>=1))))) ))))
PROPERTY: NQueens-PT-30-CTLFireability-05 (AF( ( (! (EF( ((potential((tk(P951)>=1) & (tk(P971)>=1) & (tk(P1043)>=1) & (tk(P902)>=1))))))) | ( ((potential((tk(P948)>=1) & (tk(P980)>=1) & (tk(P1046)>=1) & (tk(P908)>=1)))) & (! ((potential((tk(P938)>=1) & (tk(P1001)>=1) & (tk(P1047)>=1) & (tk(P919)>=1))))) ) )))
PROPERTY: NQueens-PT-30-CTLFireability-06 (EG( (AU( ((potential((tk(P943)>=1) & (tk(P991)>=1) & (tk(P1047)>=1) & (tk(P914)>=1)))) , ( ((potential((tk(P958)>=1) & (tk(P963)>=1) & (tk(P1049)>=1) & (tk(P901)>=1)))) & ((potential((tk(P937)>=1) & (tk(P994)>=1) & (tk(P1038)>=1) & (tk(P911)>=1)))) ) ))))
PROPERTY: NQueens-PT-30-CTLFireability-07 ( (AF( (! (EG( ((potential((tk(P937)>=1) & (tk(P996)>=1) & (tk(P1040)>=1) & (tk(P913)>=1))))))))) & ((potential((tk(P932)>=1) & (tk(P1017)>=1) & (tk(P1051)>=1) & (tk(P929)>=1)))) )
PROPERTY: NQueens-PT-30-CTLFireability-08 ( (EG( ((potential((tk(P948)>=1) & (tk(P988)>=1) & (tk(P1054)>=1) & (tk(P916)>=1)))))) & (AF( (AU( ((potential((tk(P955)>=1) & (tk(P976)>=1) & (tk(P1056)>=1) & (tk(P911)>=1)))) , ((potential((tk(P958)>=1) & (tk(P987)>=1) & (tk(P1073)>=1) & (tk(P925)>=1)))) )))) )
PROPERTY: NQueens-PT-30-CTLFireability-09 (EF( (AX( ( ( ((potential((tk(P931)>=1) & (tk(P996)>=1) & (tk(P1028)>=1) & (tk(P907)>=1)))) | ((potential((tk(P940)>=1) & (tk(P1000)>=1) & (tk(P1050)>=1) & (tk(P920)>=1)))) ) & (! ((potential((tk(P959)>=1) & (tk(P977)>=1) & (tk(P1065)>=1) & (tk(P916)>=1))))) )))))
PROPERTY: NQueens-PT-30-CTLFireability-10 (EX( (EF( (EG( ((potential((tk(P949)>=1) & (tk(P977)>=1) & (tk(P1045)>=1) & (tk(P906)>=1))))))))))
PROPERTY: NQueens-PT-30-CTLFireability-11 (AU( ( ( ((potential((tk(P947)>=1) & (tk(P977)>=1) & (tk(P1041)>=1) & (tk(P904)>=1)))) | (! ((potential((tk(P959)>=1) & (tk(P973)>=1) & (tk(P1061)>=1) & (tk(P912)>=1))))) ) | (EF( ((potential((tk(P955)>=1) & (tk(P994)>=1) & (tk(P1074)>=1) & (tk(P929)>=1)))))) ) , ( (AX( ((potential((tk(P936)>=1) & (tk(P1010)>=1) & (tk(P1052)>=1) & (tk(P926)>=1)))))) & (EF( ((potential((tk(P935)>=1) & (tk(P995)>=1) & (tk(P1035)>=1) & (tk(P910)>=1)))))) ) ))
PROPERTY: NQueens-PT-30-CTLFireability-12 (AX( (! ( (AX( ((potential((tk(P949)>=1) & (tk(P996)>=1) & (tk(P1064)>=1) & (tk(P925)>=1)))))) & (EF( ((potential((tk(P932)>=1) & (tk(P999)>=1) & (tk(P1033)>=1) & (tk(P911)>=1)))))) ))))
PROPERTY: NQueens-PT-30-CTLFireability-13 (! (EX( ( ((potential((tk(P944)>=1) & (tk(P992)>=1) & (tk(P1050)>=1) & (tk(P916)>=1)))) & (AX( ((potential((tk(P934)>=1) & (tk(P1002)>=1) & (tk(P1040)>=1) & (tk(P916)>=1)))))) ))))
PROPERTY: NQueens-PT-30-CTLFireability-14 (! (AX( (AF( ( ((potential((tk(P940)>=1) & (tk(P996)>=1) & (tk(P1046)>=1) & (tk(P916)>=1)))) & ((potential((tk(P948)>=1) & (tk(P1000)>=1) & (tk(P1066)>=1) & (tk(P928)>=1)))) ))))))
PROPERTY: NQueens-PT-30-CTLFireability-15 (AF( ( ( (AG( ((potential((tk(P939)>=1) & (tk(P1011)>=1) & (tk(P1059)>=1) & (tk(P930)>=1)))))) & ( ((potential((tk(P934)>=1) & (tk(P1010)>=1) & (tk(P1048)>=1) & (tk(P924)>=1)))) | (! ((potential((tk(P945)>=1) & (tk(P994)>=1) & (tk(P1054)>=1) & (tk(P919)>=1))))) ) ) & ((potential((tk(P959)>=1) & (tk(P982)>=1) & (tk(P1070)>=1) & (tk(P921)>=1)))) )))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NQueens-PT-30"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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-4028"
echo " Executing tool smart"
echo " Input is NQueens-PT-30, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250100172"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NQueens-PT-30.tgz
mv NQueens-PT-30 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;