Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470100892.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldRVs-PT-050A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470100892
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 3.0K May 14 02:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 02:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 19:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 09:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 320K May 12 20:42 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 ShieldRVs-PT-050A-CTLFireability-00
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-01
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-02
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-03
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-04
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-05
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-06
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-07
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-08
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-09
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-10
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-11
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-12
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-13
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-14
FORMULA_NAME ShieldRVs-PT-050A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590453867032

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 050A
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: 703 places, 953 transitions, 4600 arcs.
AT ITER 0 NEW BEST:: SOT 503418 SOS 431527 HAS SOPS 431527 HAS SOUS 350205 HAS SOUPS 350205 WITH SCORE 350636.527
AT ITER 3 NEW BEST:: SOT 503248 SOS 430463 HAS SOPS 430463 HAS SOUS 349046 HAS SOUPS 349046 WITH SCORE 349476.463
AT ITER 6 NEW BEST:: SOT 503248 SOS 430605 HAS SOPS 430605 HAS SOUS 348950 HAS SOUPS 348950 WITH SCORE 349380.605
AT ITER 9 NEW BEST:: SOT 503104 SOS 430461 HAS SOPS 430461 HAS SOUS 348949 HAS SOUPS 348949 WITH SCORE 349379.461
AT ITER 13 NEW BEST:: SOT 503060 SOS 430417 HAS SOPS 430417 HAS SOUS 348905 HAS SOUPS 348905 WITH SCORE 349335.417
AT ITER 16 NEW BEST:: SOT 502885 SOS 429892 HAS SOPS 429892 HAS SOUS 348204 HAS SOUPS 348204 WITH SCORE 348633.892
AT ITER 18 NEW BEST:: SOT 502530 SOS 428062 HAS SOPS 428062 HAS SOUS 346151 HAS SOUPS 346151 WITH SCORE 346579.062
AT ITER 20 NEW BEST:: SOT 502530 SOS 427985 HAS SOPS 427985 HAS SOUS 346083 HAS SOUPS 346083 WITH SCORE 346510.985
AT ITER 25 NEW BEST:: SOT 502605 SOS 427574 HAS SOPS 427574 HAS SOUS 345807 HAS SOUPS 345807 WITH SCORE 346234.574
AT ITER 26 NEW BEST:: SOT 502605 SOS 427573 HAS SOPS 427573 HAS SOUS 345807 HAS SOUPS 345807 WITH SCORE 346234.573
AT ITER 31 NEW BEST:: SOT 502534 SOS 426880 HAS SOPS 426880 HAS SOUS 345324 HAS SOUPS 345324 WITH SCORE 345750.88
AT ITER 34 NEW BEST:: SOT 502216 SOS 425218 HAS SOPS 425218 HAS SOUS 343552 HAS SOUPS 343552 WITH SCORE 343977.218
AT ITER 37 NEW BEST:: SOT 502069 SOS 424542 HAS SOPS 424542 HAS SOUS 342992 HAS SOUPS 342992 WITH SCORE 343416.542
AT ITER 42 NEW BEST:: SOT 502012 SOS 423757 HAS SOPS 423757 HAS SOUS 342376 HAS SOUPS 342376 WITH SCORE 342799.757
AT ITER 45 NEW BEST:: SOT 501968 SOS 423713 HAS SOPS 423713 HAS SOUS 342375 HAS SOUPS 342375 WITH SCORE 342798.713
AT ITER 54 NEW BEST:: SOT 502238 SOS 423891 HAS SOPS 423891 HAS SOUS 342102 HAS SOUPS 342102 WITH SCORE 342525.891
AT ITER 55 NEW BEST:: SOT 501940 SOS 422290 HAS SOPS 422290 HAS SOUS 339786 HAS SOUPS 339786 WITH SCORE 340208.29
AT ITER 56 NEW BEST:: SOT 501940 SOS 422295 HAS SOPS 422295 HAS SOUS 339783 HAS SOUPS 339783 WITH SCORE 340205.295
AT ITER 57 NEW BEST:: SOT 501437 SOS 421792 HAS SOPS 421792 HAS SOUS 339280 HAS SOUPS 339280 WITH SCORE 339701.792
AT ITER 60 NEW BEST:: SOT 502114 SOS 422641 HAS SOPS 422641 HAS SOUS 339004 HAS SOUPS 339004 WITH SCORE 339426.641
AT ITER 64 NEW BEST:: SOT 501962 SOS 422489 HAS SOPS 422489 HAS SOUS 338852 HAS SOUPS 338852 WITH SCORE 339274.489
AT ITER 67 NEW BEST:: SOT 501821 SOS 421887 HAS SOPS 421887 HAS SOUS 337987 HAS SOUPS 337987 WITH SCORE 338408.887
AT ITER 73 NEW BEST:: SOT 501923 SOS 422198 HAS SOPS 422198 HAS SOUS 337946 HAS SOUPS 337946 WITH SCORE 338368.198
AT ITER 74 NEW BEST:: SOT 501604 SOS 421879 HAS SOPS 421879 HAS SOUS 337627 HAS SOUPS 337627 WITH SCORE 338048.879
AT ITER 77 NEW BEST:: SOT 501602 SOS 421877 HAS SOPS 421877 HAS SOUS 337625 HAS SOUPS 337625 WITH SCORE 338046.877
AT ITER 79 NEW BEST:: SOT 501088 SOS 421363 HAS SOPS 421363 HAS SOUS 337110 HAS SOUPS 337110 WITH SCORE 337531.363
AT ITER 80 NEW BEST:: SOT 500797 SOS 419843 HAS SOPS 419843 HAS SOUS 335482 HAS SOUPS 335482 WITH SCORE 335901.843
AT ITER 81 NEW BEST:: SOT 500797 SOS 419712 HAS SOPS 419712 HAS SOUS 335385 HAS SOUPS 335385 WITH SCORE 335804.712
AT ITER 82 NEW BEST:: SOT 500609 SOS 418248 HAS SOPS 418248 HAS SOUS 334691 HAS SOUPS 334691 WITH SCORE 335109.248
AT ITER 83 NEW BEST:: SOT 500289 SOS 416590 HAS SOPS 416590 HAS SOUS 332882 HAS SOUPS 332882 WITH SCORE 333298.59
AT ITER 85 NEW BEST:: SOT 500289 SOS 416176 HAS SOPS 416176 HAS SOUS 332558 HAS SOUPS 332558 WITH SCORE 332974.176
AT ITER 87 NEW BEST:: SOT 500254 SOS 414826 HAS SOPS 414826 HAS SOUS 332500 HAS SOUPS 332500 WITH SCORE 332914.826
AT ITER 94 NEW BEST:: SOT 500219 SOS 414686 HAS SOPS 414686 HAS SOUS 332325 HAS SOUPS 332325 WITH SCORE 332739.686
AT ITER 98 NEW BEST:: SOT 500055 SOS 414522 HAS SOPS 414522 HAS SOUS 332324 HAS SOUPS 332324 WITH SCORE 332738.522
AT ITER 99 NEW BEST:: SOT 500033 SOS 414500 HAS SOPS 414500 HAS SOUS 332301 HAS SOUPS 332301 WITH SCORE 332715.5
AT ITER 101 NEW BEST:: SOT 500033 SOS 414508 HAS SOPS 414508 HAS SOUS 332298 HAS SOUPS 332298 WITH SCORE 332712.508
AT ITER 103 NEW BEST:: SOT 500033 SOS 414599 HAS SOPS 414599 HAS SOUS 332236 HAS SOUPS 332236 WITH SCORE 332650.599
AT ITER 104 NEW BEST:: SOT 499839 SOS 413480 HAS SOPS 413480 HAS SOUS 331230 HAS SOUPS 331230 WITH SCORE 331643.48
AT ITER 106 NEW BEST:: SOT 499633 SOS 412416 HAS SOPS 412416 HAS SOUS 330099 HAS SOUPS 330099 WITH SCORE 330511.416
AT ITER 107 NEW BEST:: SOT 499476 SOS 411843 HAS SOPS 411843 HAS SOUS 329470 HAS SOUPS 329470 WITH SCORE 329881.843
AT ITER 112 NEW BEST:: SOT 499294 SOS 411661 HAS SOPS 411661 HAS SOUS 329288 HAS SOUPS 329288 WITH SCORE 329699.661
AT ITER 114 NEW BEST:: SOT 498962 SOS 411144 HAS SOPS 411144 HAS SOUS 328773 HAS SOUPS 328773 WITH SCORE 329184.144
AT ITER 115 NEW BEST:: SOT 498729 SOS 410911 HAS SOPS 410911 HAS SOUS 328540 HAS SOUPS 328540 WITH SCORE 328950.911
AT ITER 119 NEW BEST:: SOT 498676 SOS 410201 HAS SOPS 410201 HAS SOUS 328123 HAS SOUPS 328123 WITH SCORE 328533.201
AT ITER 122 NEW BEST:: SOT 498766 SOS 410326 HAS SOPS 410326 HAS SOUS 328014 HAS SOUPS 328014 WITH SCORE 328424.326
AT ITER 123 NEW BEST:: SOT 498651 SOS 409997 HAS SOPS 409997 HAS SOUS 327642 HAS SOUPS 327642 WITH SCORE 328051.997
AT ITER 125 NEW BEST:: SOT 498197 SOS 409630 HAS SOPS 409630 HAS SOUS 327362 HAS SOUPS 327362 WITH SCORE 327771.63
AT ITER 126 NEW BEST:: SOT 498291 SOS 409193 HAS SOPS 409193 HAS SOUS 327242 HAS SOUPS 327242 WITH SCORE 327651.193
AT ITER 128 NEW BEST:: SOT 498088 SOS 408234 HAS SOPS 408234 HAS SOUS 326295 HAS SOUPS 326295 WITH SCORE 326703.234
AT ITER 132 NEW BEST:: SOT 498038 SOS 407417 HAS SOPS 407417 HAS SOUS 325257 HAS SOUPS 325257 WITH SCORE 325664.417
AT ITER 134 NEW BEST:: SOT 498720 SOS 407460 HAS SOPS 407460 HAS SOUS 325139 HAS SOUPS 325139 WITH SCORE 325546.46
AT ITER 135 NEW BEST:: SOT 498720 SOS 407459 HAS SOPS 407459 HAS SOUS 325137 HAS SOUPS 325137 WITH SCORE 325544.459
AT ITER 136 NEW BEST:: SOT 498574 SOS 407337 HAS SOPS 407337 HAS SOUS 325060 HAS SOUPS 325060 WITH SCORE 325467.337
AT ITER 138 NEW BEST:: SOT 498425 SOS 407188 HAS SOPS 407188 HAS SOUS 324911 HAS SOUPS 324911 WITH SCORE 325318.188
AT ITER 141 NEW BEST:: SOT 498736 SOS 407191 HAS SOPS 407191 HAS SOUS 324323 HAS SOUPS 324323 WITH SCORE 324730.191
AT ITER 144 NEW BEST:: SOT 498697 SOS 407152 HAS SOPS 407152 HAS SOUS 324284 HAS SOUPS 324284 WITH SCORE 324691.152
AT ITER 145 NEW BEST:: SOT 498771 SOS 407224 HAS SOPS 407224 HAS SOUS 324280 HAS SOUPS 324280 WITH SCORE 324687.224
AT ITER 147 NEW BEST:: SOT 498255 SOS 406708 HAS SOPS 406708 HAS SOUS 323764 HAS SOUPS 323764 WITH SCORE 324170.708
AT ITER 148 NEW BEST:: SOT 498253 SOS 406706 HAS SOPS 406706 HAS SOUS 323756 HAS SOUPS 323756 WITH SCORE 324162.706
AT ITER 150 NEW BEST:: SOT 498242 SOS 406695 HAS SOPS 406695 HAS SOUS 323745 HAS SOUPS 323745 WITH SCORE 324151.695
AT ITER 152 NEW BEST:: SOT 498226 SOS 406679 HAS SOPS 406679 HAS SOUS 323729 HAS SOUPS 323729 WITH SCORE 324135.679
AT ITER 154 NEW BEST:: SOT 498256 SOS 405770 HAS SOPS 405770 HAS SOUS 323502 HAS SOUPS 323502 WITH SCORE 323907.77
AT ITER 158 NEW BEST:: SOT 498336 SOS 405843 HAS SOPS 405843 HAS SOUS 323464 HAS SOUPS 323464 WITH SCORE 323869.843
AT ITER 159 NEW BEST:: SOT 498336 SOS 405769 HAS SOPS 405769 HAS SOUS 323337 HAS SOUPS 323337 WITH SCORE 323742.769
AT ITER 163 NEW BEST:: SOT 498336 SOS 405884 HAS SOPS 405884 HAS SOUS 323290 HAS SOUPS 323290 WITH SCORE 323695.884
AT ITER 164 NEW BEST:: SOT 498331 SOS 405879 HAS SOPS 405879 HAS SOUS 323279 HAS SOUPS 323279 WITH SCORE 323684.879
AT ITER 165 NEW BEST:: SOT 498328 SOS 405876 HAS SOPS 405876 HAS SOUS 323276 HAS SOUPS 323276 WITH SCORE 323681.876
AT ITER 168 NEW BEST:: SOT 498169 SOS 405717 HAS SOPS 405717 HAS SOUS 323117 HAS SOUPS 323117 WITH SCORE 323522.717
AT ITER 171 NEW BEST:: SOT 498055 SOS 404951 HAS SOPS 404951 HAS SOUS 322613 HAS SOUPS 322613 WITH SCORE 323017.951
AT ITER 172 NEW BEST:: SOT 498283 SOS 404549 HAS SOPS 404549 HAS SOUS 322050 HAS SOUPS 322050 WITH SCORE 322454.549
AT ITER 176 NEW BEST:: SOT 498113 SOS 402480 HAS SOPS 402480 HAS SOUS 320135 HAS SOUPS 320135 WITH SCORE 320537.48
AT ITER 177 NEW BEST:: SOT 497991 SOS 402358 HAS SOPS 402358 HAS SOUS 320012 HAS SOUPS 320012 WITH SCORE 320414.358
AT ITER 178 NEW BEST:: SOT 497991 SOS 402547 HAS SOPS 402547 HAS SOUS 319924 HAS SOUPS 319924 WITH SCORE 320326.547
AT ITER 179 NEW BEST:: SOT 497786 SOS 401190 HAS SOPS 401190 HAS SOUS 318756 HAS SOUPS 318756 WITH SCORE 319157.19
AT ITER 185 NEW BEST:: SOT 497623 SOS 401027 HAS SOPS 401027 HAS SOUS 318691 HAS SOUPS 318691 WITH SCORE 319092.027
AT ITER 191 NEW BEST:: SOT 497574 SOS 400941 HAS SOPS 400941 HAS SOUS 318482 HAS SOUPS 318482 WITH SCORE 318882.941
AT ITER 192 NEW BEST:: SOT 497601 SOS 399179 HAS SOPS 399179 HAS SOUS 317421 HAS SOUPS 317421 WITH SCORE 317820.179
AT ITER 193 NEW BEST:: SOT 497834 SOS 398669 HAS SOPS 398669 HAS SOUS 317015 HAS SOUPS 317015 WITH SCORE 317413.669
AT ITER 195 NEW BEST:: SOT 497834 SOS 398391 HAS SOPS 398391 HAS SOUS 316702 HAS SOUPS 316702 WITH SCORE 317100.391
AT ITER 198 NEW BEST:: SOT 497940 SOS 398497 HAS SOPS 398497 HAS SOUS 316680 HAS SOUPS 316680 WITH SCORE 317078.497
AT ITER 200 NEW BEST:: SOT 497693 SOS 398250 HAS SOPS 398250 HAS SOUS 316298 HAS SOUPS 316298 WITH SCORE 316696.25
AT ITER 206 NEW BEST:: SOT 497660 SOS 398217 HAS SOPS 398217 HAS SOUS 316264 HAS SOUPS 316264 WITH SCORE 316662.217
AT ITER 207 NEW BEST:: SOT 497587 SOS 398144 HAS SOPS 398144 HAS SOUS 316191 HAS SOUPS 316191 WITH SCORE 316589.144
AT ITER 208 NEW BEST:: SOT 497258 SOS 397823 HAS SOPS 397823 HAS SOUS 315866 HAS SOUPS 315866 WITH SCORE 316263.823
AT ITER 209 NEW BEST:: SOT 497158 SOS 397723 HAS SOPS 397723 HAS SOUS 315866 HAS SOUPS 315866 WITH SCORE 316263.723
AT ITER 210 NEW BEST:: SOT 497082 SOS 396937 HAS SOPS 396937 HAS SOUS 315565 HAS SOUPS 315565 WITH SCORE 315961.937
AT ITER 212 NEW BEST:: SOT 497015 SOS 396870 HAS SOPS 396870 HAS SOUS 315498 HAS SOUPS 315498 WITH SCORE 315894.87
AT ITER 213 NEW BEST:: SOT 497015 SOS 396099 HAS SOPS 396099 HAS SOUS 314030 HAS SOUPS 314030 WITH SCORE 314426.099
AT ITER 217 NEW BEST:: SOT 496852 SOS 394852 HAS SOPS 394852 HAS SOUS 313247 HAS SOUPS 313247 WITH SCORE 313641.852
AT ITER 218 NEW BEST:: SOT 496621 SOS 393327 HAS SOPS 393327 HAS SOUS 312209 HAS SOUPS 312209 WITH SCORE 312602.327
AT ITER 220 NEW BEST:: SOT 496849 SOS 393565 HAS SOPS 393565 HAS SOUS 311705 HAS SOUPS 311705 WITH SCORE 312098.565
AT ITER 223 NEW BEST:: SOT 496847 SOS 393563 HAS SOPS 393563 HAS SOUS 311703 HAS SOUPS 311703 WITH SCORE 312096.563
AT ITER 224 NEW BEST:: SOT 496598 SOS 393314 HAS SOPS 393314 HAS SOUS 311454 HAS SOUPS 311454 WITH SCORE 311847.314
AT ITER 225 NEW BEST:: SOT 496498 SOS 392962 HAS SOPS 392962 HAS SOUS 311213 HAS SOUPS 311213 WITH SCORE 311605.962
AT ITER 227 NEW BEST:: SOT 496158 SOS 392614 HAS SOPS 392614 HAS SOUS 310869 HAS SOUPS 310869 WITH SCORE 311261.614
AT ITER 230 NEW BEST:: SOT 496304 SOS 391932 HAS SOPS 391932 HAS SOUS 310197 HAS SOUPS 310197 WITH SCORE 310588.932
AT ITER 232 NEW BEST:: SOT 496317 SOS 391717 HAS SOPS 391717 HAS SOUS 309997 HAS SOUPS 309997 WITH SCORE 310388.717
AT ITER 233 NEW BEST:: SOT 496120 SOS 391541 HAS SOPS 391541 HAS SOUS 309877 HAS SOUPS 309877 WITH SCORE 310268.541
AT ITER 235 NEW BEST:: SOT 496120 SOS 391400 HAS SOPS 391400 HAS SOUS 309783 HAS SOUPS 309783 WITH SCORE 310174.4
AT ITER 236 NEW BEST:: SOT 496005 SOS 390924 HAS SOPS 390924 HAS SOUS 308550 HAS SOUPS 308550 WITH SCORE 308940.924
AT ITER 237 NEW BEST:: SOT 496051 SOS 390062 HAS SOPS 390062 HAS SOUS 306933 HAS SOUPS 306933 WITH SCORE 307323.062
AT ITER 245 NEW BEST:: SOT 495445 SOS 389456 HAS SOPS 389456 HAS SOUS 306327 HAS SOUPS 306327 WITH SCORE 306716.456
AT ITER 249 NEW BEST:: SOT 495445 SOS 388591 HAS SOPS 388591 HAS SOUS 306187 HAS SOUPS 306187 WITH SCORE 306575.591
AT ITER 253 NEW BEST:: SOT 495305 SOS 388031 HAS SOPS 388031 HAS SOUS 305487 HAS SOUPS 305487 WITH SCORE 305875.031
AT ITER 256 NEW BEST:: SOT 495429 SOS 387839 HAS SOPS 387839 HAS SOUS 305393 HAS SOUPS 305393 WITH SCORE 305780.839
AT ITER 258 NEW BEST:: SOT 495420 SOS 387830 HAS SOPS 387830 HAS SOUS 305384 HAS SOUPS 305384 WITH SCORE 305771.83
AT ITER 260 NEW BEST:: SOT 495436 SOS 387668 HAS SOPS 387668 HAS SOUS 305215 HAS SOUPS 305215 WITH SCORE 305602.668
AT ITER 263 NEW BEST:: SOT 495540 SOS 387152 HAS SOPS 387152 HAS SOUS 303958 HAS SOUPS 303958 WITH SCORE 304345.152
AT ITER 265 NEW BEST:: SOT 495203 SOS 386815 HAS SOPS 386815 HAS SOUS 303615 HAS SOUPS 303615 WITH SCORE 304001.815
AT ITER 267 NEW BEST:: SOT 495429 SOS 386516 HAS SOPS 386516 HAS SOUS 303519 HAS SOUPS 303519 WITH SCORE 303905.516
AT ITER 268 NEW BEST:: SOT 496183 SOS 386163 HAS SOPS 386163 HAS SOUS 302597 HAS SOUPS 302597 WITH SCORE 302983.163
AT ITER 272 NEW BEST:: SOT 496378 SOS 386093 HAS SOPS 386093 HAS SOUS 301957 HAS SOUPS 301957 WITH SCORE 302343.093
AT ITER 275 NEW BEST:: SOT 496365 SOS 386067 HAS SOPS 386067 HAS SOUS 301892 HAS SOUPS 301892 WITH SCORE 302278.067
AT ITER 277 NEW BEST:: SOT 496403 SOS 385166 HAS SOPS 385166 HAS SOUS 301840 HAS SOUPS 301840 WITH SCORE 302225.166
AT ITER 281 NEW BEST:: SOT 496053 SOS 384816 HAS SOPS 384816 HAS SOUS 301490 HAS SOUPS 301490 WITH SCORE 301874.816
AT ITER 284 NEW BEST:: SOT 495867 SOS 384630 HAS SOPS 384630 HAS SOUS 301304 HAS SOUPS 301304 WITH SCORE 301688.63
AT ITER 285 NEW BEST:: SOT 495963 SOS 384099 HAS SOPS 384099 HAS SOUS 300683 HAS SOUPS 300683 WITH SCORE 301067.099
AT ITER 286 NEW BEST:: SOT 495940 SOS 384031 HAS SOPS 384031 HAS SOUS 300615 HAS SOUPS 300615 WITH SCORE 300999.031
AT ITER 289 NEW BEST:: SOT 496396 SOS 383860 HAS SOPS 383860 HAS SOUS 300378 HAS SOUPS 300378 WITH SCORE 300761.86
AT ITER 290 NEW BEST:: SOT 496396 SOS 383742 HAS SOPS 383742 HAS SOUS 300272 HAS SOUPS 300272 WITH SCORE 300655.742
AT ITER 292 NEW BEST:: SOT 496300 SOS 383746 HAS SOPS 383746 HAS SOUS 300219 HAS SOUPS 300219 WITH SCORE 300602.746
AT ITER 294 NEW BEST:: SOT 496300 SOS 383746 HAS SOPS 383746 HAS SOUS 300218 HAS SOUPS 300218 WITH SCORE 300601.746
AT ITER 296 NEW BEST:: SOT 496129 SOS 383325 HAS SOPS 383325 HAS SOUS 299793 HAS SOUPS 299793 WITH SCORE 300176.325
AT ITER 298 NEW BEST:: SOT 495897 SOS 383093 HAS SOPS 383093 HAS SOUS 299561 HAS SOUPS 299561 WITH SCORE 299944.093
AT ITER 301 NEW BEST:: SOT 495990 SOS 383186 HAS SOPS 383186 HAS SOUS 299444 HAS SOUPS 299444 WITH SCORE 299827.186
AT ITER 303 NEW BEST:: SOT 495930 SOS 383126 HAS SOPS 383126 HAS SOUS 299384 HAS SOUPS 299384 WITH SCORE 299767.126
AT ITER 306 NEW BEST:: SOT 495911 SOS 383107 HAS SOPS 383107 HAS SOUS 299384 HAS SOUPS 299384 WITH SCORE 299767.107
AT ITER 307 NEW BEST:: SOT 495897 SOS 383107 HAS SOPS 383107 HAS SOUS 299328 HAS SOUPS 299328 WITH SCORE 299711.107
AT ITER 308 NEW BEST:: SOT 496027 SOS 383026 HAS SOPS 383026 HAS SOUS 299318 HAS SOUPS 299318 WITH SCORE 299701.026
AT ITER 310 NEW BEST:: SOT 496003 SOS 382622 HAS SOPS 382622 HAS SOUS 299203 HAS SOUPS 299203 WITH SCORE 299585.622
AT ITER 315 NEW BEST:: SOT 495900 SOS 381947 HAS SOPS 381947 HAS SOUS 298493 HAS SOUPS 298493 WITH SCORE 298874.947
AT ITER 317 NEW BEST:: SOT 495432 SOS 381479 HAS SOPS 381479 HAS SOUS 298195 HAS SOUPS 298195 WITH SCORE 298576.479
AT ITER 319 NEW BEST:: SOT 495290 SOS 379987 HAS SOPS 379987 HAS SOUS 297661 HAS SOUPS 297661 WITH SCORE 298040.987
AT ITER 325 NEW BEST:: SOT 495134 SOS 379048 HAS SOPS 379048 HAS SOUS 297270 HAS SOUPS 297270 WITH SCORE 297649.048
AT ITER 326 NEW BEST:: SOT 495194 SOS 377841 HAS SOPS 377841 HAS SOUS 296830 HAS SOUPS 296830 WITH SCORE 297207.841
AT ITER 333 NEW BEST:: SOT 495070 SOS 377356 HAS SOPS 377356 HAS SOUS 296316 HAS SOUPS 296316 WITH SCORE 296693.356
AT ITER 340 NEW BEST:: SOT 495060 SOS 376728 HAS SOPS 376728 HAS SOUS 295028 HAS SOUPS 295028 WITH SCORE 295404.728
AT ITER 341 NEW BEST:: SOT 495060 SOS 376711 HAS SOPS 376711 HAS SOUS 295027 HAS SOUPS 295027 WITH SCORE 295403.711
AT ITER 345 NEW BEST:: SOT 495136 SOS 376388 HAS SOPS 376388 HAS SOUS 294658 HAS SOUPS 294658 WITH SCORE 295034.388
AT ITER 351 NEW BEST:: SOT 495346 SOS 376775 HAS SOPS 376775 HAS SOUS 294293 HAS SOUPS 294293 WITH SCORE 294669.775
AT ITER 353 NEW BEST:: SOT 495652 SOS 376154 HAS SOPS 376154 HAS SOUS 293851 HAS SOUPS 293851 WITH SCORE 294227.154
AT ITER 354 NEW BEST:: SOT 495733 SOS 376217 HAS SOPS 376217 HAS SOUS 293758 HAS SOUPS 293758 WITH SCORE 294134.217
AT ITER 358 NEW BEST:: SOT 495733 SOS 376263 HAS SOPS 376263 HAS SOUS 293755 HAS SOUPS 293755 WITH SCORE 294131.263
AT ITER 360 NEW BEST:: SOT 495733 SOS 375210 HAS SOPS 375210 HAS SOUS 293669 HAS SOUPS 293669 WITH SCORE 294044.21
AT ITER 361 NEW BEST:: SOT 495668 SOS 375015 HAS SOPS 375015 HAS SOUS 293402 HAS SOUPS 293402 WITH SCORE 293777.015
AT ITER 365 NEW BEST:: SOT 495268 SOS 374485 HAS SOPS 374485 HAS SOUS 292868 HAS SOUPS 292868 WITH SCORE 293242.485
AT ITER 367 NEW BEST:: SOT 495340 SOS 374426 HAS SOPS 374426 HAS SOUS 292809 HAS SOUPS 292809 WITH SCORE 293183.426
AT ITER 370 NEW BEST:: SOT 495238 SOS 374324 HAS SOPS 374324 HAS SOUS 292697 HAS SOUPS 292697 WITH SCORE 293071.324
AT ITER 371 NEW BEST:: SOT 495238 SOS 374540 HAS SOPS 374540 HAS SOUS 292670 HAS SOUPS 292670 WITH SCORE 293044.54
AT ITER 373 NEW BEST:: SOT 495238 SOS 375248 HAS SOPS 375248 HAS SOUS 292181 HAS SOUPS 292181 WITH SCORE 292556.248
AT ITER 374 NEW BEST:: SOT 495438 SOS 374160 HAS SOPS 374160 HAS SOUS 291092 HAS SOUPS 291092 WITH SCORE 291466.16
AT ITER 375 NEW BEST:: SOT 495090 SOS 373644 HAS SOPS 373644 HAS SOUS 290572 HAS SOUPS 290572 WITH SCORE 290945.644
AT ITER 378 NEW BEST:: SOT 494973 SOS 373081 HAS SOPS 373081 HAS SOUS 290365 HAS SOUPS 290365 WITH SCORE 290738.081
AT ITER 379 NEW BEST:: SOT 494711 SOS 372659 HAS SOPS 372659 HAS SOUS 289602 HAS SOUPS 289602 WITH SCORE 289974.659
AT ITER 382 NEW BEST:: SOT 494838 SOS 372582 HAS SOPS 372582 HAS SOUS 289545 HAS SOUPS 289545 WITH SCORE 289917.582
AT ITER 383 NEW BEST:: SOT 494271 SOS 371481 HAS SOPS 371481 HAS SOUS 288615 HAS SOUPS 288615 WITH SCORE 288986.481
AT ITER 386 NEW BEST:: SOT 494356 SOS 370033 HAS SOPS 370033 HAS SOUS 287482 HAS SOUPS 287482 WITH SCORE 287852.033
AT ITER 392 NEW BEST:: SOT 494342 SOS 370019 HAS SOPS 370019 HAS SOUS 287236 HAS SOUPS 287236 WITH SCORE 287606.019
AT ITER 393 NEW BEST:: SOT 493875 SOS 369395 HAS SOPS 369395 HAS SOUS 286489 HAS SOUPS 286489 WITH SCORE 286858.395
AT ITER 395 NEW BEST:: SOT 493875 SOS 369273 HAS SOPS 369273 HAS SOUS 285176 HAS SOUPS 285176 WITH SCORE 285545.273
AT ITER 399 NEW BEST:: SOT 493887 SOS 368351 HAS SOPS 368351 HAS SOUS 285118 HAS SOUPS 285118 WITH SCORE 285486.351
AT ITER 404 NEW BEST:: SOT 493900 SOS 368201 HAS SOPS 368201 HAS SOUS 285065 HAS SOUPS 285065 WITH SCORE 285433.201
AT ITER 406 NEW BEST:: SOT 493900 SOS 368201 HAS SOPS 368201 HAS SOUS 285064 HAS SOUPS 285064 WITH SCORE 285432.201
AT ITER 408 NEW BEST:: SOT 493900 SOS 368157 HAS SOPS 368157 HAS SOUS 285000 HAS SOUPS 285000 WITH SCORE 285368.157
AT ITER 410 NEW BEST:: SOT 493834 SOS 367683 HAS SOPS 367683 HAS SOUS 284802 HAS SOUPS 284802 WITH SCORE 285169.683
AT ITER 415 NEW BEST:: SOT 493576 SOS 365827 HAS SOPS 365827 HAS SOUS 283925 HAS SOUPS 283925 WITH SCORE 284290.827
AT ITER 421 NEW BEST:: SOT 493495 SOS 365867 HAS SOPS 365867 HAS SOUS 283917 HAS SOUPS 283917 WITH SCORE 284282.867
AT ITER 425 NEW BEST:: SOT 493495 SOS 364507 HAS SOPS 364507 HAS SOUS 283501 HAS SOUPS 283501 WITH SCORE 283865.507
AT ITER 430 NEW BEST:: SOT 493167 SOS 364283 HAS SOPS 364283 HAS SOUS 283277 HAS SOUPS 283277 WITH SCORE 283641.283
AT ITER 440 NEW BEST:: SOT 493062 SOS 364178 HAS SOPS 364178 HAS SOUS 283172 HAS SOUPS 283172 WITH SCORE 283536.178
AT ITER 441 NEW BEST:: SOT 492959 SOS 363972 HAS SOPS 363972 HAS SOUS 283145 HAS SOUPS 283145 WITH SCORE 283508.972
AT ITER 442 NEW BEST:: SOT 492797 SOS 363162 HAS SOPS 363162 HAS SOUS 282821 HAS SOUPS 282821 WITH SCORE 283184.162
AT ITER 443 NEW BEST:: SOT 493470 SOS 363502 HAS SOPS 363502 HAS SOUS 282485 HAS SOUPS 282485 WITH SCORE 282848.502
AT ITER 444 NEW BEST:: SOT 493465 SOS 363491 HAS SOPS 363491 HAS SOUS 282468 HAS SOUPS 282468 WITH SCORE 282831.491
AT ITER 448 NEW BEST:: SOT 492979 SOS 363005 HAS SOPS 363005 HAS SOUS 281981 HAS SOUPS 281981 WITH SCORE 282344.005
AT ITER 454 NEW BEST:: SOT 492932 SOS 362615 HAS SOPS 362615 HAS SOUS 281624 HAS SOUPS 281624 WITH SCORE 281986.615
AT ITER 455 NEW BEST:: SOT 492898 SOS 362564 HAS SOPS 362564 HAS SOUS 281556 HAS SOUPS 281556 WITH SCORE 281918.564
AT ITER 456 NEW BEST:: SOT 492762 SOS 361552 HAS SOPS 361552 HAS SOUS 281075 HAS SOUPS 281075 WITH SCORE 281436.552
AT ITER 460 NEW BEST:: SOT 492762 SOS 361543 HAS SOPS 361543 HAS SOUS 281066 HAS SOUPS 281066 WITH SCORE 281427.543
AT ITER 461 NEW BEST:: SOT 492911 SOS 361495 HAS SOPS 361495 HAS SOUS 280973 HAS SOUPS 280973 WITH SCORE 281334.495
AT ITER 467 NEW BEST:: SOT 493003 SOS 360859 HAS SOPS 360859 HAS SOUS 280724 HAS SOUPS 280724 WITH SCORE 281084.859
AT ITER 468 NEW BEST:: SOT 493038 SOS 360516 HAS SOPS 360516 HAS SOUS 280118 HAS SOUPS 280118 WITH SCORE 280478.516
AT ITER 476 NEW BEST:: SOT 493005 SOS 360467 HAS SOPS 360467 HAS SOUS 279451 HAS SOUPS 279451 WITH SCORE 279811.467
AT ITER 477 NEW BEST:: SOT 492829 SOS 360231 HAS SOPS 360231 HAS SOUS 279215 HAS SOUPS 279215 WITH SCORE 279575.231
AT ITER 479 NEW BEST:: SOT 492820 SOS 360234 HAS SOPS 360234 HAS SOUS 279170 HAS SOUPS 279170 WITH SCORE 279530.234
AT ITER 482 NEW BEST:: SOT 492468 SOS 359818 HAS SOPS 359818 HAS SOUS 278341 HAS SOUPS 278341 WITH SCORE 278700.818
AT ITER 487 NEW BEST:: SOT 492622 SOS 359437 HAS SOPS 359437 HAS SOUS 277891 HAS SOUPS 277891 WITH SCORE 278250.437
AT ITER 489 NEW BEST:: SOT 492554 SOS 359369 HAS SOPS 359369 HAS SOUS 277731 HAS SOUPS 277731 WITH SCORE 278090.369
AT ITER 491 NEW BEST:: SOT 492554 SOS 359246 HAS SOPS 359246 HAS SOUS 277485 HAS SOUPS 277485 WITH SCORE 277844.246
AT ITER 492 NEW BEST:: SOT 492320 SOS 358778 HAS SOPS 358778 HAS SOUS 277252 HAS SOUPS 277252 WITH SCORE 277610.778
AT ITER 494 NEW BEST:: SOT 492523 SOS 358560 HAS SOPS 358560 HAS SOUS 276554 HAS SOUPS 276554 WITH SCORE 276912.56
AT ITER 497 NEW BEST:: SOT 492536 SOS 358586 HAS SOPS 358586 HAS SOUS 276541 HAS SOUPS 276541 WITH SCORE 276899.586
AT ITER 498 NEW BEST:: SOT 492399 SOS 358312 HAS SOPS 358312 HAS SOUS 275731 HAS SOUPS 275731 WITH SCORE 276089.312
AT ITER 502 NEW BEST:: SOT 492184 SOS 357972 HAS SOPS 357972 HAS SOUS 275391 HAS SOUPS 275391 WITH SCORE 275748.972
AT ITER 504 NEW BEST:: SOT 492162 SOS 356862 HAS SOPS 356862 HAS SOUS 275261 HAS SOUPS 275261 WITH SCORE 275617.862
AT ITER 505 NEW BEST:: SOT 491073 SOS 354593 HAS SOPS 354593 HAS SOUS 273383 HAS SOUPS 273383 WITH SCORE 273737.593
AT ITER 507 NEW BEST:: SOT 491073 SOS 354693 HAS SOPS 354693 HAS SOUS 273164 HAS SOUPS 273164 WITH SCORE 273518.693
AT ITER 509 NEW BEST:: SOT 491320 SOS 354794 HAS SOPS 354794 HAS SOUS 273003 HAS SOUPS 273003 WITH SCORE 273357.794
AT ITER 510 NEW BEST:: SOT 491369 SOS 354812 HAS SOPS 354812 HAS SOUS 272833 HAS SOUPS 272833 WITH SCORE 273187.812
AT ITER 511 NEW BEST:: SOT 490989 SOS 354432 HAS SOPS 354432 HAS SOUS 272452 HAS SOUPS 272452 WITH SCORE 272806.432
AT ITER 513 NEW BEST:: SOT 490779 SOS 354138 HAS SOPS 354138 HAS SOUS 272032 HAS SOUPS 272032 WITH SCORE 272386.138
AT ITER 516 NEW BEST:: SOT 490483 SOS 353704 HAS SOPS 353704 HAS SOUS 271527 HAS SOUPS 271527 WITH SCORE 271880.704
AT ITER 517 NEW BEST:: SOT 490541 SOS 351688 HAS SOPS 351688 HAS SOUS 269957 HAS SOUPS 269957 WITH SCORE 270308.688
AT ITER 521 NEW BEST:: SOT 489438 SOS 350270 HAS SOPS 350270 HAS SOUS 268296 HAS SOUPS 268296 WITH SCORE 268646.27
AT ITER 525 NEW BEST:: SOT 489342 SOS 350174 HAS SOPS 350174 HAS SOUS 268200 HAS SOUPS 268200 WITH SCORE 268550.174
AT ITER 527 NEW BEST:: SOT 489330 SOS 350150 HAS SOPS 350150 HAS SOUS 268148 HAS SOUPS 268148 WITH SCORE 268498.15
AT ITER 528 NEW BEST:: SOT 489296 SOS 350003 HAS SOPS 350003 HAS SOUS 268084 HAS SOUPS 268084 WITH SCORE 268434.003
AT ITER 529 NEW BEST:: SOT 489207 SOS 349914 HAS SOPS 349914 HAS SOUS 267995 HAS SOUPS 267995 WITH SCORE 268344.914
AT ITER 533 NEW BEST:: SOT 489207 SOS 349898 HAS SOPS 349898 HAS SOUS 267992 HAS SOUPS 267992 WITH SCORE 268341.898
AT ITER 535 NEW BEST:: SOT 489190 SOS 349881 HAS SOPS 349881 HAS SOUS 267975 HAS SOUPS 267975 WITH SCORE 268324.881
AT ITER 538 NEW BEST:: SOT 489159 SOS 349850 HAS SOPS 349850 HAS SOUS 267975 HAS SOUPS 267975 WITH SCORE 268324.85
AT ITER 539 NEW BEST:: SOT 489076 SOS 349767 HAS SOPS 349767 HAS SOUS 267916 HAS SOUPS 267916 WITH SCORE 268265.767
AT ITER 542 NEW BEST:: SOT 489049 SOS 349740 HAS SOPS 349740 HAS SOUS 267907 HAS SOUPS 267907 WITH SCORE 268256.74
AT ITER 544 NEW BEST:: SOT 489043 SOS 349651 HAS SOPS 349651 HAS SOUS 267776 HAS SOUPS 267776 WITH SCORE 268125.651
AT ITER 545 NEW BEST:: SOT 489368 SOS 351075 HAS SOPS 351075 HAS SOUS 267473 HAS SOUPS 267473 WITH SCORE 267824.075
AT ITER 546 NEW BEST:: SOT 489314 SOS 351021 HAS SOPS 351021 HAS SOUS 267419 HAS SOUPS 267419 WITH SCORE 267770.021
AT ITER 551 NEW BEST:: SOT 489293 SOS 350382 HAS SOPS 350382 HAS SOUS 266892 HAS SOUPS 266892 WITH SCORE 267242.382
AT ITER 552 NEW BEST:: SOT 489184 SOS 349571 HAS SOPS 349571 HAS SOUS 266504 HAS SOUPS 266504 WITH SCORE 266853.571
AT ITER 553 NEW BEST:: SOT 488909 SOS 349296 HAS SOPS 349296 HAS SOUS 266229 HAS SOUPS 266229 WITH SCORE 266578.296
AT ITER 555 NEW BEST:: SOT 488909 SOS 350251 HAS SOPS 350251 HAS SOUS 265946 HAS SOUPS 265946 WITH SCORE 266296.251
AT ITER 557 NEW BEST:: SOT 488909 SOS 349920 HAS SOPS 349920 HAS SOUS 265910 HAS SOUPS 265910 WITH SCORE 266259.92
AT ITER 559 NEW BEST:: SOT 488413 SOS 349424 HAS SOPS 349424 HAS SOUS 265414 HAS SOUPS 265414 WITH SCORE 265763.424
AT ITER 562 NEW BEST:: SOT 488245 SOS 348681 HAS SOPS 348681 HAS SOUS 265306 HAS SOUPS 265306 WITH SCORE 265654.681
AT ITER 566 NEW BEST:: SOT 488161 SOS 348242 HAS SOPS 348242 HAS SOUS 265029 HAS SOUPS 265029 WITH SCORE 265377.242
AT ITER 567 NEW BEST:: SOT 487424 SOS 347505 HAS SOPS 347505 HAS SOUS 264291 HAS SOUPS 264291 WITH SCORE 264638.505
AT ITER 568 NEW BEST:: SOT 487236 SOS 346289 HAS SOPS 346289 HAS SOUS 263677 HAS SOUPS 263677 WITH SCORE 264023.289
AT ITER 569 NEW BEST:: SOT 488131 SOS 346318 HAS SOPS 346318 HAS SOUS 263161 HAS SOUPS 263161 WITH SCORE 263507.318
AT ITER 571 NEW BEST:: SOT 488040 SOS 346291 HAS SOPS 346291 HAS SOUS 262297 HAS SOUPS 262297 WITH SCORE 262643.291
AT ITER 574 NEW BEST:: SOT 487924 SOS 345451 HAS SOPS 345451 HAS SOUS 261879 HAS SOUPS 261879 WITH SCORE 262224.451
AT ITER 577 NEW BEST:: SOT 487924 SOS 345591 HAS SOPS 345591 HAS SOUS 261837 HAS SOUPS 261837 WITH SCORE 262182.591
AT ITER 578 NEW BEST:: SOT 487794 SOS 345536 HAS SOPS 345536 HAS SOUS 261159 HAS SOUPS 261159 WITH SCORE 261504.536
AT ITER 582 NEW BEST:: SOT 487794 SOS 345738 HAS SOPS 345738 HAS SOUS 261055 HAS SOUPS 261055 WITH SCORE 261400.738
AT ITER 585 NEW BEST:: SOT 487794 SOS 345736 HAS SOPS 345736 HAS SOUS 261055 HAS SOUPS 261055 WITH SCORE 261400.736
AT ITER 586 NEW BEST:: SOT 487714 SOS 345656 HAS SOPS 345656 HAS SOUS 261011 HAS SOUPS 261011 WITH SCORE 261356.656
AT ITER 588 NEW BEST:: SOT 487487 SOS 345522 HAS SOPS 345522 HAS SOUS 260390 HAS SOUPS 260390 WITH SCORE 260735.522
AT ITER 592 NEW BEST:: SOT 487403 SOS 344851 HAS SOPS 344851 HAS SOUS 259307 HAS SOUPS 259307 WITH SCORE 259651.851
AT ITER 595 NEW BEST:: SOT 487336 SOS 344732 HAS SOPS 344732 HAS SOUS 259186 HAS SOUPS 259186 WITH SCORE 259530.732
AT ITER 596 NEW BEST:: SOT 487401 SOS 344511 HAS SOPS 344511 HAS SOUS 258965 HAS SOUPS 258965 WITH SCORE 259309.511
AT ITER 597 NEW BEST:: SOT 487161 SOS 344271 HAS SOPS 344271 HAS SOUS 258724 HAS SOUPS 258724 WITH SCORE 259068.271
AT ITER 603 NEW BEST:: SOT 486843 SOS 343844 HAS SOPS 343844 HAS SOUS 258297 HAS SOUPS 258297 WITH SCORE 258640.844
AT ITER 605 NEW BEST:: SOT 486542 SOS 343543 HAS SOPS 343543 HAS SOUS 257996 HAS SOUPS 257996 WITH SCORE 258339.543
AT ITER 610 NEW BEST:: SOT 486387 SOS 342610 HAS SOPS 342610 HAS SOUS 257465 HAS SOUPS 257465 WITH SCORE 257807.61
AT ITER 611 NEW BEST:: SOT 486412 SOS 342426 HAS SOPS 342426 HAS SOUS 257039 HAS SOUPS 257039 WITH SCORE 257381.426
AT ITER 617 NEW BEST:: SOT 486398 SOS 342423 HAS SOPS 342423 HAS SOUS 257036 HAS SOUPS 257036 WITH SCORE 257378.423
AT ITER 620 NEW BEST:: SOT 486361 SOS 342354 HAS SOPS 342354 HAS SOUS 256932 HAS SOUPS 256932 WITH SCORE 257274.354
AT ITER 625 NEW BEST:: SOT 486361 SOS 341316 HAS SOPS 341316 HAS SOUS 256759 HAS SOUPS 256759 WITH SCORE 257100.316
AT ITER 633 NEW BEST:: SOT 486418 SOS 341094 HAS SOPS 341094 HAS SOUS 256339 HAS SOUPS 256339 WITH SCORE 256680.094
AT ITER 636 NEW BEST:: SOT 486412 SOS 341007 HAS SOPS 341007 HAS SOUS 256021 HAS SOUPS 256021 WITH SCORE 256362.007
AT ITER 639 NEW BEST:: SOT 486419 SOS 340509 HAS SOPS 340509 HAS SOUS 255790 HAS SOUPS 255790 WITH SCORE 256130.509
AT ITER 640 NEW BEST:: SOT 486389 SOS 340419 HAS SOPS 340419 HAS SOUS 255748 HAS SOUPS 255748 WITH SCORE 256088.419
AT ITER 643 NEW BEST:: SOT 486347 SOS 340388 HAS SOPS 340388 HAS SOUS 255540 HAS SOUPS 255540 WITH SCORE 255880.388
AT ITER 648 NEW BEST:: SOT 486228 SOS 339738 HAS SOPS 339738 HAS SOUS 255525 HAS SOUPS 255525 WITH SCORE 255864.738
AT ITER 650 NEW BEST:: SOT 486216 SOS 339675 HAS SOPS 339675 HAS SOUS 255470 HAS SOUPS 255470 WITH SCORE 255809.675
AT ITER 653 NEW BEST:: SOT 486166 SOS 339597 HAS SOPS 339597 HAS SOUS 255460 HAS SOUPS 255460 WITH SCORE 255799.597
AT ITER 660 NEW BEST:: SOT 486238 SOS 339464 HAS SOPS 339464 HAS SOUS 255340 HAS SOUPS 255340 WITH SCORE 255679.464
AT ITER 667 NEW BEST:: SOT 486168 SOS 339309 HAS SOPS 339309 HAS SOUS 255198 HAS SOUPS 255198 WITH SCORE 255537.309
AT ITER 668 NEW BEST:: SOT 486000 SOS 339332 HAS SOPS 339332 HAS SOUS 255032 HAS SOUPS 255032 WITH SCORE 255371.332
AT ITER 670 NEW BEST:: SOT 485944 SOS 339220 HAS SOPS 339220 HAS SOUS 254989 HAS SOUPS 254989 WITH SCORE 255328.22
AT ITER 671 NEW BEST:: SOT 485711 SOS 338824 HAS SOPS 338824 HAS SOUS 254593 HAS SOUPS 254593 WITH SCORE 254931.824
AT ITER 672 NEW BEST:: SOT 485684 SOS 338775 HAS SOPS 338775 HAS SOUS 254572 HAS SOUPS 254572 WITH SCORE 254910.775
AT ITER 677 NEW BEST:: SOT 485567 SOS 338181 HAS SOPS 338181 HAS SOUS 254391 HAS SOUPS 254391 WITH SCORE 254729.181
AT ITER 679 NEW BEST:: SOT 485329 SOS 337830 HAS SOPS 337830 HAS SOUS 254040 HAS SOUPS 254040 WITH SCORE 254377.83
AT ITER 681 NEW BEST:: SOT 485206 SOS 336732 HAS SOPS 336732 HAS SOUS 253770 HAS SOUPS 253770 WITH SCORE 254106.732
AT ITER 684 NEW BEST:: SOT 485743 SOS 335957 HAS SOPS 335957 HAS SOUS 253274 HAS SOUPS 253274 WITH SCORE 253609.957
AT ITER 686 NEW BEST:: SOT 485429 SOS 335745 HAS SOPS 335745 HAS SOUS 253149 HAS SOUPS 253149 WITH SCORE 253484.745
AT ITER 688 NEW BEST:: SOT 485545 SOS 335630 HAS SOPS 335630 HAS SOUS 252438 HAS SOUPS 252438 WITH SCORE 252773.63
AT ITER 690 NEW BEST:: SOT 485625 SOS 335676 HAS SOPS 335676 HAS SOUS 252298 HAS SOUPS 252298 WITH SCORE 252633.676
AT ITER 693 NEW BEST:: SOT 485330 SOS 335104 HAS SOPS 335104 HAS SOUS 251800 HAS SOUPS 251800 WITH SCORE 252135.104
AT ITER 698 NEW BEST:: SOT 485217 SOS 335141 HAS SOPS 335141 HAS SOUS 251640 HAS SOUPS 251640 WITH SCORE 251975.141
AT ITER 704 NEW BEST:: SOT 484941 SOS 334632 HAS SOPS 334632 HAS SOUS 250707 HAS SOUPS 250707 WITH SCORE 251041.632
AT ITER 709 NEW BEST:: SOT 484938 SOS 334626 HAS SOPS 334626 HAS SOUS 250699 HAS SOUPS 250699 WITH SCORE 251033.626
AT ITER 712 NEW BEST:: SOT 484909 SOS 334597 HAS SOPS 334597 HAS SOUS 250690 HAS SOUPS 250690 WITH SCORE 251024.597
AT ITER 713 NEW BEST:: SOT 484928 SOS 334595 HAS SOPS 334595 HAS SOUS 250688 HAS SOUPS 250688 WITH SCORE 251022.595
AT ITER 714 NEW BEST:: SOT 484928 SOS 334595 HAS SOPS 334595 HAS SOUS 250687 HAS SOUPS 250687 WITH SCORE 251021.595
AT ITER 715 NEW BEST:: SOT 484926 SOS 334535 HAS SOPS 334535 HAS SOUS 250683 HAS SOUPS 250683 WITH SCORE 251017.535
AT ITER 727 NEW BEST:: SOT 485070 SOS 334830 HAS SOPS 334830 HAS SOUS 250646 HAS SOUPS 250646 WITH SCORE 250980.83
AT ITER 734 NEW BEST:: SOT 485275 SOS 335492 HAS SOPS 335492 HAS SOUS 250500 HAS SOUPS 250500 WITH SCORE 250835.492
AT ITER 735 NEW BEST:: SOT 485275 SOS 335197 HAS SOPS 335197 HAS SOUS 250477 HAS SOUPS 250477 WITH SCORE 250812.197
AT ITER 742 NEW BEST:: SOT 485120 SOS 334771 HAS SOPS 334771 HAS SOUS 250268 HAS SOUPS 250268 WITH SCORE 250602.771
AT ITER 743 NEW BEST:: SOT 484620 SOS 333771 HAS SOPS 333771 HAS SOUS 249085 HAS SOUPS 249085 WITH SCORE 249418.771
AT ITER 745 NEW BEST:: SOT 484576 SOS 333416 HAS SOPS 333416 HAS SOUS 249012 HAS SOUPS 249012 WITH SCORE 249345.416
AT ITER 749 NEW BEST:: SOT 484576 SOS 333396 HAS SOPS 333396 HAS SOUS 249010 HAS SOUPS 249010 WITH SCORE 249343.396
AT ITER 752 NEW BEST:: SOT 483565 SOS 332562 HAS SOPS 332562 HAS SOUS 248465 HAS SOUPS 248465 WITH SCORE 248797.562
AT ITER 753 NEW BEST:: SOT 483415 SOS 332262 HAS SOPS 332262 HAS SOUS 248000 HAS SOUPS 248000 WITH SCORE 248332.262
AT ITER 760 NEW BEST:: SOT 483492 SOS 332330 HAS SOPS 332330 HAS SOUS 247947 HAS SOUPS 247947 WITH SCORE 248279.33
AT ITER 763 NEW BEST:: SOT 482904 SOS 331446 HAS SOPS 331446 HAS SOUS 247437 HAS SOUPS 247437 WITH SCORE 247768.446
AT ITER 768 NEW BEST:: SOT 482257 SOS 330805 HAS SOPS 330805 HAS SOUS 246691 HAS SOUPS 246691 WITH SCORE 247021.805
AT ITER 775 NEW BEST:: SOT 482257 SOS 330625 HAS SOPS 330625 HAS SOUS 246453 HAS SOUPS 246453 WITH SCORE 246783.625
AT ITER 778 NEW BEST:: SOT 482073 SOS 330441 HAS SOPS 330441 HAS SOUS 246322 HAS SOUPS 246322 WITH SCORE 246652.441
AT ITER 782 NEW BEST:: SOT 482073 SOS 330245 HAS SOPS 330245 HAS SOUS 246126 HAS SOUPS 246126 WITH SCORE 246456.245
AT ITER 790 NEW BEST:: SOT 481903 SOS 330075 HAS SOPS 330075 HAS SOUS 245956 HAS SOUPS 245956 WITH SCORE 246286.075
AT ITER 792 NEW BEST:: SOT 481876 SOS 330021 HAS SOPS 330021 HAS SOUS 245916 HAS SOUPS 245916 WITH SCORE 246246.021
AT ITER 793 NEW BEST:: SOT 481548 SOS 329693 HAS SOPS 329693 HAS SOUS 245588 HAS SOUPS 245588 WITH SCORE 245917.693
AT ITER 794 NEW BEST:: SOT 481060 SOS 329126 HAS SOPS 329126 HAS SOUS 244938 HAS SOUPS 244938 WITH SCORE 245267.126
AT ITER 801 NEW BEST:: SOT 481090 SOS 329277 HAS SOPS 329277 HAS SOUS 244907 HAS SOUPS 244907 WITH SCORE 245236.277
AT ITER 805 NEW BEST:: SOT 481059 SOS 329219 HAS SOPS 329219 HAS SOUS 244849 HAS SOUPS 244849 WITH SCORE 245178.219
AT ITER 811 NEW BEST:: SOT 480636 SOS 328735 HAS SOPS 328735 HAS SOUS 244365 HAS SOUPS 244365 WITH SCORE 244693.735
AT ITER 817 NEW BEST:: SOT 480490 SOS 328573 HAS SOPS 328573 HAS SOUS 244213 HAS SOUPS 244213 WITH SCORE 244541.573
AT ITER 819 NEW BEST:: SOT 480332 SOS 328395 HAS SOPS 328395 HAS SOUS 244035 HAS SOUPS 244035 WITH SCORE 244363.395
AT ITER 822 NEW BEST:: SOT 480015 SOS 328078 HAS SOPS 328078 HAS SOUS 243718 HAS SOUPS 243718 WITH SCORE 244046.078
AT ITER 833 NEW BEST:: SOT 480015 SOS 328050 HAS SOPS 328050 HAS SOUS 243690 HAS SOUPS 243690 WITH SCORE 244018.05
AT ITER 835 NEW BEST:: SOT 479970 SOS 327803 HAS SOPS 327803 HAS SOUS 243240 HAS SOUPS 243240 WITH SCORE 243567.803
AT ITER 836 NEW BEST:: SOT 478817 SOS 326021 HAS SOPS 326021 HAS SOUS 241604 HAS SOUPS 241604 WITH SCORE 241930.021
AT ITER 841 NEW BEST:: SOT 478511 SOS 325323 HAS SOPS 325323 HAS SOUS 240858 HAS SOUPS 240858 WITH SCORE 241183.323
AT ITER 843 NEW BEST:: SOT 477560 SOS 324423 HAS SOPS 324423 HAS SOUS 240041 HAS SOUPS 240041 WITH SCORE 240365.423
AT ITER 850 NEW BEST:: SOT 477286 SOS 323053 HAS SOPS 323053 HAS SOUS 240038 HAS SOUPS 240038 WITH SCORE 240361.053
AT ITER 851 NEW BEST:: SOT 477173 SOS 322879 HAS SOPS 322879 HAS SOUS 239864 HAS SOUPS 239864 WITH SCORE 240186.879
AT ITER 862 NEW BEST:: SOT 477052 SOS 322697 HAS SOPS 322697 HAS SOUS 239562 HAS SOUPS 239562 WITH SCORE 239884.697
AT ITER 864 NEW BEST:: SOT 477028 SOS 321562 HAS SOPS 321562 HAS SOUS 239484 HAS SOUPS 239484 WITH SCORE 239805.562
AT ITER 872 NEW BEST:: SOT 476820 SOS 321280 HAS SOPS 321280 HAS SOUS 238871 HAS SOUPS 238871 WITH SCORE 239192.28
AT ITER 873 NEW BEST:: SOT 476233 SOS 320072 HAS SOPS 320072 HAS SOUS 238137 HAS SOUPS 238137 WITH SCORE 238457.072
AT ITER 875 NEW BEST:: SOT 476280 SOS 320368 HAS SOPS 320368 HAS SOUS 238018 HAS SOUPS 238018 WITH SCORE 238338.368
AT ITER 886 NEW BEST:: SOT 476251 SOS 320115 HAS SOPS 320115 HAS SOUS 237962 HAS SOUPS 237962 WITH SCORE 238282.115
AT ITER 892 NEW BEST:: SOT 476130 SOS 319890 HAS SOPS 319890 HAS SOUS 237742 HAS SOUPS 237742 WITH SCORE 238061.89
AT ITER 896 NEW BEST:: SOT 476029 SOS 319818 HAS SOPS 319818 HAS SOUS 237725 HAS SOUPS 237725 WITH SCORE 238044.818
AT ITER 897 NEW BEST:: SOT 476029 SOS 319723 HAS SOPS 319723 HAS SOUS 237687 HAS SOUPS 237687 WITH SCORE 238006.723
AT ITER 900 NEW BEST:: SOT 476151 SOS 320009 HAS SOPS 320009 HAS SOUS 237290 HAS SOUPS 237290 WITH SCORE 237610.009
AT ITER 901 NEW BEST:: SOT 476125 SOS 319903 HAS SOPS 319903 HAS SOUS 237211 HAS SOUPS 237211 WITH SCORE 237530.903
AT ITER 908 NEW BEST:: SOT 476125 SOS 319903 HAS SOPS 319903 HAS SOUS 237108 HAS SOUPS 237108 WITH SCORE 237427.903
AT ITER 910 NEW BEST:: SOT 476125 SOS 319778 HAS SOPS 319778 HAS SOUS 237058 HAS SOUPS 237058 WITH SCORE 237377.778
AT ITER 913 NEW BEST:: SOT 476155 SOS 319860 HAS SOPS 319860 HAS SOUS 237038 HAS SOUPS 237038 WITH SCORE 237357.86
AT ITER 918 NEW BEST:: SOT 476117 SOS 319822 HAS SOPS 319822 HAS SOUS 237000 HAS SOUPS 237000 WITH SCORE 237319.822
AT ITER 922 NEW BEST:: SOT 476160 SOS 319865 HAS SOPS 319865 HAS SOUS 236970 HAS SOUPS 236970 WITH SCORE 237289.865
AT ITER 925 NEW BEST:: SOT 476160 SOS 320090 HAS SOPS 320090 HAS SOUS 236960 HAS SOUPS 236960 WITH SCORE 237280.09
AT ITER 930 NEW BEST:: SOT 476160 SOS 320062 HAS SOPS 320062 HAS SOUS 236933 HAS SOUPS 236933 WITH SCORE 237253.062
AT ITER 935 NEW BEST:: SOT 476693 SOS 319200 HAS SOPS 319200 HAS SOUS 236490 HAS SOUPS 236490 WITH SCORE 236809.2
AT ITER 936 NEW BEST:: SOT 475077 SOS 317526 HAS SOPS 317526 HAS SOUS 234816 HAS SOUPS 234816 WITH SCORE 235133.526
AT ITER 951 NEW BEST:: SOT 474674 SOS 316824 HAS SOPS 316824 HAS SOUS 233942 HAS SOUPS 233942 WITH SCORE 234258.824
AT ITER 953 NEW BEST:: SOT 474613 SOS 316749 HAS SOPS 316749 HAS SOUS 233583 HAS SOUPS 233583 WITH SCORE 233899.749
AT ITER 960 NEW BEST:: SOT 474286 SOS 316639 HAS SOPS 316639 HAS SOUS 233339 HAS SOUPS 233339 WITH SCORE 233655.639
AT ITER 961 NEW BEST:: SOT 474413 SOS 316565 HAS SOPS 316565 HAS SOUS 233141 HAS SOUPS 233141 WITH SCORE 233457.565
AT ITER 971 NEW BEST:: SOT 474684 SOS 316273 HAS SOPS 316273 HAS SOUS 232869 HAS SOUPS 232869 WITH SCORE 233185.273
AT ITER 972 NEW BEST:: SOT 474684 SOS 316273 HAS SOPS 316273 HAS SOUS 232853 HAS SOUPS 232853 WITH SCORE 233169.273
AT ITER 979 NEW BEST:: SOT 474720 SOS 316309 HAS SOPS 316309 HAS SOUS 232768 HAS SOUPS 232768 WITH SCORE 233084.309
AT ITER 982 NEW BEST:: SOT 474706 SOS 316295 HAS SOPS 316295 HAS SOUS 232754 HAS SOUPS 232754 WITH SCORE 233070.295
AT ITER 983 NEW BEST:: SOT 474557 SOS 316193 HAS SOPS 316193 HAS SOUS 232652 HAS SOUPS 232652 WITH SCORE 232968.193
AT ITER 984 NEW BEST:: SOT 474573 SOS 316574 HAS SOPS 316574 HAS SOUS 232574 HAS SOUPS 232574 WITH SCORE 232890.574
AT ITER 985 NEW BEST:: SOT 474316 SOS 316118 HAS SOPS 316118 HAS SOUS 232178 HAS SOUPS 232178 WITH SCORE 232494.118
AT ITER 987 NEW BEST:: SOT 473867 SOS 315652 HAS SOPS 315652 HAS SOUS 231645 HAS SOUPS 231645 WITH SCORE 231960.652
AT ITER 988 NEW BEST:: SOT 473067 SOS 313078 HAS SOPS 313078 HAS SOUS 230285 HAS SOUPS 230285 WITH SCORE 230598.078
AT ITER 995 NEW BEST:: SOT 473067 SOS 313030 HAS SOPS 313030 HAS SOUS 230213 HAS SOUPS 230213 WITH SCORE 230526.03
AT ITER 998 NEW BEST:: SOT 472997 SOS 312960 HAS SOPS 312960 HAS SOUS 230143 HAS SOUPS 230143 WITH SCORE 230455.96
AT ITER 1005 NEW BEST:: SOT 472612 SOS 311975 HAS SOPS 311975 HAS SOUS 228602 HAS SOUPS 228602 WITH SCORE 228913.975
AT ITER 1007 NEW BEST:: SOT 472598 SOS 311905 HAS SOPS 311905 HAS SOUS 228574 HAS SOUPS 228574 WITH SCORE 228885.905
AT ITER 1009 NEW BEST:: SOT 472545 SOS 311851 HAS SOPS 311851 HAS SOUS 228572 HAS SOUPS 228572 WITH SCORE 228883.851
AT ITER 1011 NEW BEST:: SOT 472205 SOS 311511 HAS SOPS 311511 HAS SOUS 228232 HAS SOUPS 228232 WITH SCORE 228543.511
AT ITER 1013 NEW BEST:: SOT 472230 SOS 311517 HAS SOPS 311517 HAS SOUS 228157 HAS SOUPS 228157 WITH SCORE 228468.517
AT ITER 1019 NEW BEST:: SOT 472141 SOS 311393 HAS SOPS 311393 HAS SOUS 228131 HAS SOUPS 228131 WITH SCORE 228442.393
AT ITER 1024 NEW BEST:: SOT 472141 SOS 311367 HAS SOPS 311367 HAS SOUS 228079 HAS SOUPS 228079 WITH SCORE 228390.367
AT ITER 1030 NEW BEST:: SOT 471810 SOS 309882 HAS SOPS 309882 HAS SOUS 227810 HAS SOUPS 227810 WITH SCORE 228119.882
AT ITER 1040 NEW BEST:: SOT 471667 SOS 309522 HAS SOPS 309522 HAS SOUS 227352 HAS SOUPS 227352 WITH SCORE 227661.522
AT ITER 1044 NEW BEST:: SOT 471667 SOS 309422 HAS SOPS 309422 HAS SOUS 227329 HAS SOUPS 227329 WITH SCORE 227638.422
AT ITER 1045 NEW BEST:: SOT 470781 SOS 308418 HAS SOPS 308418 HAS SOUS 226321 HAS SOUPS 226321 WITH SCORE 226629.418
AT ITER 1046 NEW BEST:: SOT 470838 SOS 308360 HAS SOPS 308360 HAS SOUS 226228 HAS SOUPS 226228 WITH SCORE 226536.36
AT ITER 1056 NEW BEST:: SOT 470831 SOS 308360 HAS SOPS 308360 HAS SOUS 226200 HAS SOUPS 226200 WITH SCORE 226508.36
AT ITER 1058 NEW BEST:: SOT 470844 SOS 308449 HAS SOPS 308449 HAS SOUS 226194 HAS SOUPS 226194 WITH SCORE 226502.449
AT ITER 1061 NEW BEST:: SOT 470704 SOS 308309 HAS SOPS 308309 HAS SOUS 226054 HAS SOUPS 226054 WITH SCORE 226362.309
AT ITER 1063 NEW BEST:: SOT 470681 SOS 308023 HAS SOPS 308023 HAS SOUS 225700 HAS SOUPS 225700 WITH SCORE 226008.023
AT ITER 1064 NEW BEST:: SOT 470563 SOS 307965 HAS SOPS 307965 HAS SOUS 225648 HAS SOUPS 225648 WITH SCORE 225955.965
AT ITER 1069 NEW BEST:: SOT 470379 SOS 307962 HAS SOPS 307962 HAS SOUS 225589 HAS SOUPS 225589 WITH SCORE 225896.962
AT ITER 1071 NEW BEST:: SOT 470310 SOS 307893 HAS SOPS 307893 HAS SOUS 225424 HAS SOUPS 225424 WITH SCORE 225731.893
AT ITER 1075 NEW BEST:: SOT 470349 SOS 307932 HAS SOPS 307932 HAS SOUS 225088 HAS SOUPS 225088 WITH SCORE 225395.932
AT ITER 1078 NEW BEST:: SOT 469861 SOS 307589 HAS SOPS 307589 HAS SOUS 224871 HAS SOUPS 224871 WITH SCORE 225178.589
AT ITER 1080 NEW BEST:: SOT 469861 SOS 307337 HAS SOPS 307337 HAS SOUS 224665 HAS SOUPS 224665 WITH SCORE 224972.337
AT ITER 1093 NEW BEST:: SOT 469861 SOS 307232 HAS SOPS 307232 HAS SOUS 224630 HAS SOUPS 224630 WITH SCORE 224937.232
AT ITER 1101 NEW BEST:: SOT 469647 SOS 306676 HAS SOPS 306676 HAS SOUS 223951 HAS SOUPS 223951 WITH SCORE 224257.676
AT ITER 1102 NEW BEST:: SOT 469385 SOS 306414 HAS SOPS 306414 HAS SOUS 223689 HAS SOUPS 223689 WITH SCORE 223995.414
AT ITER 1104 NEW BEST:: SOT 469317 SOS 306131 HAS SOPS 306131 HAS SOUS 223552 HAS SOUPS 223552 WITH SCORE 223858.131
AT ITER 1105 NEW BEST:: SOT 469282 SOS 306061 HAS SOPS 306061 HAS SOUS 223494 HAS SOUPS 223494 WITH SCORE 223800.061
AT ITER 1111 NEW BEST:: SOT 468858 SOS 305376 HAS SOPS 305376 HAS SOUS 223453 HAS SOUPS 223453 WITH SCORE 223758.376
AT ITER 1115 NEW BEST:: SOT 468525 SOS 304859 HAS SOPS 304859 HAS SOUS 223005 HAS SOUPS 223005 WITH SCORE 223309.859
AT ITER 1125 NEW BEST:: SOT 468132 SOS 304466 HAS SOPS 304466 HAS SOUS 222612 HAS SOUPS 222612 WITH SCORE 222916.466
AT ITER 1126 NEW BEST:: SOT 467985 SOS 303793 HAS SOPS 303793 HAS SOUS 222244 HAS SOUPS 222244 WITH SCORE 222547.793
AT ITER 1127 NEW BEST:: SOT 467954 SOS 303718 HAS SOPS 303718 HAS SOUS 222148 HAS SOUPS 222148 WITH SCORE 222451.718
AT ITER 1131 NEW BEST:: SOT 467954 SOS 303449 HAS SOPS 303449 HAS SOUS 222043 HAS SOUPS 222043 WITH SCORE 222346.449
AT ITER 1142 NEW BEST:: SOT 467954 SOS 303464 HAS SOPS 303464 HAS SOUS 222040 HAS SOUPS 222040 WITH SCORE 222343.464
AT ITER 1143 NEW BEST:: SOT 467952 SOS 303462 HAS SOPS 303462 HAS SOUS 222038 HAS SOUPS 222038 WITH SCORE 222341.462
AT ITER 1149 NEW BEST:: SOT 467952 SOS 303360 HAS SOPS 303360 HAS SOUS 222015 HAS SOUPS 222015 WITH SCORE 222318.36
AT ITER 1155 NEW BEST:: SOT 467893 SOS 303301 HAS SOPS 303301 HAS SOUS 222015 HAS SOUPS 222015 WITH SCORE 222318.301
AT ITER 1165 NEW BEST:: SOT 468036 SOS 303194 HAS SOPS 303194 HAS SOUS 221874 HAS SOUPS 221874 WITH SCORE 222177.194
AT ITER 1172 NEW BEST:: SOT 468078 SOS 303408 HAS SOPS 303408 HAS SOUS 221824 HAS SOUPS 221824 WITH SCORE 222127.408
AT ITER 1178 NEW BEST:: SOT 468075 SOS 303390 HAS SOPS 303390 HAS SOUS 221818 HAS SOUPS 221818 WITH SCORE 222121.39
AT ITER 1183 NEW BEST:: SOT 467985 SOS 303122 HAS SOPS 303122 HAS SOUS 221801 HAS SOUPS 221801 WITH SCORE 222104.122
AT ITER 1191 NEW BEST:: SOT 467963 SOS 303089 HAS SOPS 303089 HAS SOUS 221779 HAS SOUPS 221779 WITH SCORE 222082.089
AT ITER 1202 NEW BEST:: SOT 467884 SOS 303076 HAS SOPS 303076 HAS SOUS 221537 HAS SOUPS 221537 WITH SCORE 221840.076
AT ITER 1203 NEW BEST:: SOT 467884 SOS 302980 HAS SOPS 302980 HAS SOUS 221441 HAS SOUPS 221441 WITH SCORE 221743.98
AT ITER 1205 NEW BEST:: SOT 467180 SOS 302221 HAS SOPS 302221 HAS SOUS 220682 HAS SOUPS 220682 WITH SCORE 220984.221
AT ITER 1209 NEW BEST:: SOT 467144 SOS 302098 HAS SOPS 302098 HAS SOUS 220610 HAS SOUPS 220610 WITH SCORE 220912.098
AT ITER 1211 NEW BEST:: SOT 466801 SOS 301755 HAS SOPS 301755 HAS SOUS 220133 HAS SOUPS 220133 WITH SCORE 220434.755
AT ITER 1214 NEW BEST:: SOT 466802 SOS 301747 HAS SOPS 301747 HAS SOUS 220133 HAS SOUPS 220133 WITH SCORE 220434.747
AT ITER 1215 NEW BEST:: SOT 466896 SOS 301487 HAS SOPS 301487 HAS SOUS 219684 HAS SOUPS 219684 WITH SCORE 219985.487
AT ITER 1223 NEW BEST:: SOT 466769 SOS 300876 HAS SOPS 300876 HAS SOUS 219079 HAS SOUPS 219079 WITH SCORE 219379.876
AT ITER 1226 NEW BEST:: SOT 466769 SOS 300821 HAS SOPS 300821 HAS SOUS 218909 HAS SOUPS 218909 WITH SCORE 219209.821
AT ITER 1230 NEW BEST:: SOT 466557 SOS 300398 HAS SOPS 300398 HAS SOUS 218484 HAS SOUPS 218484 WITH SCORE 218784.398
AT ITER 1232 NEW BEST:: SOT 466511 SOS 300042 HAS SOPS 300042 HAS SOUS 218325 HAS SOUPS 218325 WITH SCORE 218625.042
AT ITER 1235 NEW BEST:: SOT 466477 SOS 299900 HAS SOPS 299900 HAS SOUS 218322 HAS SOUPS 218322 WITH SCORE 218621.9
AT ITER 1244 NEW BEST:: SOT 466150 SOS 296473 HAS SOPS 296473 HAS SOUS 217668 HAS SOUPS 217668 WITH SCORE 217964.473
AT ITER 1246 NEW BEST:: SOT 466134 SOS 296457 HAS SOPS 296457 HAS SOUS 217668 HAS SOUPS 217668 WITH SCORE 217964.457
AT ITER 1250 NEW BEST:: SOT 466134 SOS 296315 HAS SOPS 296315 HAS SOUS 217597 HAS SOUPS 217597 WITH SCORE 217893.315
AT ITER 1252 NEW BEST:: SOT 466134 SOS 296239 HAS SOPS 296239 HAS SOUS 217433 HAS SOUPS 217433 WITH SCORE 217729.239
AT ITER 1261 NEW BEST:: SOT 466127 SOS 296155 HAS SOPS 296155 HAS SOUS 217352 HAS SOUPS 217352 WITH SCORE 217648.155
AT ITER 1269 NEW BEST:: SOT 466008 SOS 296088 HAS SOPS 296088 HAS SOUS 217316 HAS SOUPS 217316 WITH SCORE 217612.088
AT ITER 1274 NEW BEST:: SOT 466008 SOS 296014 HAS SOPS 296014 HAS SOUS 217168 HAS SOUPS 217168 WITH SCORE 217464.014
AT ITER 1277 NEW BEST:: SOT 465966 SOS 296076 HAS SOPS 296076 HAS SOUS 217022 HAS SOUPS 217022 WITH SCORE 217318.076
AT ITER 1278 NEW BEST:: SOT 465902 SOS 295968 HAS SOPS 295968 HAS SOUS 217017 HAS SOUPS 217017 WITH SCORE 217312.968
AT ITER 1279 NEW BEST:: SOT 465863 SOS 295929 HAS SOPS 295929 HAS SOUS 216978 HAS SOUPS 216978 WITH SCORE 217273.929
AT ITER 1283 NEW BEST:: SOT 465705 SOS 294641 HAS SOPS 294641 HAS SOUS 216561 HAS SOUPS 216561 WITH SCORE 216855.641
AT ITER 1304 NEW BEST:: SOT 465612 SOS 294488 HAS SOPS 294488 HAS SOUS 216414 HAS SOUPS 216414 WITH SCORE 216708.488
AT ITER 1307 NEW BEST:: SOT 465671 SOS 294663 HAS SOPS 294663 HAS SOUS 216406 HAS SOUPS 216406 WITH SCORE 216700.663
AT ITER 1309 NEW BEST:: SOT 465671 SOS 294550 HAS SOPS 294550 HAS SOUS 216381 HAS SOUPS 216381 WITH SCORE 216675.55
AT ITER 1319 NEW BEST:: SOT 465663 SOS 294542 HAS SOPS 294542 HAS SOUS 216353 HAS SOUPS 216353 WITH SCORE 216647.542
AT ITER 1320 NEW BEST:: SOT 465612 SOS 294491 HAS SOPS 294491 HAS SOUS 216134 HAS SOUPS 216134 WITH SCORE 216428.491
AT ITER 1332 NEW BEST:: SOT 465520 SOS 294514 HAS SOPS 294514 HAS SOUS 216070 HAS SOUPS 216070 WITH SCORE 216364.514
AT ITER 1333 NEW BEST:: SOT 465830 SOS 294542 HAS SOPS 294542 HAS SOUS 216068 HAS SOUPS 216068 WITH SCORE 216362.542
AT ITER 1341 NEW BEST:: SOT 465720 SOS 294363 HAS SOPS 294363 HAS SOUS 215889 HAS SOUPS 215889 WITH SCORE 216183.363
AT ITER 1343 NEW BEST:: SOT 465691 SOS 294305 HAS SOPS 294305 HAS SOUS 215786 HAS SOUPS 215786 WITH SCORE 216080.305
AT ITER 1357 NEW BEST:: SOT 465641 SOS 294244 HAS SOPS 294244 HAS SOUS 215714 HAS SOUPS 215714 WITH SCORE 216008.244
AT ITER 1361 NEW BEST:: SOT 465543 SOS 294097 HAS SOPS 294097 HAS SOUS 215567 HAS SOUPS 215567 WITH SCORE 215861.097
AT ITER 1379 NEW BEST:: SOT 465502 SOS 294056 HAS SOPS 294056 HAS SOUS 215526 HAS SOUPS 215526 WITH SCORE 215820.056
AT ITER 1384 NEW BEST:: SOT 464724 SOS 291935 HAS SOPS 291935 HAS SOUS 214110 HAS SOUPS 214110 WITH SCORE 214401.935
AT ITER 1393 NEW BEST:: SOT 464447 SOS 291691 HAS SOPS 291691 HAS SOUS 213866 HAS SOUPS 213866 WITH SCORE 214157.691
AT ITER 1397 NEW BEST:: SOT 464467 SOS 291711 HAS SOPS 291711 HAS SOUS 213852 HAS SOUPS 213852 WITH SCORE 214143.711
AT ITER 1402 NEW BEST:: SOT 464357 SOS 291601 HAS SOPS 291601 HAS SOUS 213742 HAS SOUPS 213742 WITH SCORE 214033.601
AT ITER 1409 NEW BEST:: SOT 464007 SOS 291080 HAS SOPS 291080 HAS SOUS 213380 HAS SOUPS 213380 WITH SCORE 213671.08
AT ITER 1410 NEW BEST:: SOT 463953 SOS 290097 HAS SOPS 290097 HAS SOUS 213190 HAS SOUPS 213190 WITH SCORE 213480.097
AT ITER 1417 NEW BEST:: SOT 463718 SOS 289598 HAS SOPS 289598 HAS SOUS 213009 HAS SOUPS 213009 WITH SCORE 213298.598
AT ITER 1425 NEW BEST:: SOT 463440 SOS 288839 HAS SOPS 288839 HAS SOUS 212461 HAS SOUPS 212461 WITH SCORE 212749.839
AT ITER 1428 NEW BEST:: SOT 463513 SOS 288693 HAS SOPS 288693 HAS SOUS 212421 HAS SOUPS 212421 WITH SCORE 212709.693
AT ITER 1440 NEW BEST:: SOT 463494 SOS 288031 HAS SOPS 288031 HAS SOUS 212380 HAS SOUPS 212380 WITH SCORE 212668.031
AT ITER 1444 NEW BEST:: SOT 463458 SOS 287986 HAS SOPS 287986 HAS SOUS 212335 HAS SOUPS 212335 WITH SCORE 212622.986
AT ITER 1463 NEW BEST:: SOT 463458 SOS 287945 HAS SOPS 287945 HAS SOUS 212256 HAS SOUPS 212256 WITH SCORE 212543.945
AT ITER 1469 NEW BEST:: SOT 463321 SOS 287913 HAS SOPS 287913 HAS SOUS 212198 HAS SOUPS 212198 WITH SCORE 212485.913
AT ITER 1473 NEW BEST:: SOT 463213 SOS 287869 HAS SOPS 287869 HAS SOUS 212152 HAS SOUPS 212152 WITH SCORE 212439.869
AT ITER 1478 NEW BEST:: SOT 463321 SOS 287524 HAS SOPS 287524 HAS SOUS 212143 HAS SOUPS 212143 WITH SCORE 212430.524
AT ITER 1491 NEW BEST:: SOT 463243 SOS 287389 HAS SOPS 287389 HAS SOUS 211945 HAS SOUPS 211945 WITH SCORE 212232.389
AT ITER 1504 NEW BEST:: SOT 462882 SOS 287026 HAS SOPS 287026 HAS SOUS 211578 HAS SOUPS 211578 WITH SCORE 211865.026
AT ITER 1510 NEW BEST:: SOT 462438 SOS 285148 HAS SOPS 285148 HAS SOUS 210823 HAS SOUPS 210823 WITH SCORE 211108.148
AT ITER 1513 NEW BEST:: SOT 462371 SOS 284826 HAS SOPS 284826 HAS SOUS 210607 HAS SOUPS 210607 WITH SCORE 210891.826
AT ITER 1519 NEW BEST:: SOT 462354 SOS 284809 HAS SOPS 284809 HAS SOUS 210590 HAS SOUPS 210590 WITH SCORE 210874.809
AT ITER 1520 NEW BEST:: SOT 462261 SOS 284396 HAS SOPS 284396 HAS SOUS 210078 HAS SOUPS 210078 WITH SCORE 210362.396
AT ITER 1528 NEW BEST:: SOT 462260 SOS 284395 HAS SOPS 284395 HAS SOUS 210077 HAS SOUPS 210077 WITH SCORE 210361.395
AT ITER 1547 NEW BEST:: SOT 461975 SOS 284085 HAS SOPS 284085 HAS SOUS 209742 HAS SOUPS 209742 WITH SCORE 210026.085
AT ITER 1548 NEW BEST:: SOT 461965 SOS 284045 HAS SOPS 284045 HAS SOUS 209722 HAS SOUPS 209722 WITH SCORE 210006.045
AT ITER 1549 NEW BEST:: SOT 461803 SOS 283638 HAS SOPS 283638 HAS SOUS 209215 HAS SOUPS 209215 WITH SCORE 209498.638
AT ITER 1550 NEW BEST:: SOT 461794 SOS 283620 HAS SOPS 283620 HAS SOUS 209182 HAS SOUPS 209182 WITH SCORE 209465.62
AT ITER 1552 NEW BEST:: SOT 461765 SOS 283533 HAS SOPS 283533 HAS SOUS 209153 HAS SOUPS 209153 WITH SCORE 209436.533
AT ITER 1555 NEW BEST:: SOT 461748 SOS 283380 HAS SOPS 283380 HAS SOUS 209153 HAS SOUPS 209153 WITH SCORE 209436.38
AT ITER 1559 NEW BEST:: SOT 461735 SOS 282709 HAS SOPS 282709 HAS SOUS 208986 HAS SOUPS 208986 WITH SCORE 209268.709
AT ITER 1561 NEW BEST:: SOT 461735 SOS 282626 HAS SOPS 282626 HAS SOUS 208843 HAS SOUPS 208843 WITH SCORE 209125.626
AT ITER 1565 NEW BEST:: SOT 461707 SOS 282598 HAS SOPS 282598 HAS SOUS 208815 HAS SOUPS 208815 WITH SCORE 209097.598
AT ITER 1566 NEW BEST:: SOT 461655 SOS 282528 HAS SOPS 282528 HAS SOUS 208732 HAS SOUPS 208732 WITH SCORE 209014.528
AT ITER 1567 NEW BEST:: SOT 461484 SOS 282403 HAS SOPS 282403 HAS SOUS 208526 HAS SOUPS 208526 WITH SCORE 208808.403
AT ITER 1569 NEW BEST:: SOT 461535 SOS 282566 HAS SOPS 282566 HAS SOUS 208487 HAS SOUPS 208487 WITH SCORE 208769.566
AT ITER 1577 NEW BEST:: SOT 461803 SOS 282742 HAS SOPS 282742 HAS SOUS 208213 HAS SOUPS 208213 WITH SCORE 208495.742
AT ITER 1580 NEW BEST:: SOT 461566 SOS 282505 HAS SOPS 282505 HAS SOUS 207748 HAS SOUPS 207748 WITH SCORE 208030.505
AT ITER 1587 NEW BEST:: SOT 461316 SOS 282475 HAS SOPS 282475 HAS SOUS 207228 HAS SOUPS 207228 WITH SCORE 207510.475
AT ITER 1602 NEW BEST:: SOT 461196 SOS 282355 HAS SOPS 282355 HAS SOUS 207108 HAS SOUPS 207108 WITH SCORE 207390.355
AT ITER 1610 NEW BEST:: SOT 461205 SOS 282310 HAS SOPS 282310 HAS SOUS 207063 HAS SOUPS 207063 WITH SCORE 207345.31
AT ITER 1617 NEW BEST:: SOT 461167 SOS 282272 HAS SOPS 282272 HAS SOUS 206938 HAS SOUPS 206938 WITH SCORE 207220.272
AT ITER 1621 NEW BEST:: SOT 461097 SOS 282199 HAS SOPS 282199 HAS SOUS 206870 HAS SOUPS 206870 WITH SCORE 207152.199
AT ITER 1643 NEW BEST:: SOT 460969 SOS 282071 HAS SOPS 282071 HAS SOUS 206742 HAS SOUPS 206742 WITH SCORE 207024.071
AT ITER 1645 NEW BEST:: SOT 460815 SOS 281879 HAS SOPS 281879 HAS SOUS 206512 HAS SOUPS 206512 WITH SCORE 206793.879
AT ITER 1654 NEW BEST:: SOT 460628 SOS 281692 HAS SOPS 281692 HAS SOUS 206325 HAS SOUPS 206325 WITH SCORE 206606.692
AT ITER 1656 NEW BEST:: SOT 460585 SOS 281303 HAS SOPS 281303 HAS SOUS 206262 HAS SOUPS 206262 WITH SCORE 206543.303
AT ITER 1658 NEW BEST:: SOT 460444 SOS 281147 HAS SOPS 281147 HAS SOUS 206087 HAS SOUPS 206087 WITH SCORE 206368.147
AT ITER 1665 NEW BEST:: SOT 460290 SOS 280993 HAS SOPS 280993 HAS SOUS 205933 HAS SOUPS 205933 WITH SCORE 206213.993
AT ITER 1678 NEW BEST:: SOT 460143 SOS 280271 HAS SOPS 280271 HAS SOUS 205431 HAS SOUPS 205431 WITH SCORE 205711.271
AT ITER 1683 NEW BEST:: SOT 460014 SOS 280081 HAS SOPS 280081 HAS SOUS 205217 HAS SOUPS 205217 WITH SCORE 205497.081
AT ITER 1684 NEW BEST:: SOT 460014 SOS 279949 HAS SOPS 279949 HAS SOUS 205217 HAS SOUPS 205217 WITH SCORE 205496.949
AT ITER 1699 NEW BEST:: SOT 459702 SOS 279603 HAS SOPS 279603 HAS SOUS 204870 HAS SOUPS 204870 WITH SCORE 205149.603
AT ITER 1706 NEW BEST:: SOT 459843 SOS 279607 HAS SOPS 279607 HAS SOUS 204767 HAS SOUPS 204767 WITH SCORE 205046.607
AT ITER 1712 NEW BEST:: SOT 459849 SOS 279602 HAS SOPS 279602 HAS SOUS 204762 HAS SOUPS 204762 WITH SCORE 205041.602
AT ITER 1716 NEW BEST:: SOT 459791 SOS 279495 HAS SOPS 279495 HAS SOUS 204655 HAS SOUPS 204655 WITH SCORE 204934.495
AT ITER 1725 NEW BEST:: SOT 459816 SOS 279447 HAS SOPS 279447 HAS SOUS 204652 HAS SOUPS 204652 WITH SCORE 204931.447
AT ITER 1727 NEW BEST:: SOT 459748 SOS 279311 HAS SOPS 279311 HAS SOUS 204244 HAS SOUPS 204244 WITH SCORE 204523.311
AT ITER 1728 NEW BEST:: SOT 459719 SOS 279224 HAS SOPS 279224 HAS SOUS 204192 HAS SOUPS 204192 WITH SCORE 204471.224
AT ITER 1736 NEW BEST:: SOT 459508 SOS 278985 HAS SOPS 278985 HAS SOUS 203953 HAS SOUPS 203953 WITH SCORE 204231.985
AT ITER 1738 NEW BEST:: SOT 459604 SOS 279459 HAS SOPS 279459 HAS SOUS 203906 HAS SOUPS 203906 WITH SCORE 204185.459
AT ITER 1741 NEW BEST:: SOT 459414 SOS 279269 HAS SOPS 279269 HAS SOUS 203716 HAS SOUPS 203716 WITH SCORE 203995.269
AT ITER 1748 NEW BEST:: SOT 459388 SOS 279230 HAS SOPS 279230 HAS SOUS 203677 HAS SOUPS 203677 WITH SCORE 203956.23
AT ITER 1762 NEW BEST:: SOT 459388 SOS 279214 HAS SOPS 279214 HAS SOUS 203673 HAS SOUPS 203673 WITH SCORE 203952.214
AT ITER 1764 NEW BEST:: SOT 459530 SOS 278834 HAS SOPS 278834 HAS SOUS 203390 HAS SOUPS 203390 WITH SCORE 203668.834
AT ITER 1769 NEW BEST:: SOT 459511 SOS 278777 HAS SOPS 278777 HAS SOUS 203352 HAS SOUPS 203352 WITH SCORE 203630.777
AT ITER 1771 NEW BEST:: SOT 459435 SOS 278634 HAS SOPS 278634 HAS SOUS 203209 HAS SOUPS 203209 WITH SCORE 203487.634
AT ITER 1775 NEW BEST:: SOT 459494 SOS 278631 HAS SOPS 278631 HAS SOUS 203182 HAS SOUPS 203182 WITH SCORE 203460.631
AT ITER 1788 NEW BEST:: SOT 459441 SOS 278477 HAS SOPS 278477 HAS SOUS 202924 HAS SOUPS 202924 WITH SCORE 203202.477
AT ITER 1790 NEW BEST:: SOT 459481 SOS 278231 HAS SOPS 278231 HAS SOUS 202661 HAS SOUPS 202661 WITH SCORE 202939.231
AT ITER 1794 NEW BEST:: SOT 459364 SOS 278114 HAS SOPS 278114 HAS SOUS 202544 HAS SOUPS 202544 WITH SCORE 202822.114
AT ITER 1804 NEW BEST:: SOT 459325 SOS 278033 HAS SOPS 278033 HAS SOUS 202499 HAS SOUPS 202499 WITH SCORE 202777.033
AT ITER 1805 NEW BEST:: SOT 459321 SOS 278031 HAS SOPS 278031 HAS SOUS 202497 HAS SOUPS 202497 WITH SCORE 202775.031
AT ITER 1806 NEW BEST:: SOT 458916 SOS 277633 HAS SOPS 277633 HAS SOUS 202098 HAS SOUPS 202098 WITH SCORE 202375.633
AT ITER 1818 NEW BEST:: SOT 458916 SOS 277093 HAS SOPS 277093 HAS SOUS 202090 HAS SOUPS 202090 WITH SCORE 202367.093
AT ITER 1821 NEW BEST:: SOT 458916 SOS 277081 HAS SOPS 277081 HAS SOUS 202070 HAS SOUPS 202070 WITH SCORE 202347.081
AT ITER 1823 NEW BEST:: SOT 459132 SOS 277543 HAS SOPS 277543 HAS SOUS 201686 HAS SOUPS 201686 WITH SCORE 201963.543
AT ITER 1832 NEW BEST:: SOT 459132 SOS 277463 HAS SOPS 277463 HAS SOUS 201672 HAS SOUPS 201672 WITH SCORE 201949.463
AT ITER 1845 NEW BEST:: SOT 459008 SOS 276919 HAS SOPS 276919 HAS SOUS 201401 HAS SOUPS 201401 WITH SCORE 201677.919
AT ITER 1854 NEW BEST:: SOT 458986 SOS 276740 HAS SOPS 276740 HAS SOUS 201390 HAS SOUPS 201390 WITH SCORE 201666.74
AT ITER 1860 NEW BEST:: SOT 458986 SOS 276707 HAS SOPS 276707 HAS SOUS 201390 HAS SOUPS 201390 WITH SCORE 201666.707
AT ITER 1867 NEW BEST:: SOT 458748 SOS 276431 HAS SOPS 276431 HAS SOUS 201114 HAS SOUPS 201114 WITH SCORE 201390.431
AT ITER 1868 NEW BEST:: SOT 458060 SOS 275730 HAS SOPS 275730 HAS SOUS 200384 HAS SOUPS 200384 WITH SCORE 200659.73
AT ITER 1880 NEW BEST:: SOT 457909 SOS 275322 HAS SOPS 275322 HAS SOUS 199976 HAS SOUPS 199976 WITH SCORE 200251.322
AT ITER 1883 NEW BEST:: SOT 457775 SOS 274637 HAS SOPS 274637 HAS SOUS 199759 HAS SOUPS 199759 WITH SCORE 200033.637
AT ITER 1886 NEW BEST:: SOT 457714 SOS 274317 HAS SOPS 274317 HAS SOUS 199637 HAS SOUPS 199637 WITH SCORE 199911.317
AT ITER 1888 NEW BEST:: SOT 457692 SOS 274391 HAS SOPS 274391 HAS SOUS 199628 HAS SOUPS 199628 WITH SCORE 199902.391
AT ITER 1890 NEW BEST:: SOT 457607 SOS 274306 HAS SOPS 274306 HAS SOUS 199543 HAS SOUPS 199543 WITH SCORE 199817.306
AT ITER 1891 NEW BEST:: SOT 457520 SOS 274306 HAS SOPS 274306 HAS SOUS 199486 HAS SOUPS 199486 WITH SCORE 199760.306
AT ITER 1892 NEW BEST:: SOT 457479 SOS 274222 HAS SOPS 274222 HAS SOUS 199440 HAS SOUPS 199440 WITH SCORE 199714.222
AT ITER 1893 NEW BEST:: SOT 457358 SOS 273614 HAS SOPS 273614 HAS SOUS 199036 HAS SOUPS 199036 WITH SCORE 199309.614
AT ITER 1901 NEW BEST:: SOT 457351 SOS 273528 HAS SOPS 273528 HAS SOUS 198953 HAS SOUPS 198953 WITH SCORE 199226.528
AT ITER 1907 NEW BEST:: SOT 457351 SOS 273472 HAS SOPS 273472 HAS SOUS 198938 HAS SOUPS 198938 WITH SCORE 199211.472
AT ITER 1914 NEW BEST:: SOT 457349 SOS 273462 HAS SOPS 273462 HAS SOUS 198932 HAS SOUPS 198932 WITH SCORE 199205.462
AT ITER 1925 NEW BEST:: SOT 457349 SOS 273222 HAS SOPS 273222 HAS SOUS 198706 HAS SOUPS 198706 WITH SCORE 198979.222
AT ITER 1933 NEW BEST:: SOT 457141 SOS 273011 HAS SOPS 273011 HAS SOUS 198195 HAS SOUPS 198195 WITH SCORE 198468.011
AT ITER 1937 NEW BEST:: SOT 457146 SOS 272918 HAS SOPS 272918 HAS SOUS 198169 HAS SOUPS 198169 WITH SCORE 198441.918
AT ITER 1939 NEW BEST:: SOT 457146 SOS 272879 HAS SOPS 272879 HAS SOUS 198156 HAS SOUPS 198156 WITH SCORE 198428.879
AT ITER 1942 NEW BEST:: SOT 457146 SOS 272855 HAS SOPS 272855 HAS SOUS 198132 HAS SOUPS 198132 WITH SCORE 198404.855
AT ITER 1943 NEW BEST:: SOT 457143 SOS 272846 HAS SOPS 272846 HAS SOUS 198043 HAS SOUPS 198043 WITH SCORE 198315.846
AT ITER 1945 NEW BEST:: SOT 457045 SOS 272709 HAS SOPS 272709 HAS SOUS 197807 HAS SOUPS 197807 WITH SCORE 198079.709
AT ITER 1953 NEW BEST:: SOT 456904 SOS 272473 HAS SOPS 272473 HAS SOUS 197681 HAS SOUPS 197681 WITH SCORE 197953.473
AT ITER 1958 NEW BEST:: SOT 456774 SOS 272312 HAS SOPS 272312 HAS SOUS 197416 HAS SOUPS 197416 WITH SCORE 197688.312
AT ITER 1961 NEW BEST:: SOT 456665 SOS 271920 HAS SOPS 271920 HAS SOUS 197280 HAS SOUPS 197280 WITH SCORE 197551.92
AT ITER 1970 NEW BEST:: SOT 456637 SOS 271808 HAS SOPS 271808 HAS SOUS 197168 HAS SOUPS 197168 WITH SCORE 197439.808
AT ITER 1982 NEW BEST:: SOT 456593 SOS 271775 HAS SOPS 271775 HAS SOUS 197112 HAS SOUPS 197112 WITH SCORE 197383.775
AT ITER 1991 NEW BEST:: SOT 456314 SOS 271570 HAS SOPS 271570 HAS SOUS 196819 HAS SOUPS 196819 WITH SCORE 197090.57
AT ITER 1997 NEW BEST:: SOT 456257 SOS 271494 HAS SOPS 271494 HAS SOUS 196769 HAS SOUPS 196769 WITH SCORE 197040.494
AT ITER 2014 NEW BEST:: SOT 456236 SOS 271473 HAS SOPS 271473 HAS SOUS 196745 HAS SOUPS 196745 WITH SCORE 197016.473
AT ITER 2017 NEW BEST:: SOT 456217 SOS 271421 HAS SOPS 271421 HAS SOUS 196655 HAS SOUPS 196655 WITH SCORE 196926.421
AT ITER 2024 NEW BEST:: SOT 455715 SOS 270648 HAS SOPS 270648 HAS SOUS 195514 HAS SOUPS 195514 WITH SCORE 195784.648
AT ITER 2038 NEW BEST:: SOT 455740 SOS 270574 HAS SOPS 270574 HAS SOUS 195356 HAS SOUPS 195356 WITH SCORE 195626.574
AT ITER 2049 NEW BEST:: SOT 455740 SOS 270574 HAS SOPS 270574 HAS SOUS 195353 HAS SOUPS 195353 WITH SCORE 195623.574
AT ITER 2056 NEW BEST:: SOT 455640 SOS 270474 HAS SOPS 270474 HAS SOUS 195253 HAS SOUPS 195253 WITH SCORE 195523.474
AT ITER 2062 NEW BEST:: SOT 455661 SOS 270526 HAS SOPS 270526 HAS SOUS 195175 HAS SOUPS 195175 WITH SCORE 195445.526
AT ITER 2063 NEW BEST:: SOT 455175 SOS 270040 HAS SOPS 270040 HAS SOUS 194704 HAS SOUPS 194704 WITH SCORE 194974.04
AT ITER 2065 NEW BEST:: SOT 454811 SOS 269288 HAS SOPS 269288 HAS SOUS 193801 HAS SOUPS 193801 WITH SCORE 194070.288
AT ITER 2071 NEW BEST:: SOT 454779 SOS 269256 HAS SOPS 269256 HAS SOUS 193737 HAS SOUPS 193737 WITH SCORE 194006.256
AT ITER 2077 NEW BEST:: SOT 454721 SOS 269182 HAS SOPS 269182 HAS SOUS 193736 HAS SOUPS 193736 WITH SCORE 194005.182
AT ITER 2080 NEW BEST:: SOT 454446 SOS 268701 HAS SOPS 268701 HAS SOUS 193424 HAS SOUPS 193424 WITH SCORE 193692.701
AT ITER 2094 NEW BEST:: SOT 454326 SOS 268672 HAS SOPS 268672 HAS SOUS 193395 HAS SOUPS 193395 WITH SCORE 193663.672
AT ITER 2100 NEW BEST:: SOT 454326 SOS 268618 HAS SOPS 268618 HAS SOUS 193335 HAS SOUPS 193335 WITH SCORE 193603.618
AT ITER 2117 NEW BEST:: SOT 454329 SOS 268621 HAS SOPS 268621 HAS SOUS 193332 HAS SOUPS 193332 WITH SCORE 193600.621
AT ITER 2118 NEW BEST:: SOT 454305 SOS 268570 HAS SOPS 268570 HAS SOUS 193210 HAS SOUPS 193210 WITH SCORE 193478.57
AT ITER 2121 NEW BEST:: SOT 453985 SOS 268268 HAS SOPS 268268 HAS SOUS 193098 HAS SOUPS 193098 WITH SCORE 193366.268
AT ITER 2129 NEW BEST:: SOT 453985 SOS 268346 HAS SOPS 268346 HAS SOUS 193020 HAS SOUPS 193020 WITH SCORE 193288.346
AT ITER 2133 NEW BEST:: SOT 453899 SOS 268151 HAS SOPS 268151 HAS SOUS 192958 HAS SOUPS 192958 WITH SCORE 193226.151
AT ITER 2154 NEW BEST:: SOT 453893 SOS 267736 HAS SOPS 267736 HAS SOUS 192956 HAS SOUPS 192956 WITH SCORE 193223.736
AT ITER 2156 NEW BEST:: SOT 453893 SOS 267778 HAS SOPS 267778 HAS SOUS 192910 HAS SOUPS 192910 WITH SCORE 193177.778
AT ITER 2159 NEW BEST:: SOT 453787 SOS 267672 HAS SOPS 267672 HAS SOUS 192804 HAS SOUPS 192804 WITH SCORE 193071.672
AT ITER 2168 NEW BEST:: SOT 453104 SOS 267052 HAS SOPS 267052 HAS SOUS 192481 HAS SOUPS 192481 WITH SCORE 192748.052
AT ITER 2173 NEW BEST:: SOT 453273 SOS 267044 HAS SOPS 267044 HAS SOUS 192392 HAS SOUPS 192392 WITH SCORE 192659.044
AT ITER 2178 NEW BEST:: SOT 453257 SOS 267022 HAS SOPS 267022 HAS SOUS 192364 HAS SOUPS 192364 WITH SCORE 192631.022
AT ITER 2189 NEW BEST:: SOT 453077 SOS 265756 HAS SOPS 265756 HAS SOUS 191984 HAS SOUPS 191984 WITH SCORE 192249.756
AT ITER 2194 NEW BEST:: SOT 453208 SOS 265522 HAS SOPS 265522 HAS SOUS 191977 HAS SOUPS 191977 WITH SCORE 192242.522
AT ITER 2201 NEW BEST:: SOT 453112 SOS 265380 HAS SOPS 265380 HAS SOUS 191523 HAS SOUPS 191523 WITH SCORE 191788.38
AT ITER 2203 NEW BEST:: SOT 453108 SOS 265376 HAS SOPS 265376 HAS SOUS 191519 HAS SOUPS 191519 WITH SCORE 191784.376
AT ITER 2212 NEW BEST:: SOT 453163 SOS 263443 HAS SOPS 263443 HAS SOUS 191274 HAS SOUPS 191274 WITH SCORE 191537.443
AT ITER 2214 NEW BEST:: SOT 453093 SOS 263347 HAS SOPS 263347 HAS SOUS 191257 HAS SOUPS 191257 WITH SCORE 191520.347
AT ITER 2216 NEW BEST:: SOT 453048 SOS 263257 HAS SOPS 263257 HAS SOUS 191122 HAS SOUPS 191122 WITH SCORE 191385.257
AT ITER 2220 NEW BEST:: SOT 452988 SOS 263137 HAS SOPS 263137 HAS SOUS 191002 HAS SOUPS 191002 WITH SCORE 191265.137
AT ITER 2226 NEW BEST:: SOT 452868 SOS 263017 HAS SOPS 263017 HAS SOUS 190882 HAS SOUPS 190882 WITH SCORE 191145.017
AT ITER 2227 NEW BEST:: SOT 452868 SOS 263002 HAS SOPS 263002 HAS SOUS 190882 HAS SOUPS 190882 WITH SCORE 191145.002
AT ITER 2233 NEW BEST:: SOT 452509 SOS 261593 HAS SOPS 261593 HAS SOUS 190774 HAS SOUPS 190774 WITH SCORE 191035.593
AT ITER 2252 NEW BEST:: SOT 452079 SOS 261067 HAS SOPS 261067 HAS SOUS 190248 HAS SOUPS 190248 WITH SCORE 190509.067
AT ITER 2258 NEW BEST:: SOT 452050 SOS 261038 HAS SOPS 261038 HAS SOUS 190219 HAS SOUPS 190219 WITH SCORE 190480.038
AT ITER 2260 NEW BEST:: SOT 451884 SOS 260700 HAS SOPS 260700 HAS SOUS 189709 HAS SOUPS 189709 WITH SCORE 189969.7
AT ITER 2266 NEW BEST:: SOT 451884 SOS 260675 HAS SOPS 260675 HAS SOUS 189690 HAS SOUPS 189690 WITH SCORE 189950.675
AT ITER 2279 NEW BEST:: SOT 451654 SOS 260514 HAS SOPS 260514 HAS SOUS 189529 HAS SOUPS 189529 WITH SCORE 189789.514
AT ITER 2281 NEW BEST:: SOT 451686 SOS 261094 HAS SOPS 261094 HAS SOUS 189297 HAS SOUPS 189297 WITH SCORE 189558.094
AT ITER 2285 NEW BEST:: SOT 451438 SOS 260722 HAS SOPS 260722 HAS SOUS 188924 HAS SOUPS 188924 WITH SCORE 189184.722
AT ITER 2286 NEW BEST:: SOT 451384 SOS 260668 HAS SOPS 260668 HAS SOUS 188745 HAS SOUPS 188745 WITH SCORE 189005.668
AT ITER 2289 NEW BEST:: SOT 451630 SOS 260684 HAS SOPS 260684 HAS SOUS 188730 HAS SOUPS 188730 WITH SCORE 188990.684
AT ITER 2295 NEW BEST:: SOT 451630 SOS 260652 HAS SOPS 260652 HAS SOUS 188721 HAS SOUPS 188721 WITH SCORE 188981.652
AT ITER 2304 NEW BEST:: SOT 451258 SOS 260103 HAS SOPS 260103 HAS SOUS 188172 HAS SOUPS 188172 WITH SCORE 188432.103
AT ITER 2327 NEW BEST:: SOT 451250 SOS 260087 HAS SOPS 260087 HAS SOUS 188148 HAS SOUPS 188148 WITH SCORE 188408.087
AT ITER 2330 NEW BEST:: SOT 451255 SOS 260092 HAS SOPS 260092 HAS SOUS 188100 HAS SOUPS 188100 WITH SCORE 188360.092
AT ITER 2335 NEW BEST:: SOT 451239 SOS 259989 HAS SOPS 259989 HAS SOUS 187807 HAS SOUPS 187807 WITH SCORE 188066.989
AT ITER 2336 NEW BEST:: SOT 451239 SOS 259661 HAS SOPS 259661 HAS SOUS 187738 HAS SOUPS 187738 WITH SCORE 187997.661
AT ITER 2341 NEW BEST:: SOT 451187 SOS 258731 HAS SOPS 258731 HAS SOUS 186867 HAS SOUPS 186867 WITH SCORE 187125.731
AT ITER 2345 NEW BEST:: SOT 450929 SOS 258423 HAS SOPS 258423 HAS SOUS 186489 HAS SOUPS 186489 WITH SCORE 186747.423
AT ITER 2349 NEW BEST:: SOT 450926 SOS 258399 HAS SOPS 258399 HAS SOUS 186465 HAS SOUPS 186465 WITH SCORE 186723.399
AT ITER 2363 NEW BEST:: SOT 449910 SOS 256747 HAS SOPS 256747 HAS SOUS 184735 HAS SOUPS 184735 WITH SCORE 184991.747
AT ITER 2375 NEW BEST:: SOT 449837 SOS 256528 HAS SOPS 256528 HAS SOUS 184346 HAS SOUPS 184346 WITH SCORE 184602.528
AT ITER 2378 NEW BEST:: SOT 449837 SOS 257454 HAS SOPS 257454 HAS SOUS 183867 HAS SOUPS 183867 WITH SCORE 184124.454
AT ITER 2379 NEW BEST:: SOT 449708 SOS 257271 HAS SOPS 257271 HAS SOUS 183696 HAS SOUPS 183696 WITH SCORE 183953.271
AT ITER 2391 NEW BEST:: SOT 449629 SOS 257192 HAS SOPS 257192 HAS SOUS 183617 HAS SOUPS 183617 WITH SCORE 183874.192
AT ITER 2392 NEW BEST:: SOT 449629 SOS 257382 HAS SOPS 257382 HAS SOUS 183607 HAS SOUPS 183607 WITH SCORE 183864.382
AT ITER 2396 NEW BEST:: SOT 449629 SOS 257300 HAS SOPS 257300 HAS SOUS 183532 HAS SOUPS 183532 WITH SCORE 183789.3
AT ITER 2398 NEW BEST:: SOT 449605 SOS 257268 HAS SOPS 257268 HAS SOUS 183500 HAS SOUPS 183500 WITH SCORE 183757.268
AT ITER 2399 NEW BEST:: SOT 449605 SOS 257141 HAS SOPS 257141 HAS SOUS 183489 HAS SOUPS 183489 WITH SCORE 183746.141
AT ITER 2402 NEW BEST:: SOT 449358 SOS 255884 HAS SOPS 255884 HAS SOUS 183339 HAS SOUPS 183339 WITH SCORE 183594.884
AT ITER 2403 NEW BEST:: SOT 449358 SOS 255686 HAS SOPS 255686 HAS SOUS 183260 HAS SOUPS 183260 WITH SCORE 183515.686
AT ITER 2407 NEW BEST:: SOT 449376 SOS 255696 HAS SOPS 255696 HAS SOUS 183066 HAS SOUPS 183066 WITH SCORE 183321.696
AT ITER 2408 NEW BEST:: SOT 449306 SOS 255626 HAS SOPS 255626 HAS SOUS 182996 HAS SOUPS 182996 WITH SCORE 183251.626
AT ITER 2411 NEW BEST:: SOT 449278 SOS 255598 HAS SOPS 255598 HAS SOUS 182920 HAS SOUPS 182920 WITH SCORE 183175.598
AT ITER 2415 NEW BEST:: SOT 449477 SOS 255544 HAS SOPS 255544 HAS SOUS 182848 HAS SOUPS 182848 WITH SCORE 183103.544
AT ITER 2424 NEW BEST:: SOT 449435 SOS 255523 HAS SOPS 255523 HAS SOUS 182806 HAS SOUPS 182806 WITH SCORE 183061.523
AT ITER 2434 NEW BEST:: SOT 449432 SOS 255484 HAS SOPS 255484 HAS SOUS 182791 HAS SOUPS 182791 WITH SCORE 183046.484
AT ITER 2435 NEW BEST:: SOT 449456 SOS 255727 HAS SOPS 255727 HAS SOUS 182734 HAS SOUPS 182734 WITH SCORE 182989.727
AT ITER 2438 NEW BEST:: SOT 449570 SOS 255848 HAS SOPS 255848 HAS SOUS 182669 HAS SOUPS 182669 WITH SCORE 182924.848
AT ITER 2439 NEW BEST:: SOT 449488 SOS 255503 HAS SOPS 255503 HAS SOUS 182240 HAS SOUPS 182240 WITH SCORE 182495.503
AT ITER 2440 NEW BEST:: SOT 449425 SOS 255284 HAS SOPS 255284 HAS SOUS 182197 HAS SOUPS 182197 WITH SCORE 182452.284
AT ITER 2448 NEW BEST:: SOT 449407 SOS 255248 HAS SOPS 255248 HAS SOUS 182161 HAS SOUPS 182161 WITH SCORE 182416.248
AT ITER 2449 NEW BEST:: SOT 449287 SOS 255128 HAS SOPS 255128 HAS SOUS 182041 HAS SOUPS 182041 WITH SCORE 182296.128
AT ITER 2455 NEW BEST:: SOT 449247 SOS 255144 HAS SOPS 255144 HAS SOUS 181955 HAS SOUPS 181955 WITH SCORE 182210.144
AT ITER 2463 NEW BEST:: SOT 449205 SOS 255144 HAS SOPS 255144 HAS SOUS 181896 HAS SOUPS 181896 WITH SCORE 182151.144
AT ITER 2464 NEW BEST:: SOT 449082 SOS 255021 HAS SOPS 255021 HAS SOUS 181773 HAS SOUPS 181773 WITH SCORE 182028.021
AT ITER 2466 NEW BEST:: SOT 448781 SOS 254720 HAS SOPS 254720 HAS SOUS 181460 HAS SOUPS 181460 WITH SCORE 181714.72
AT ITER 2469 NEW BEST:: SOT 448608 SOS 254141 HAS SOPS 254141 HAS SOUS 181304 HAS SOUPS 181304 WITH SCORE 181558.141
AT ITER 2472 NEW BEST:: SOT 448568 SOS 254088 HAS SOPS 254088 HAS SOUS 181251 HAS SOUPS 181251 WITH SCORE 181505.088
AT ITER 2477 NEW BEST:: SOT 448521 SOS 254044 HAS SOPS 254044 HAS SOUS 181199 HAS SOUPS 181199 WITH SCORE 181453.044
AT ITER 2487 NEW BEST:: SOT 448511 SOS 254008 HAS SOPS 254008 HAS SOUS 181147 HAS SOUPS 181147 WITH SCORE 181401.008
AT ITER 2490 NEW BEST:: SOT 448511 SOS 254008 HAS SOPS 254008 HAS SOUS 181143 HAS SOUPS 181143 WITH SCORE 181397.008
AT ITER 2493 NEW BEST:: SOT 448508 SOS 254005 HAS SOPS 254005 HAS SOUS 181140 HAS SOUPS 181140 WITH SCORE 181394.005
AT ITER 2496 NEW BEST:: SOT 448510 SOS 254001 HAS SOPS 254001 HAS SOUS 181130 HAS SOUPS 181130 WITH SCORE 181384.001
AT ITER 2506 NEW BEST:: SOT 448143 SOS 252981 HAS SOPS 252981 HAS SOUS 179809 HAS SOUPS 179809 WITH SCORE 180061.981
AT ITER 2520 NEW BEST:: SOT 448143 SOS 253011 HAS SOPS 253011 HAS SOUS 179794 HAS SOUPS 179794 WITH SCORE 180047.011
AT ITER 2525 NEW BEST:: SOT 448116 SOS 252950 HAS SOPS 252950 HAS SOUS 179733 HAS SOUPS 179733 WITH SCORE 179985.95
AT ITER 2527 NEW BEST:: SOT 448114 SOS 253209 HAS SOPS 253209 HAS SOUS 179678 HAS SOUPS 179678 WITH SCORE 179931.209
AT ITER 2533 NEW BEST:: SOT 448114 SOS 253187 HAS SOPS 253187 HAS SOUS 179634 HAS SOUPS 179634 WITH SCORE 179887.187
AT ITER 2539 NEW BEST:: SOT 448114 SOS 253222 HAS SOPS 253222 HAS SOUS 179623 HAS SOUPS 179623 WITH SCORE 179876.222
AT ITER 2542 NEW BEST:: SOT 448181 SOS 253252 HAS SOPS 253252 HAS SOUS 179432 HAS SOUPS 179432 WITH SCORE 179685.252
AT ITER 2543 NEW BEST:: SOT 448181 SOS 253210 HAS SOPS 253210 HAS SOUS 179425 HAS SOUPS 179425 WITH SCORE 179678.21
AT ITER 2544 NEW BEST:: SOT 447953 SOS 252979 HAS SOPS 252979 HAS SOUS 179190 HAS SOUPS 179190 WITH SCORE 179442.979
AT ITER 2548 NEW BEST:: SOT 447920 SOS 252935 HAS SOPS 252935 HAS SOUS 179146 HAS SOUPS 179146 WITH SCORE 179398.935
AT ITER 2554 NEW BEST:: SOT 447920 SOS 252385 HAS SOPS 252385 HAS SOUS 178924 HAS SOUPS 178924 WITH SCORE 179176.385
AT ITER 2562 NEW BEST:: SOT 447531 SOS 252224 HAS SOPS 252224 HAS SOUS 178647 HAS SOUPS 178647 WITH SCORE 178899.224
AT ITER 2568 NEW BEST:: SOT 447357 SOS 252039 HAS SOPS 252039 HAS SOUS 178462 HAS SOUPS 178462 WITH SCORE 178714.039
AT ITER 2576 NEW BEST:: SOT 447204 SOS 251886 HAS SOPS 251886 HAS SOUS 178309 HAS SOUPS 178309 WITH SCORE 178560.886
AT ITER 2586 NEW BEST:: SOT 447204 SOS 251767 HAS SOPS 251767 HAS SOUS 178219 HAS SOUPS 178219 WITH SCORE 178470.767
AT ITER 2588 NEW BEST:: SOT 447341 SOS 252131 HAS SOPS 252131 HAS SOUS 178150 HAS SOUPS 178150 WITH SCORE 178402.131
AT ITER 2590 NEW BEST:: SOT 447169 SOS 251994 HAS SOPS 251994 HAS SOUS 178122 HAS SOUPS 178122 WITH SCORE 178373.994
AT ITER 2591 NEW BEST:: SOT 447278 SOS 252067 HAS SOPS 252067 HAS SOUS 178102 HAS SOUPS 178102 WITH SCORE 178354.067
AT ITER 2604 NEW BEST:: SOT 447208 SOS 251997 HAS SOPS 251997 HAS SOUS 178032 HAS SOUPS 178032 WITH SCORE 178283.997
AT ITER 2614 NEW BEST:: SOT 447168 SOS 252069 HAS SOPS 252069 HAS SOUS 177984 HAS SOUPS 177984 WITH SCORE 178236.069
AT ITER 2621 NEW BEST:: SOT 447168 SOS 251958 HAS SOPS 251958 HAS SOUS 177651 HAS SOUPS 177651 WITH SCORE 177902.958
AT ITER 2622 NEW BEST:: SOT 447111 SOS 251901 HAS SOPS 251901 HAS SOUS 177594 HAS SOUPS 177594 WITH SCORE 177845.901
AT ITER 2624 NEW BEST:: SOT 447077 SOS 251595 HAS SOPS 251595 HAS SOUS 177560 HAS SOUPS 177560 WITH SCORE 177811.595
AT ITER 2633 NEW BEST:: SOT 447032 SOS 251460 HAS SOPS 251460 HAS SOUS 177061 HAS SOUPS 177061 WITH SCORE 177312.46
AT ITER 2636 NEW BEST:: SOT 446949 SOS 251306 HAS SOPS 251306 HAS SOUS 176954 HAS SOUPS 176954 WITH SCORE 177205.306
AT ITER 2637 NEW BEST:: SOT 446885 SOS 250952 HAS SOPS 250952 HAS SOUS 176891 HAS SOUPS 176891 WITH SCORE 177141.952
AT ITER 2638 NEW BEST:: SOT 446358 SOS 250510 HAS SOPS 250510 HAS SOUS 176464 HAS SOUPS 176464 WITH SCORE 176714.51
AT ITER 2647 NEW BEST:: SOT 446350 SOS 250490 HAS SOPS 250490 HAS SOUS 176448 HAS SOUPS 176448 WITH SCORE 176698.49
AT ITER 2654 NEW BEST:: SOT 446137 SOS 250328 HAS SOPS 250328 HAS SOUS 176304 HAS SOUPS 176304 WITH SCORE 176554.328
AT ITER 2658 NEW BEST:: SOT 445897 SOS 250079 HAS SOPS 250079 HAS SOUS 175960 HAS SOUPS 175960 WITH SCORE 176210.079
AT ITER 2661 NEW BEST:: SOT 445889 SOS 250009 HAS SOPS 250009 HAS SOUS 175904 HAS SOUPS 175904 WITH SCORE 176154.009
AT ITER 2662 NEW BEST:: SOT 445642 SOS 248204 HAS SOPS 248204 HAS SOUS 175616 HAS SOUPS 175616 WITH SCORE 175864.204
AT ITER 2669 NEW BEST:: SOT 445555 SOS 248117 HAS SOPS 248117 HAS SOUS 175529 HAS SOUPS 175529 WITH SCORE 175777.117
AT ITER 2691 NEW BEST:: SOT 445522 SOS 248018 HAS SOPS 248018 HAS SOUS 175511 HAS SOUPS 175511 WITH SCORE 175759.018
AT ITER 2693 NEW BEST:: SOT 445451 SOS 247350 HAS SOPS 247350 HAS SOUS 175234 HAS SOUPS 175234 WITH SCORE 175481.35
AT ITER 2695 NEW BEST:: SOT 445432 SOS 247216 HAS SOPS 247216 HAS SOUS 175068 HAS SOUPS 175068 WITH SCORE 175315.216
AT ITER 2700 NEW BEST:: SOT 445432 SOS 247124 HAS SOPS 247124 HAS SOUS 175022 HAS SOUPS 175022 WITH SCORE 175269.124
AT ITER 2711 NEW BEST:: SOT 445333 SOS 245466 HAS SOPS 245466 HAS SOUS 174806 HAS SOUPS 174806 WITH SCORE 175051.466
AT ITER 2712 NEW BEST:: SOT 445172 SOS 245261 HAS SOPS 245261 HAS SOUS 174548 HAS SOUPS 174548 WITH SCORE 174793.261
AT ITER 2715 NEW BEST:: SOT 444633 SOS 244708 HAS SOPS 244708 HAS SOUS 173959 HAS SOUPS 173959 WITH SCORE 174203.708
AT ITER 2722 NEW BEST:: SOT 444512 SOS 244479 HAS SOPS 244479 HAS SOUS 173762 HAS SOUPS 173762 WITH SCORE 174006.479
AT ITER 2729 NEW BEST:: SOT 444512 SOS 244479 HAS SOPS 244479 HAS SOUS 173720 HAS SOUPS 173720 WITH SCORE 173964.479
AT ITER 2733 NEW BEST:: SOT 444205 SOS 244172 HAS SOPS 244172 HAS SOUS 173413 HAS SOUPS 173413 WITH SCORE 173657.172
AT ITER 2734 NEW BEST:: SOT 444189 SOS 244248 HAS SOPS 244248 HAS SOUS 173250 HAS SOUPS 173250 WITH SCORE 173494.248
AT ITER 2737 NEW BEST:: SOT 444154 SOS 244178 HAS SOPS 244178 HAS SOUS 173144 HAS SOUPS 173144 WITH SCORE 173388.178
AT ITER 2749 NEW BEST:: SOT 444111 SOS 244179 HAS SOPS 244179 HAS SOUS 173021 HAS SOUPS 173021 WITH SCORE 173265.179
AT ITER 2750 NEW BEST:: SOT 443904 SOS 244090 HAS SOPS 244090 HAS SOUS 172790 HAS SOUPS 172790 WITH SCORE 173034.09
AT ITER 2754 NEW BEST:: SOT 443816 SOS 244002 HAS SOPS 244002 HAS SOUS 172702 HAS SOUPS 172702 WITH SCORE 172946.002
AT ITER 2756 NEW BEST:: SOT 443819 SOS 243914 HAS SOPS 243914 HAS SOUS 172479 HAS SOUPS 172479 WITH SCORE 172722.914
AT ITER 2762 NEW BEST:: SOT 443629 SOS 243724 HAS SOPS 243724 HAS SOUS 172282 HAS SOUPS 172282 WITH SCORE 172525.724
AT ITER 2779 NEW BEST:: SOT 443597 SOS 243482 HAS SOPS 243482 HAS SOUS 172265 HAS SOUPS 172265 WITH SCORE 172508.482
AT ITER 2783 NEW BEST:: SOT 443613 SOS 243559 HAS SOPS 243559 HAS SOUS 172109 HAS SOUPS 172109 WITH SCORE 172352.559
AT ITER 2795 NEW BEST:: SOT 443577 SOS 243413 HAS SOPS 243413 HAS SOUS 172065 HAS SOUPS 172065 WITH SCORE 172308.413
AT ITER 2808 NEW BEST:: SOT 443577 SOS 243312 HAS SOPS 243312 HAS SOUS 171676 HAS SOUPS 171676 WITH SCORE 171919.312
AT ITER 2810 NEW BEST:: SOT 443533 SOS 243523 HAS SOPS 243523 HAS SOUS 171601 HAS SOUPS 171601 WITH SCORE 171844.523
AT ITER 2812 NEW BEST:: SOT 443534 SOS 243841 HAS SOPS 243841 HAS SOUS 171585 HAS SOUPS 171585 WITH SCORE 171828.841
AT ITER 2813 NEW BEST:: SOT 443525 SOS 243826 HAS SOPS 243826 HAS SOUS 171561 HAS SOUPS 171561 WITH SCORE 171804.826
AT ITER 2814 NEW BEST:: SOT 443387 SOS 243616 HAS SOPS 243616 HAS SOUS 171243 HAS SOUPS 171243 WITH SCORE 171486.616
AT ITER 2818 NEW BEST:: SOT 443307 SOS 243516 HAS SOPS 243516 HAS SOUS 171143 HAS SOUPS 171143 WITH SCORE 171386.516
AT ITER 2820 NEW BEST:: SOT 442946 SOS 243143 HAS SOPS 243143 HAS SOUS 170770 HAS SOUPS 170770 WITH SCORE 171013.143
AT ITER 2827 NEW BEST:: SOT 442880 SOS 243113 HAS SOPS 243113 HAS SOUS 170739 HAS SOUPS 170739 WITH SCORE 170982.113
AT ITER 2834 NEW BEST:: SOT 442754 SOS 242987 HAS SOPS 242987 HAS SOUS 170563 HAS SOUPS 170563 WITH SCORE 170805.987
AT ITER 2842 NEW BEST:: SOT 442754 SOS 242979 HAS SOPS 242979 HAS SOUS 170554 HAS SOUPS 170554 WITH SCORE 170796.979
AT ITER 2848 NEW BEST:: SOT 442776 SOS 243001 HAS SOPS 243001 HAS SOUS 170543 HAS SOUPS 170543 WITH SCORE 170786.001
AT ITER 2855 NEW BEST:: SOT 442629 SOS 242854 HAS SOPS 242854 HAS SOUS 170347 HAS SOUPS 170347 WITH SCORE 170589.854
AT ITER 2864 NEW BEST:: SOT 441479 SOS 240784 HAS SOPS 240784 HAS SOUS 168967 HAS SOUPS 168967 WITH SCORE 169207.784
AT ITER 2871 NEW BEST:: SOT 441478 SOS 240783 HAS SOPS 240783 HAS SOUS 168966 HAS SOUPS 168966 WITH SCORE 169206.783
AT ITER 2873 NEW BEST:: SOT 441558 SOS 240591 HAS SOPS 240591 HAS SOUS 168914 HAS SOUPS 168914 WITH SCORE 169154.591
AT ITER 2879 NEW BEST:: SOT 440239 SOS 238961 HAS SOPS 238961 HAS SOUS 167472 HAS SOUPS 167472 WITH SCORE 167710.961
AT ITER 2883 NEW BEST:: SOT 440205 SOS 238801 HAS SOPS 238801 HAS SOUS 167309 HAS SOUPS 167309 WITH SCORE 167547.801
AT ITER 2884 NEW BEST:: SOT 440115 SOS 238711 HAS SOPS 238711 HAS SOUS 167219 HAS SOUPS 167219 WITH SCORE 167457.711
AT ITER 2888 NEW BEST:: SOT 440104 SOS 238689 HAS SOPS 238689 HAS SOUS 167208 HAS SOUPS 167208 WITH SCORE 167446.689
AT ITER 2896 NEW BEST:: SOT 440015 SOS 238676 HAS SOPS 238676 HAS SOUS 166688 HAS SOUPS 166688 WITH SCORE 166926.676
AT ITER 2899 NEW BEST:: SOT 439939 SOS 238575 HAS SOPS 238575 HAS SOUS 166584 HAS SOUPS 166584 WITH SCORE 166822.575
AT ITER 2902 NEW BEST:: SOT 439937 SOS 238573 HAS SOPS 238573 HAS SOUS 166580 HAS SOUPS 166580 WITH SCORE 166818.573
AT ITER 2903 NEW BEST:: SOT 439935 SOS 238655 HAS SOPS 238655 HAS SOUS 166548 HAS SOUPS 166548 WITH SCORE 166786.655
AT ITER 2916 NEW BEST:: SOT 439915 SOS 238627 HAS SOPS 238627 HAS SOUS 166498 HAS SOUPS 166498 WITH SCORE 166736.627
AT ITER 2922 NEW BEST:: SOT 439915 SOS 238549 HAS SOPS 238549 HAS SOUS 166406 HAS SOUPS 166406 WITH SCORE 166644.549
AT ITER 2926 NEW BEST:: SOT 439906 SOS 238540 HAS SOPS 238540 HAS SOUS 166397 HAS SOUPS 166397 WITH SCORE 166635.54
AT ITER 2929 NEW BEST:: SOT 439933 SOS 238525 HAS SOPS 238525 HAS SOUS 166382 HAS SOUPS 166382 WITH SCORE 166620.525
AT ITER 2937 NEW BEST:: SOT 439684 SOS 238757 HAS SOPS 238757 HAS SOUS 165988 HAS SOUPS 165988 WITH SCORE 166226.757
AT ITER 2941 NEW BEST:: SOT 439725 SOS 238687 HAS SOPS 238687 HAS SOUS 165918 HAS SOUPS 165918 WITH SCORE 166156.687
AT ITER 2943 NEW BEST:: SOT 439651 SOS 238613 HAS SOPS 238613 HAS SOUS 165824 HAS SOUPS 165824 WITH SCORE 166062.613
AT ITER 2944 NEW BEST:: SOT 439658 SOS 238500 HAS SOPS 238500 HAS SOUS 165808 HAS SOUPS 165808 WITH SCORE 166046.5
AT ITER 2961 NEW BEST:: SOT 439483 SOS 238318 HAS SOPS 238318 HAS SOUS 165626 HAS SOUPS 165626 WITH SCORE 165864.318
AT ITER 2963 NEW BEST:: SOT 439408 SOS 238243 HAS SOPS 238243 HAS SOUS 165551 HAS SOUPS 165551 WITH SCORE 165789.243
AT ITER 2969 NEW BEST:: SOT 439546 SOS 238387 HAS SOPS 238387 HAS SOUS 165230 HAS SOUPS 165230 WITH SCORE 165468.387
AT ITER 2976 NEW BEST:: SOT 439378 SOS 238199 HAS SOPS 238199 HAS SOUS 165200 HAS SOUPS 165200 WITH SCORE 165438.199
AT ITER 2982 NEW BEST:: SOT 439210 SOS 236456 HAS SOPS 236456 HAS SOUS 164598 HAS SOUPS 164598 WITH SCORE 164834.456
AT ITER 2993 NEW BEST:: SOT 438872 SOS 236184 HAS SOPS 236184 HAS SOUS 164376 HAS SOUPS 164376 WITH SCORE 164612.184
AT ITER 2996 NEW BEST:: SOT 438878 SOS 236192 HAS SOPS 236192 HAS SOUS 164362 HAS SOUPS 164362 WITH SCORE 164598.192
AT ITER 3002 NEW BEST:: SOT 438951 SOS 235951 HAS SOPS 235951 HAS SOUS 163738 HAS SOUPS 163738 WITH SCORE 163973.951
AT ITER 3005 NEW BEST:: SOT 438750 SOS 235656 HAS SOPS 235656 HAS SOUS 163393 HAS SOUPS 163393 WITH SCORE 163628.656
AT ITER 3009 NEW BEST:: SOT 438797 SOS 235695 HAS SOPS 235695 HAS SOUS 163319 HAS SOUPS 163319 WITH SCORE 163554.695
AT ITER 3015 NEW BEST:: SOT 438742 SOS 235555 HAS SOPS 235555 HAS SOUS 163101 HAS SOUPS 163101 WITH SCORE 163336.555
AT ITER 3021 NEW BEST:: SOT 438742 SOS 235445 HAS SOPS 235445 HAS SOUS 162992 HAS SOUPS 162992 WITH SCORE 163227.445
AT ITER 3028 NEW BEST:: SOT 438725 SOS 235388 HAS SOPS 235388 HAS SOUS 162976 HAS SOUPS 162976 WITH SCORE 163211.388
AT ITER 3029 NEW BEST:: SOT 438619 SOS 235282 HAS SOPS 235282 HAS SOUS 162817 HAS SOUPS 162817 WITH SCORE 163052.282
AT ITER 3032 NEW BEST:: SOT 438619 SOS 235221 HAS SOPS 235221 HAS SOUS 162736 HAS SOUPS 162736 WITH SCORE 162971.221
AT ITER 3044 NEW BEST:: SOT 438599 SOS 234990 HAS SOPS 234990 HAS SOUS 162625 HAS SOUPS 162625 WITH SCORE 162859.99
AT ITER 3047 NEW BEST:: SOT 438599 SOS 234858 HAS SOPS 234858 HAS SOUS 162152 HAS SOUPS 162152 WITH SCORE 162386.858
AT ITER 3052 NEW BEST:: SOT 438600 SOS 234859 HAS SOPS 234859 HAS SOUS 162061 HAS SOUPS 162061 WITH SCORE 162295.859
AT ITER 3059 NEW BEST:: SOT 438589 SOS 234816 HAS SOPS 234816 HAS SOUS 161976 HAS SOUPS 161976 WITH SCORE 162210.816
AT ITER 3064 NEW BEST:: SOT 438560 SOS 234652 HAS SOPS 234652 HAS SOUS 161909 HAS SOUPS 161909 WITH SCORE 162143.652
AT ITER 3066 NEW BEST:: SOT 438551 SOS 234635 HAS SOPS 234635 HAS SOUS 161895 HAS SOUPS 161895 WITH SCORE 162129.635
AT ITER 3068 NEW BEST:: SOT 438551 SOS 234291 HAS SOPS 234291 HAS SOUS 161747 HAS SOUPS 161747 WITH SCORE 161981.291
AT ITER 3079 NEW BEST:: SOT 438551 SOS 234197 HAS SOPS 234197 HAS SOUS 161728 HAS SOUPS 161728 WITH SCORE 161962.197
AT ITER 3082 NEW BEST:: SOT 438529 SOS 234175 HAS SOPS 234175 HAS SOUS 161614 HAS SOUPS 161614 WITH SCORE 161848.175
AT ITER 3083 NEW BEST:: SOT 438529 SOS 233997 HAS SOPS 233997 HAS SOUS 161362 HAS SOUPS 161362 WITH SCORE 161595.997
AT ITER 3084 NEW BEST:: SOT 438474 SOS 233942 HAS SOPS 233942 HAS SOUS 161296 HAS SOUPS 161296 WITH SCORE 161529.942
AT ITER 3092 NEW BEST:: SOT 438248 SOS 233510 HAS SOPS 233510 HAS SOUS 160808 HAS SOUPS 160808 WITH SCORE 161041.51
AT ITER 3093 NEW BEST:: SOT 438248 SOS 233508 HAS SOPS 233508 HAS SOUS 160806 HAS SOUPS 160806 WITH SCORE 161039.508
AT ITER 3102 NEW BEST:: SOT 438080 SOS 233420 HAS SOPS 233420 HAS SOUS 160778 HAS SOUPS 160778 WITH SCORE 161011.42
AT ITER 3127 NEW BEST:: SOT 437865 SOS 233205 HAS SOPS 233205 HAS SOUS 160563 HAS SOUPS 160563 WITH SCORE 160796.205
AT ITER 3130 NEW BEST:: SOT 437750 SOS 233091 HAS SOPS 233091 HAS SOUS 160454 HAS SOUPS 160454 WITH SCORE 160687.091
AT ITER 3133 NEW BEST:: SOT 437750 SOS 232107 HAS SOPS 232107 HAS SOUS 160208 HAS SOUPS 160208 WITH SCORE 160440.107
AT ITER 3160 NEW BEST:: SOT 437732 SOS 232022 HAS SOPS 232022 HAS SOUS 160137 HAS SOUPS 160137 WITH SCORE 160369.022
AT ITER 3163 NEW BEST:: SOT 437729 SOS 232019 HAS SOPS 232019 HAS SOUS 160134 HAS SOUPS 160134 WITH SCORE 160366.019
AT ITER 3164 NEW BEST:: SOT 437501 SOS 231791 HAS SOPS 231791 HAS SOUS 159906 HAS SOUPS 159906 WITH SCORE 160137.791
AT ITER 3167 NEW BEST:: SOT 437491 SOS 231781 HAS SOPS 231781 HAS SOUS 159896 HAS SOUPS 159896 WITH SCORE 160127.781
AT ITER 3170 NEW BEST:: SOT 437487 SOS 231769 HAS SOPS 231769 HAS SOUS 159876 HAS SOUPS 159876 WITH SCORE 160107.769
AT ITER 3171 NEW BEST:: SOT 437487 SOS 231741 HAS SOPS 231741 HAS SOUS 159869 HAS SOUPS 159869 WITH SCORE 160100.741
AT ITER 3172 NEW BEST:: SOT 437290 SOS 230101 HAS SOPS 230101 HAS SOUS 159511 HAS SOUPS 159511 WITH SCORE 159741.101
AT ITER 3173 NEW BEST:: SOT 437355 SOS 230473 HAS SOPS 230473 HAS SOUS 159406 HAS SOUPS 159406 WITH SCORE 159636.473
AT ITER 3183 NEW BEST:: SOT 437355 SOS 230468 HAS SOPS 230468 HAS SOUS 159401 HAS SOUPS 159401 WITH SCORE 159631.468
AT ITER 3186 NEW BEST:: SOT 437134 SOS 230247 HAS SOPS 230247 HAS SOUS 159180 HAS SOUPS 159180 WITH SCORE 159410.247
AT ITER 3195 NEW BEST:: SOT 437134 SOS 230203 HAS SOPS 230203 HAS SOUS 159179 HAS SOUPS 159179 WITH SCORE 159409.203
AT ITER 3215 NEW BEST:: SOT 437008 SOS 229752 HAS SOPS 229752 HAS SOUS 159095 HAS SOUPS 159095 WITH SCORE 159324.752
AT ITER 3218 NEW BEST:: SOT 437008 SOS 229777 HAS SOPS 229777 HAS SOUS 159075 HAS SOUPS 159075 WITH SCORE 159304.777
AT ITER 3221 NEW BEST:: SOT 436966 SOS 229721 HAS SOPS 229721 HAS SOUS 158968 HAS SOUPS 158968 WITH SCORE 159197.721
AT ITER 3253 NEW BEST:: SOT 436617 SOS 229092 HAS SOPS 229092 HAS SOUS 158380 HAS SOUPS 158380 WITH SCORE 158609.092
AT ITER 3266 NEW BEST:: SOT 436617 SOS 229117 HAS SOPS 229117 HAS SOUS 158355 HAS SOUPS 158355 WITH SCORE 158584.117
AT ITER 3272 NEW BEST:: SOT 436575 SOS 229085 HAS SOPS 229085 HAS SOUS 158251 HAS SOUPS 158251 WITH SCORE 158480.085
AT ITER 3291 NEW BEST:: SOT 436572 SOS 229084 HAS SOPS 229084 HAS SOUS 158249 HAS SOUPS 158249 WITH SCORE 158478.084
AT ITER 3293 NEW BEST:: SOT 436547 SOS 229425 HAS SOPS 229425 HAS SOUS 158207 HAS SOUPS 158207 WITH SCORE 158436.425
AT ITER 3299 NEW BEST:: SOT 436547 SOS 229449 HAS SOPS 229449 HAS SOUS 158182 HAS SOUPS 158182 WITH SCORE 158411.449
AT ITER 3310 NEW BEST:: SOT 436547 SOS 228912 HAS SOPS 228912 HAS SOUS 158182 HAS SOUPS 158182 WITH SCORE 158410.912
AT ITER 3316 NEW BEST:: SOT 436639 SOS 229458 HAS SOPS 229458 HAS SOUS 158142 HAS SOUPS 158142 WITH SCORE 158371.458
AT ITER 3321 NEW BEST:: SOT 436637 SOS 229456 HAS SOPS 229456 HAS SOUS 158140 HAS SOUPS 158140 WITH SCORE 158369.456
AT ITER 3328 NEW BEST:: SOT 436458 SOS 229098 HAS SOPS 229098 HAS SOUS 157961 HAS SOUPS 157961 WITH SCORE 158190.098
AT ITER 3329 NEW BEST:: SOT 436422 SOS 229062 HAS SOPS 229062 HAS SOUS 157925 HAS SOUPS 157925 WITH SCORE 158154.062
AT ITER 3341 NEW BEST:: SOT 436347 SOS 228987 HAS SOPS 228987 HAS SOUS 157850 HAS SOUPS 157850 WITH SCORE 158078.987
AT ITER 3342 NEW BEST:: SOT 436346 SOS 228984 HAS SOPS 228984 HAS SOUS 157849 HAS SOUPS 157849 WITH SCORE 158077.984
AT ITER 3346 NEW BEST:: SOT 436300 SOS 228938 HAS SOPS 228938 HAS SOUS 157773 HAS SOUPS 157773 WITH SCORE 158001.938
AT ITER 3359 NEW BEST:: SOT 436046 SOS 228678 HAS SOPS 228678 HAS SOUS 157508 HAS SOUPS 157508 WITH SCORE 157736.678
AT ITER 3366 NEW BEST:: SOT 436016 SOS 228478 HAS SOPS 228478 HAS SOUS 157459 HAS SOUPS 157459 WITH SCORE 157687.478
AT ITER 3368 NEW BEST:: SOT 436016 SOS 228445 HAS SOPS 228445 HAS SOUS 157426 HAS SOUPS 157426 WITH SCORE 157654.445
AT ITER 3376 NEW BEST:: SOT 435946 SOS 228028 HAS SOPS 228028 HAS SOUS 156829 HAS SOUPS 156829 WITH SCORE 157057.028
AT ITER 3382 NEW BEST:: SOT 435946 SOS 228395 HAS SOPS 228395 HAS SOUS 156793 HAS SOUPS 156793 WITH SCORE 157021.395
AT ITER 3393 NEW BEST:: SOT 435632 SOS 228089 HAS SOPS 228089 HAS SOUS 156369 HAS SOUPS 156369 WITH SCORE 156597.089
AT ITER 3394 NEW BEST:: SOT 435630 SOS 228082 HAS SOPS 228082 HAS SOUS 156363 HAS SOUPS 156363 WITH SCORE 156591.082
AT ITER 3403 NEW BEST:: SOT 435605 SOS 228057 HAS SOPS 228057 HAS SOUS 156338 HAS SOUPS 156338 WITH SCORE 156566.057
AT ITER 3404 NEW BEST:: SOT 435525 SOS 227987 HAS SOPS 227987 HAS SOUS 155990 HAS SOUPS 155990 WITH SCORE 156217.987
AT ITER 3417 NEW BEST:: SOT 435101 SOS 227549 HAS SOPS 227549 HAS SOUS 155594 HAS SOUPS 155594 WITH SCORE 155821.549
AT ITER 3421 NEW BEST:: SOT 435343 SOS 227449 HAS SOPS 227449 HAS SOUS 155564 HAS SOUPS 155564 WITH SCORE 155791.449
AT ITER 3427 NEW BEST:: SOT 435326 SOS 227432 HAS SOPS 227432 HAS SOUS 155547 HAS SOUPS 155547 WITH SCORE 155774.432
AT ITER 3439 NEW BEST:: SOT 435264 SOS 227566 HAS SOPS 227566 HAS SOUS 155277 HAS SOUPS 155277 WITH SCORE 155504.566
AT ITER 3442 NEW BEST:: SOT 435264 SOS 227538 HAS SOPS 227538 HAS SOUS 155249 HAS SOUPS 155249 WITH SCORE 155476.538
AT ITER 3467 NEW BEST:: SOT 435168 SOS 226923 HAS SOPS 226923 HAS SOUS 155040 HAS SOUPS 155040 WITH SCORE 155266.923
AT ITER 3468 NEW BEST:: SOT 435146 SOS 226901 HAS SOPS 226901 HAS SOUS 155018 HAS SOUPS 155018 WITH SCORE 155244.901
AT ITER 3474 NEW BEST:: SOT 435140 SOS 226909 HAS SOPS 226909 HAS SOUS 154974 HAS SOUPS 154974 WITH SCORE 155200.909
AT ITER 3496 NEW BEST:: SOT 435048 SOS 226541 HAS SOPS 226541 HAS SOUS 154882 HAS SOUPS 154882 WITH SCORE 155108.541
AT ITER 3511 NEW BEST:: SOT 435048 SOS 226244 HAS SOPS 226244 HAS SOUS 154691 HAS SOUPS 154691 WITH SCORE 154917.244
AT ITER 3523 NEW BEST:: SOT 435133 SOS 226419 HAS SOPS 226419 HAS SOUS 154534 HAS SOUPS 154534 WITH SCORE 154760.419
AT ITER 3525 NEW BEST:: SOT 435000 SOS 226286 HAS SOPS 226286 HAS SOUS 154277 HAS SOUPS 154277 WITH SCORE 154503.286
AT ITER 3534 NEW BEST:: SOT 435056 SOS 226525 HAS SOPS 226525 HAS SOUS 154202 HAS SOUPS 154202 WITH SCORE 154428.525
AT ITER 3555 NEW BEST:: SOT 435055 SOS 226524 HAS SOPS 226524 HAS SOUS 154201 HAS SOUPS 154201 WITH SCORE 154427.524
AT ITER 3572 NEW BEST:: SOT 434940 SOS 226217 HAS SOPS 226217 HAS SOUS 154062 HAS SOUPS 154062 WITH SCORE 154288.217
AT ITER 3578 NEW BEST:: SOT 434803 SOS 225976 HAS SOPS 225976 HAS SOUS 153994 HAS SOUPS 153994 WITH SCORE 154219.976
AT ITER 3597 NEW BEST:: SOT 434767 SOS 225940 HAS SOPS 225940 HAS SOUS 153940 HAS SOUPS 153940 WITH SCORE 154165.94
AT ITER 3609 NEW BEST:: SOT 434767 SOS 226498 HAS SOPS 226498 HAS SOUS 153784 HAS SOUPS 153784 WITH SCORE 154010.498
AT ITER 3614 NEW BEST:: SOT 434755 SOS 226486 HAS SOPS 226486 HAS SOUS 153760 HAS SOUPS 153760 WITH SCORE 153986.486
AT ITER 3627 NEW BEST:: SOT 434793 SOS 226139 HAS SOPS 226139 HAS SOUS 153601 HAS SOUPS 153601 WITH SCORE 153827.139
AT ITER 3631 NEW BEST:: SOT 434637 SOS 225817 HAS SOPS 225817 HAS SOUS 153195 HAS SOUPS 153195 WITH SCORE 153420.817
AT ITER 3633 NEW BEST:: SOT 434694 SOS 225823 HAS SOPS 225823 HAS SOUS 153183 HAS SOUPS 153183 WITH SCORE 153408.823
AT ITER 3635 NEW BEST:: SOT 434597 SOS 225687 HAS SOPS 225687 HAS SOUS 153113 HAS SOUPS 153113 WITH SCORE 153338.687
AT ITER 3654 NEW BEST:: SOT 434179 SOS 225189 HAS SOPS 225189 HAS SOUS 152555 HAS SOUPS 152555 WITH SCORE 152780.189
AT ITER 3672 NEW BEST:: SOT 434358 SOS 224886 HAS SOPS 224886 HAS SOUS 152536 HAS SOUPS 152536 WITH SCORE 152760.886
AT ITER 3683 NEW BEST:: SOT 434241 SOS 224740 HAS SOPS 224740 HAS SOUS 152300 HAS SOUPS 152300 WITH SCORE 152524.74
AT ITER 3700 NEW BEST:: SOT 434241 SOS 224956 HAS SOPS 224956 HAS SOUS 152292 HAS SOUPS 152292 WITH SCORE 152516.956
AT ITER 3724 NEW BEST:: SOT 434220 SOS 224928 HAS SOPS 224928 HAS SOUS 152243 HAS SOUPS 152243 WITH SCORE 152467.928
AT ITER 3725 NEW BEST:: SOT 434288 SOS 224896 HAS SOPS 224896 HAS SOUS 152205 HAS SOUPS 152205 WITH SCORE 152429.896
AT ITER 3726 NEW BEST:: SOT 434215 SOS 224818 HAS SOPS 224818 HAS SOUS 152016 HAS SOUPS 152016 WITH SCORE 152240.818
AT ITER 3728 NEW BEST:: SOT 434215 SOS 225493 HAS SOPS 225493 HAS SOUS 151878 HAS SOUPS 151878 WITH SCORE 152103.493
AT ITER 3729 NEW BEST:: SOT 434215 SOS 225387 HAS SOPS 225387 HAS SOUS 151739 HAS SOUPS 151739 WITH SCORE 151964.387
AT ITER 3745 NEW BEST:: SOT 434014 SOS 224745 HAS SOPS 224745 HAS SOUS 151265 HAS SOUPS 151265 WITH SCORE 151489.745
AT ITER 3759 NEW BEST:: SOT 433972 SOS 224581 HAS SOPS 224581 HAS SOUS 151101 HAS SOUPS 151101 WITH SCORE 151325.581
AT ITER 3764 NEW BEST:: SOT 433972 SOS 224581 HAS SOPS 224581 HAS SOUS 151076 HAS SOUPS 151076 WITH SCORE 151300.581
AT ITER 3765 NEW BEST:: SOT 433972 SOS 224417 HAS SOPS 224417 HAS SOUS 150978 HAS SOUPS 150978 WITH SCORE 151202.417
AT ITER 3778 NEW BEST:: SOT 433810 SOS 224040 HAS SOPS 224040 HAS SOUS 150871 HAS SOUPS 150871 WITH SCORE 151095.04
AT ITER 3787 NEW BEST:: SOT 433762 SOS 223775 HAS SOPS 223775 HAS SOUS 150780 HAS SOUPS 150780 WITH SCORE 151003.775
AT ITER 3821 NEW BEST:: SOT 433725 SOS 223664 HAS SOPS 223664 HAS SOUS 150692 HAS SOUPS 150692 WITH SCORE 150915.664
AT ITER 3825 NEW BEST:: SOT 433725 SOS 223647 HAS SOPS 223647 HAS SOUS 150675 HAS SOUPS 150675 WITH SCORE 150898.647
AT ITER 3831 NEW BEST:: SOT 433719 SOS 223641 HAS SOPS 223641 HAS SOUS 150657 HAS SOUPS 150657 WITH SCORE 150880.641
AT ITER 3837 NEW BEST:: SOT 433658 SOS 223572 HAS SOPS 223572 HAS SOUS 150588 HAS SOUPS 150588 WITH SCORE 150811.572
AT ITER 3840 NEW BEST:: SOT 433512 SOS 223079 HAS SOPS 223079 HAS SOUS 150375 HAS SOUPS 150375 WITH SCORE 150598.079
AT ITER 3856 NEW BEST:: SOT 433523 SOS 223084 HAS SOPS 223084 HAS SOUS 150367 HAS SOUPS 150367 WITH SCORE 150590.084
AT ITER 3871 NEW BEST:: SOT 433396 SOS 222731 HAS SOPS 222731 HAS SOUS 150234 HAS SOUPS 150234 WITH SCORE 150456.731
AT ITER 3902 NEW BEST:: SOT 433360 SOS 222695 HAS SOPS 222695 HAS SOUS 150198 HAS SOUPS 150198 WITH SCORE 150420.695
AT ITER 3914 NEW BEST:: SOT 433360 SOS 222707 HAS SOPS 222707 HAS SOUS 150121 HAS SOUPS 150121 WITH SCORE 150343.707
AT ITER 3917 NEW BEST:: SOT 433281 SOS 222775 HAS SOPS 222775 HAS SOUS 150016 HAS SOUPS 150016 WITH SCORE 150238.775
AT ITER 3920 NEW BEST:: SOT 433281 SOS 222712 HAS SOPS 222712 HAS SOUS 149953 HAS SOUPS 149953 WITH SCORE 150175.712
AT ITER 3942 NEW BEST:: SOT 433260 SOS 222670 HAS SOPS 222670 HAS SOUS 149911 HAS SOUPS 149911 WITH SCORE 150133.67
AT ITER 3964 NEW BEST:: SOT 432397 SOS 221641 HAS SOPS 221641 HAS SOUS 148746 HAS SOUPS 148746 WITH SCORE 148967.641
AT ITER 3970 NEW BEST:: SOT 432374 SOS 221618 HAS SOPS 221618 HAS SOUS 148723 HAS SOUPS 148723 WITH SCORE 148944.618
AT ITER 3980 NEW BEST:: SOT 432043 SOS 220742 HAS SOPS 220742 HAS SOUS 148174 HAS SOUPS 148174 WITH SCORE 148394.742
AT ITER 3982 NEW BEST:: SOT 431661 SOS 220332 HAS SOPS 220332 HAS SOUS 147641 HAS SOUPS 147641 WITH SCORE 147861.332
AT ITER 3993 NEW BEST:: SOT 431066 SOS 219737 HAS SOPS 219737 HAS SOUS 147023 HAS SOUPS 147023 WITH SCORE 147242.737
AT ITER 4005 NEW BEST:: SOT 430980 SOS 219153 HAS SOPS 219153 HAS SOUS 146649 HAS SOUPS 146649 WITH SCORE 146868.153
AT ITER 4036 NEW BEST:: SOT 430960 SOS 219133 HAS SOPS 219133 HAS SOUS 146629 HAS SOUPS 146629 WITH SCORE 146848.133
AT ITER 4044 NEW BEST:: SOT 430890 SOS 219074 HAS SOPS 219074 HAS SOUS 146572 HAS SOUPS 146572 WITH SCORE 146791.074
AT ITER 4052 NEW BEST:: SOT 430886 SOS 218807 HAS SOPS 218807 HAS SOUS 146441 HAS SOUPS 146441 WITH SCORE 146659.807
AT ITER 4059 NEW BEST:: SOT 430828 SOS 218779 HAS SOPS 218779 HAS SOUS 146366 HAS SOUPS 146366 WITH SCORE 146584.779
AT ITER 4060 NEW BEST:: SOT 430659 SOS 218569 HAS SOPS 218569 HAS SOUS 146263 HAS SOUPS 146263 WITH SCORE 146481.569
AT ITER 4061 NEW BEST:: SOT 430406 SOS 218261 HAS SOPS 218261 HAS SOUS 145955 HAS SOUPS 145955 WITH SCORE 146173.261
AT ITER 4064 NEW BEST:: SOT 430406 SOS 218261 HAS SOPS 218261 HAS SOUS 145943 HAS SOUPS 145943 WITH SCORE 146161.261
AT ITER 4069 NEW BEST:: SOT 430406 SOS 218274 HAS SOPS 218274 HAS SOUS 145942 HAS SOUPS 145942 WITH SCORE 146160.274
AT ITER 4075 NEW BEST:: SOT 430394 SOS 218226 HAS SOPS 218226 HAS SOUS 145912 HAS SOUPS 145912 WITH SCORE 146130.226
AT ITER 4080 NEW BEST:: SOT 430350 SOS 218182 HAS SOPS 218182 HAS SOUS 145868 HAS SOUPS 145868 WITH SCORE 146086.182
AT ITER 4086 NEW BEST:: SOT 430356 SOS 218092 HAS SOPS 218092 HAS SOUS 145546 HAS SOUPS 145546 WITH SCORE 145764.092
AT ITER 4107 NEW BEST:: SOT 430251 SOS 217974 HAS SOPS 217974 HAS SOUS 145428 HAS SOUPS 145428 WITH SCORE 145645.974
AT ITER 4121 NEW BEST:: SOT 430218 SOS 217973 HAS SOPS 217973 HAS SOUS 145327 HAS SOUPS 145327 WITH SCORE 145544.973
AT ITER 4124 NEW BEST:: SOT 430190 SOS 217777 HAS SOPS 217777 HAS SOUS 145302 HAS SOUPS 145302 WITH SCORE 145519.777
AT ITER 4125 NEW BEST:: SOT 430167 SOS 217686 HAS SOPS 217686 HAS SOUS 145166 HAS SOUPS 145166 WITH SCORE 145383.686
AT ITER 4128 NEW BEST:: SOT 430143 SOS 217662 HAS SOPS 217662 HAS SOUS 145142 HAS SOUPS 145142 WITH SCORE 145359.662
AT ITER 4129 NEW BEST:: SOT 430024 SOS 217327 HAS SOPS 217327 HAS SOUS 144969 HAS SOUPS 144969 WITH SCORE 145186.327
AT ITER 4131 NEW BEST:: SOT 430017 SOS 217327 HAS SOPS 217327 HAS SOUS 144962 HAS SOUPS 144962 WITH SCORE 145179.327
AT ITER 4132 NEW BEST:: SOT 429783 SOS 217186 HAS SOPS 217186 HAS SOUS 144599 HAS SOUPS 144599 WITH SCORE 144816.186
AT ITER 4133 NEW BEST:: SOT 429774 SOS 217150 HAS SOPS 217150 HAS SOUS 144590 HAS SOUPS 144590 WITH SCORE 144807.15
AT ITER 4134 NEW BEST:: SOT 429791 SOS 217197 HAS SOPS 217197 HAS SOUS 144581 HAS SOUPS 144581 WITH SCORE 144798.197
AT ITER 4140 NEW BEST:: SOT 429532 SOS 216938 HAS SOPS 216938 HAS SOUS 144175 HAS SOUPS 144175 WITH SCORE 144391.938
AT ITER 4152 NEW BEST:: SOT 429276 SOS 216452 HAS SOPS 216452 HAS SOUS 143817 HAS SOUPS 143817 WITH SCORE 144033.452
AT ITER 4177 NEW BEST:: SOT 429286 SOS 216457 HAS SOPS 216457 HAS SOUS 143789 HAS SOUPS 143789 WITH SCORE 144005.457
AT ITER 4184 NEW BEST:: SOT 429213 SOS 216270 HAS SOPS 216270 HAS SOUS 143418 HAS SOUPS 143418 WITH SCORE 143634.27
AT ITER 4196 NEW BEST:: SOT 429203 SOS 216015 HAS SOPS 216015 HAS SOUS 143261 HAS SOUPS 143261 WITH SCORE 143477.015
AT ITER 4198 NEW BEST:: SOT 429206 SOS 216021 HAS SOPS 216021 HAS SOUS 143255 HAS SOUPS 143255 WITH SCORE 143471.021
AT ITER 4211 NEW BEST:: SOT 429339 SOS 216092 HAS SOPS 216092 HAS SOUS 143201 HAS SOUPS 143201 WITH SCORE 143417.092
AT ITER 4214 NEW BEST:: SOT 429353 SOS 216091 HAS SOPS 216091 HAS SOUS 143125 HAS SOUPS 143125 WITH SCORE 143341.091
AT ITER 4237 NEW BEST:: SOT 429313 SOS 216051 HAS SOPS 216051 HAS SOUS 143085 HAS SOUPS 143085 WITH SCORE 143301.051
AT ITER 4240 NEW BEST:: SOT 429252 SOS 215875 HAS SOPS 215875 HAS SOUS 142681 HAS SOUPS 142681 WITH SCORE 142896.875
AT ITER 4246 NEW BEST:: SOT 429059 SOS 215351 HAS SOPS 215351 HAS SOUS 142385 HAS SOUPS 142385 WITH SCORE 142600.351
AT ITER 4250 NEW BEST:: SOT 428691 SOS 214983 HAS SOPS 214983 HAS SOUS 142043 HAS SOUPS 142043 WITH SCORE 142257.983
AT ITER 4258 NEW BEST:: SOT 428642 SOS 214934 HAS SOPS 214934 HAS SOUS 141977 HAS SOUPS 141977 WITH SCORE 142191.934
AT ITER 4266 NEW BEST:: SOT 428648 SOS 214874 HAS SOPS 214874 HAS SOUS 141937 HAS SOUPS 141937 WITH SCORE 142151.874
AT ITER 4270 NEW BEST:: SOT 428648 SOS 214226 HAS SOPS 214226 HAS SOUS 141829 HAS SOUPS 141829 WITH SCORE 142043.226
AT ITER 4280 NEW BEST:: SOT 428605 SOS 214183 HAS SOPS 214183 HAS SOUS 141786 HAS SOUPS 141786 WITH SCORE 142000.183
AT ITER 4288 NEW BEST:: SOT 428605 SOS 214191 HAS SOPS 214191 HAS SOUS 141782 HAS SOUPS 141782 WITH SCORE 141996.191
AT ITER 4305 NEW BEST:: SOT 428605 SOS 214191 HAS SOPS 214191 HAS SOUS 141778 HAS SOUPS 141778 WITH SCORE 141992.191
AT ITER 4307 NEW BEST:: SOT 428605 SOS 214140 HAS SOPS 214140 HAS SOUS 141727 HAS SOUPS 141727 WITH SCORE 141941.14
AT ITER 4319 NEW BEST:: SOT 428740 SOS 213894 HAS SOPS 213894 HAS SOUS 141552 HAS SOUPS 141552 WITH SCORE 141765.894
AT ITER 4320 NEW BEST:: SOT 428540 SOS 213440 HAS SOPS 213440 HAS SOUS 141078 HAS SOUPS 141078 WITH SCORE 141291.44
AT ITER 4329 NEW BEST:: SOT 428538 SOS 213437 HAS SOPS 213437 HAS SOUS 141072 HAS SOUPS 141072 WITH SCORE 141285.437
AT ITER 4340 NEW BEST:: SOT 428425 SOS 213186 HAS SOPS 213186 HAS SOUS 140926 HAS SOUPS 140926 WITH SCORE 141139.186
AT ITER 4346 NEW BEST:: SOT 428344 SOS 213068 HAS SOPS 213068 HAS SOUS 140828 HAS SOUPS 140828 WITH SCORE 141041.068
AT ITER 4359 NEW BEST:: SOT 428282 SOS 212958 HAS SOPS 212958 HAS SOUS 140718 HAS SOUPS 140718 WITH SCORE 140930.958
AT ITER 4376 NEW BEST:: SOT 428272 SOS 212938 HAS SOPS 212938 HAS SOUS 140698 HAS SOUPS 140698 WITH SCORE 140910.938
AT ITER 4383 NEW BEST:: SOT 428194 SOS 213057 HAS SOPS 213057 HAS SOUS 140457 HAS SOUPS 140457 WITH SCORE 140670.057
AT ITER 4394 NEW BEST:: SOT 428178 SOS 212926 HAS SOPS 212926 HAS SOUS 140408 HAS SOUPS 140408 WITH SCORE 140620.926
AT ITER 4413 NEW BEST:: SOT 428166 SOS 212881 HAS SOPS 212881 HAS SOUS 140352 HAS SOUPS 140352 WITH SCORE 140564.881
AT ITER 4421 NEW BEST:: SOT 426973 SOS 211804 HAS SOPS 211804 HAS SOUS 138411 HAS SOUPS 138411 WITH SCORE 138622.804
AT ITER 4425 NEW BEST:: SOT 426973 SOS 211099 HAS SOPS 211099 HAS SOUS 138306 HAS SOUPS 138306 WITH SCORE 138517.099
AT ITER 4426 NEW BEST:: SOT 426867 SOS 210915 HAS SOPS 210915 HAS SOUS 138209 HAS SOUPS 138209 WITH SCORE 138419.915
AT ITER 4434 NEW BEST:: SOT 426794 SOS 210842 HAS SOPS 210842 HAS SOUS 138136 HAS SOUPS 138136 WITH SCORE 138346.842
AT ITER 4440 NEW BEST:: SOT 426794 SOS 210602 HAS SOPS 210602 HAS SOUS 138096 HAS SOUPS 138096 WITH SCORE 138306.602
AT ITER 4450 NEW BEST:: SOT 426677 SOS 210300 HAS SOPS 210300 HAS SOUS 137981 HAS SOUPS 137981 WITH SCORE 138191.3
AT ITER 4459 NEW BEST:: SOT 426677 SOS 209902 HAS SOPS 209902 HAS SOUS 137904 HAS SOUPS 137904 WITH SCORE 138113.902
AT ITER 4471 NEW BEST:: SOT 426733 SOS 209881 HAS SOPS 209881 HAS SOUS 137886 HAS SOUPS 137886 WITH SCORE 138095.881
AT ITER 4517 NEW BEST:: SOT 426711 SOS 209747 HAS SOPS 209747 HAS SOUS 137822 HAS SOUPS 137822 WITH SCORE 138031.747
AT ITER 4526 NEW BEST:: SOT 426737 SOS 209773 HAS SOPS 209773 HAS SOUS 137818 HAS SOUPS 137818 WITH SCORE 138027.773
AT ITER 4541 NEW BEST:: SOT 426737 SOS 209705 HAS SOPS 209705 HAS SOUS 137789 HAS SOUPS 137789 WITH SCORE 137998.705
AT ITER 4542 NEW BEST:: SOT 426598 SOS 208996 HAS SOPS 208996 HAS SOUS 137292 HAS SOUPS 137292 WITH SCORE 137500.996
AT ITER 4548 NEW BEST:: SOT 426402 SOS 208800 HAS SOPS 208800 HAS SOUS 137136 HAS SOUPS 137136 WITH SCORE 137344.8
AT ITER 4549 NEW BEST:: SOT 426364 SOS 208794 HAS SOPS 208794 HAS SOUS 137135 HAS SOUPS 137135 WITH SCORE 137343.794
AT ITER 4558 NEW BEST:: SOT 426242 SOS 208564 HAS SOPS 208564 HAS SOUS 136715 HAS SOUPS 136715 WITH SCORE 136923.564
AT ITER 4560 NEW BEST:: SOT 425780 SOS 208096 HAS SOPS 208096 HAS SOUS 136013 HAS SOUPS 136013 WITH SCORE 136221.096
AT ITER 4577 NEW BEST:: SOT 425775 SOS 208095 HAS SOPS 208095 HAS SOUS 136011 HAS SOUPS 136011 WITH SCORE 136219.095
AT ITER 4584 NEW BEST:: SOT 425809 SOS 208051 HAS SOPS 208051 HAS SOUS 136004 HAS SOUPS 136004 WITH SCORE 136212.051
AT ITER 4590 NEW BEST:: SOT 425809 SOS 208079 HAS SOPS 208079 HAS SOUS 135992 HAS SOUPS 135992 WITH SCORE 136200.079
AT ITER 4606 NEW BEST:: SOT 425634 SOS 207844 HAS SOPS 207844 HAS SOUS 135721 HAS SOUPS 135721 WITH SCORE 135928.844
AT ITER 4607 NEW BEST:: SOT 424934 SOS 205130 HAS SOPS 205130 HAS SOUS 134800 HAS SOUPS 134800 WITH SCORE 135005.13
AT ITER 4612 NEW BEST:: SOT 424479 SOS 204636 HAS SOPS 204636 HAS SOUS 134214 HAS SOUPS 134214 WITH SCORE 134418.636
AT ITER 4619 NEW BEST:: SOT 424216 SOS 204212 HAS SOPS 204212 HAS SOUS 134080 HAS SOUPS 134080 WITH SCORE 134284.212
AT ITER 4624 NEW BEST:: SOT 424148 SOS 204135 HAS SOPS 204135 HAS SOUS 134003 HAS SOUPS 134003 WITH SCORE 134207.135
AT ITER 4677 NEW BEST:: SOT 424078 SOS 204065 HAS SOPS 204065 HAS SOUS 133933 HAS SOUPS 133933 WITH SCORE 134137.065
AT ITER 4682 NEW BEST:: SOT 424009 SOS 203996 HAS SOPS 203996 HAS SOUS 133880 HAS SOUPS 133880 WITH SCORE 134083.996
AT ITER 4702 NEW BEST:: SOT 423952 SOS 203885 HAS SOPS 203885 HAS SOUS 133769 HAS SOUPS 133769 WITH SCORE 133972.885
AT ITER 4707 NEW BEST:: SOT 423952 SOS 203522 HAS SOPS 203522 HAS SOUS 133379 HAS SOUPS 133379 WITH SCORE 133582.522
AT ITER 4715 NEW BEST:: SOT 423952 SOS 202993 HAS SOPS 202993 HAS SOUS 133087 HAS SOUPS 133087 WITH SCORE 133289.993
AT ITER 4716 NEW BEST:: SOT 423959 SOS 202898 HAS SOPS 202898 HAS SOUS 132985 HAS SOUPS 132985 WITH SCORE 133187.898
AT ITER 4742 NEW BEST:: SOT 423556 SOS 201877 HAS SOPS 201877 HAS SOUS 132368 HAS SOUPS 132368 WITH SCORE 132569.877
AT ITER 4749 NEW BEST:: SOT 423661 SOS 201901 HAS SOPS 201901 HAS SOUS 132315 HAS SOUPS 132315 WITH SCORE 132516.901
AT ITER 4772 NEW BEST:: SOT 423725 SOS 201972 HAS SOPS 201972 HAS SOUS 132290 HAS SOUPS 132290 WITH SCORE 132491.972
AT ITER 4773 NEW BEST:: SOT 423697 SOS 201925 HAS SOPS 201925 HAS SOUS 132250 HAS SOUPS 132250 WITH SCORE 132451.925
AT ITER 4784 NEW BEST:: SOT 423489 SOS 201515 HAS SOPS 201515 HAS SOUS 131954 HAS SOUPS 131954 WITH SCORE 132155.515
AT ITER 4792 NEW BEST:: SOT 423489 SOS 201515 HAS SOPS 201515 HAS SOUS 131898 HAS SOUPS 131898 WITH SCORE 132099.515
AT ITER 4797 NEW BEST:: SOT 423470 SOS 201496 HAS SOPS 201496 HAS SOUS 131879 HAS SOUPS 131879 WITH SCORE 132080.496
AT ITER 4840 NEW BEST:: SOT 423312 SOS 199675 HAS SOPS 199675 HAS SOUS 131355 HAS SOUPS 131355 WITH SCORE 131554.675
AT ITER 4844 NEW BEST:: SOT 423288 SOS 199764 HAS SOPS 199764 HAS SOUS 131339 HAS SOUPS 131339 WITH SCORE 131538.764
AT ITER 4851 NEW BEST:: SOT 423265 SOS 199519 HAS SOPS 199519 HAS SOUS 131275 HAS SOUPS 131275 WITH SCORE 131474.519
AT ITER 4857 NEW BEST:: SOT 423125 SOS 199376 HAS SOPS 199376 HAS SOUS 131257 HAS SOUPS 131257 WITH SCORE 131456.376
AT ITER 4864 NEW BEST:: SOT 423085 SOS 198943 HAS SOPS 198943 HAS SOUS 130819 HAS SOUPS 130819 WITH SCORE 131017.943
AT ITER 4878 NEW BEST:: SOT 422867 SOS 198535 HAS SOPS 198535 HAS SOUS 130560 HAS SOUPS 130560 WITH SCORE 130758.535
AT ITER 4888 NEW BEST:: SOT 422741 SOS 198407 HAS SOPS 198407 HAS SOUS 130259 HAS SOUPS 130259 WITH SCORE 130457.407
AT ITER 4935 NEW BEST:: SOT 422349 SOS 198065 HAS SOPS 198065 HAS SOUS 129887 HAS SOUPS 129887 WITH SCORE 130085.065
AT ITER 4953 NEW BEST:: SOT 422349 SOS 198101 HAS SOPS 198101 HAS SOUS 129816 HAS SOUPS 129816 WITH SCORE 130014.101
AT ITER 4989 NEW BEST:: SOT 422322 SOS 198074 HAS SOPS 198074 HAS SOUS 129789 HAS SOUPS 129789 WITH SCORE 129987.074
AT ITER 4992 NEW BEST:: SOT 422288 SOS 197938 HAS SOPS 197938 HAS SOUS 129593 HAS SOUPS 129593 WITH SCORE 129790.938
AT ITER 4996 NEW BEST:: SOT 422122 SOS 197614 HAS SOPS 197614 HAS SOUS 129207 HAS SOUPS 129207 WITH SCORE 129404.614
AT ITER 4998 NEW BEST:: SOT 422022 SOS 197494 HAS SOPS 197494 HAS SOUS 129007 HAS SOUPS 129007 WITH SCORE 129204.494
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVs-PT-050A-CTLFireability-00 (AF( ((potential((tk(P200)>=1) & (tk(P215)>=1) & (tk(P226)>=1))))))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-01 (EG( (EX( ( (! ((potential((tk(P11)>=1) & (tk(P17)>=1) & (tk(P24)>=1))))) | ((potential((tk(P165)>=1) & (tk(P171)>=1) & (tk(P178)>=1)))) )))))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-02 ( (AG( (! ( ((potential((tk(P499)>=1) & (tk(P504)>=1)))) & (! ((potential((tk(P277)>=1) & (tk(P283)>=1) & (tk(P290)>=1))))) )))) | ( ( ( ( (! ((potential((tk(P692)>=1))))) | ((potential((tk(P39)>=1)))) ) | (AX( ((potential((tk(P520)>=1)))))) ) & (EF( ( ((potential((tk(P343)>=1) & (tk(P344)>=1) & (tk(P348)>=1)))) & ((potential((tk(P91)>=1) & (tk(P92)>=1) & (tk(P96)>=1)))) ))) ) | ( ((potential((tk(P361)>=1)))) & ( ( ((potential((tk(P249)>=1)))) & (! ((potential((tk(P515)>=1))))) ) & (! ((potential((tk(P587)>=1) & (tk(P589)>=1) & (tk(P598)>=1))))) ) ) ) )
PROPERTY: ShieldRVs-PT-050A-CTLFireability-03 (EX( ( ( ( ( ((potential((tk(P391)>=1) & (tk(P395)>=1) & (tk(P402)>=1)))) & ((potential((tk(P545)>=1) & (tk(P547)>=1) & (tk(P556)>=1)))) ) | (! ((potential((tk(P104)>=1) & (tk(P106)>=1) & (tk(P110)>=1))))) ) & (EF( ((potential((tk(P571)>=1) & (tk(P575)>=1) & (tk(P584)>=1)))))) ) & (EF( ( ((potential((tk(P656)>=1)))) & ((potential((tk(P525)>=1) & (tk(P526)>=1) & (tk(P531)>=1)))) ))) )))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-04 (AX( (AF( ( ((potential((tk(P670)>=1)))) & ((potential((tk(P20)>=1) & (tk(P22)>=1) & (tk(P26)>=1)))) )))))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-05 (EU( ((potential((tk(P688)>=1)))) , (AG( (! ((potential((tk(P673)>=1))))))) ))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-06 (AF( ((potential((tk(P149)>=1) & (tk(P154)>=1))))))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-07 ( (AX( (! ( ( ((potential((tk(P543)>=1) & (tk(P547)>=1) & (tk(P556)>=1)))) | ((potential((tk(P653)>=1) & (tk(P658)>=1)))) ) | ( ((potential((tk(P544)>=1)))) | ((potential((tk(P592)>=1) & (tk(P609)>=1) & (tk(P619)>=1)))) ) )))) & ( (AF( (AX( ((potential((tk(P99)>=1)))))))) & ( (! ((potential((tk(P289)>=1) & (tk(P294)>=1))))) | ( ( ( ((potential((tk(P609)>=1) & (tk(P610)>=1) & (tk(P615)>=1)))) & ((potential((tk(P398)>=1)))) ) & ( ((potential((tk(P93)>=1) & (tk(P98)>=1)))) & ((potential((tk(P291)>=1) & (tk(P297)>=1) & (tk(P304)>=1)))) ) ) & (AF( ((potential((tk(P541)>=1) & (tk(P546)>=1)))))) ) ) ) )
PROPERTY: ShieldRVs-PT-050A-CTLFireability-08 (EF( (AU( ( ((potential((tk(P362)>=1)))) | ((potential((tk(P104)>=1)))) ) , ((potential((tk(P293)>=1) & (tk(P297)>=1) & (tk(P304)>=1)))) ))))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-09 (AX( ( ((potential((tk(P62)>=1) & (tk(P64)>=1) & (tk(P69)>=1)))) | (AF( ( ((potential((tk(P403)>=1)))) & ((potential((tk(P466)>=1) & (tk(P483)>=1) & (tk(P492)>=1)))) ))) )))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-10 (AF( (AX( (AF( ((potential((tk(P629)>=1) & (tk(P633)>=1) & (tk(P640)>=1))))))))))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-11 (AF( ( (AF( ((potential((tk(P483)>=1) & (tk(P484)>=1) & (tk(P489)>=1)))))) | ( (EF( ((potential((tk(P144)>=1) & (tk(P159)>=1) & (tk(P170)>=1)))))) | (AX( ((potential((tk(P340)>=1) & (tk(P355)>=1) & (tk(P366)>=1)))))) ) )))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-12 ( ( (EG( ( ( ((potential((tk(P231)>=1) & (tk(P232)>=1) & (tk(P237)>=1)))) & ((potential((tk(P284)>=1) & (tk(P301)>=1) & (tk(P310)>=1)))) ) | ((potential((tk(P368)>=1) & (tk(P385)>=1) & (tk(P395)>=1)))) ))) | (AF( ( ( ((potential((tk(P116)>=1) & (tk(P131)>=1) & (tk(P143)>=1)))) | ((potential((tk(P41)>=1) & (tk(P45)>=1) & (tk(P52)>=1)))) ) | (! ((potential((tk(P489)>=1) & (tk(P491)>=1) & (tk(P500)>=1))))) ))) ) & ( (EG( (AF( ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P164)>=1)))))))) | ((potential((tk(P433)>=1) & (tk(P435)>=1) & (tk(P444)>=1)))) ) )
PROPERTY: ShieldRVs-PT-050A-CTLFireability-13 ( ( (AX( (EF( ((potential((tk(P328)>=1) & (tk(P330)>=1) & (tk(P335)>=1)))))))) | (! (AU( ((potential((tk(P561)>=1)))) , ((potential((tk(P39)>=1) & (tk(P45)>=1) & (tk(P52)>=1)))) ))) ) & (! (EF( ( ( ((potential((tk(P186)>=1) & (tk(P203)>=1) & (tk(P213)>=1)))) | ((potential((tk(P393)>=1)))) ) & (! ((potential((tk(P137)>=1) & (tk(P143)>=1) & (tk(P150)>=1))))) )))) )
PROPERTY: ShieldRVs-PT-050A-CTLFireability-14 (AF( (AF( ( (! ((potential((tk(P25)>=1) & (tk(P29)>=1) & (tk(P38)>=1))))) & ( ((potential((tk(P242)>=1) & (tk(P259)>=1) & (tk(P269)>=1)))) & ((potential((tk(P4)>=1) & (tk(P19)>=1) & (tk(P31)>=1)))) ) )))))
PROPERTY: ShieldRVs-PT-050A-CTLFireability-15 (! ( (AF( ( ((potential((tk(P424)>=1) & (tk(P441)>=1) & (tk(P450)>=1)))) | ( ((potential((tk(P88)>=1) & (tk(P103)>=1) & (tk(P114)>=1)))) & ((potential((tk(P627)>=1) & (tk(P633)>=1) & (tk(P640)>=1)))) ) ))) | ((potential((tk(P223)>=1) & (tk(P225)>=1) & (tk(P234)>=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="ShieldRVs-PT-050A"
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 ShieldRVs-PT-050A, 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 r207-tajo-159033470100892"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVs-PT-050A.tgz
mv ShieldRVs-PT-050A 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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;