Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400304.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 FlexibleBarrier-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 420K
-rw-r--r-- 1 mcc users 3.9K Apr 4 18:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 4 18:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 06:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 06:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 3 13:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 3 13:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 241K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589409480164

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 08b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 920 places, 1057 transitions, 2627 arcs.
AT ITER 0 NEW BEST:: SOT 622975 SOS 301532 HAS SOPS 301532 HAS SOUS 233924 HAS SOUPS 233924 WITH SCORE 234225.532
AT ITER 1 NEW BEST:: SOT 622975 SOS 301165 HAS SOPS 301165 HAS SOUS 233623 HAS SOUPS 233623 WITH SCORE 233924.165
AT ITER 6 NEW BEST:: SOT 622890 SOS 301131 HAS SOPS 301131 HAS SOUS 233538 HAS SOUPS 233538 WITH SCORE 233839.131
AT ITER 9 NEW BEST:: SOT 622905 SOS 300867 HAS SOPS 300867 HAS SOUS 233373 HAS SOUPS 233373 WITH SCORE 233673.867
AT ITER 10 NEW BEST:: SOT 622031 SOS 305502 HAS SOPS 305502 HAS SOUS 233217 HAS SOUPS 233217 WITH SCORE 233522.502
AT ITER 12 NEW BEST:: SOT 622031 SOS 305502 HAS SOPS 305502 HAS SOUS 233216 HAS SOUPS 233216 WITH SCORE 233521.502
AT ITER 13 NEW BEST:: SOT 621871 SOS 305377 HAS SOPS 305377 HAS SOUS 233081 HAS SOUPS 233081 WITH SCORE 233386.377
AT ITER 18 NEW BEST:: SOT 621871 SOS 305377 HAS SOPS 305377 HAS SOUS 233072 HAS SOUPS 233072 WITH SCORE 233377.377
AT ITER 19 NEW BEST:: SOT 620148 SOS 305036 HAS SOPS 305036 HAS SOUS 231712 HAS SOUPS 231712 WITH SCORE 232017.036
AT ITER 22 NEW BEST:: SOT 619804 SOS 304520 HAS SOPS 304520 HAS SOUS 231196 HAS SOUPS 231196 WITH SCORE 231500.52
AT ITER 24 NEW BEST:: SOT 618544 SOS 303530 HAS SOPS 303530 HAS SOUS 230116 HAS SOUPS 230116 WITH SCORE 230419.53
AT ITER 25 NEW BEST:: SOT 618335 SOS 303372 HAS SOPS 303372 HAS SOUS 229944 HAS SOUPS 229944 WITH SCORE 230247.372
AT ITER 36 NEW BEST:: SOT 618287 SOS 303276 HAS SOPS 303276 HAS SOUS 229848 HAS SOUPS 229848 WITH SCORE 230151.276
AT ITER 43 NEW BEST:: SOT 618287 SOS 303204 HAS SOPS 303204 HAS SOUS 229848 HAS SOUPS 229848 WITH SCORE 230151.204
AT ITER 50 NEW BEST:: SOT 618287 SOS 303105 HAS SOPS 303105 HAS SOUS 229842 HAS SOUPS 229842 WITH SCORE 230145.105
AT ITER 56 NEW BEST:: SOT 618130 SOS 303007 HAS SOPS 303007 HAS SOUS 229685 HAS SOUPS 229685 WITH SCORE 229988.007
AT ITER 60 NEW BEST:: SOT 617958 SOS 302061 HAS SOPS 302061 HAS SOUS 229422 HAS SOUPS 229422 WITH SCORE 229724.061
AT ITER 62 NEW BEST:: SOT 617608 SOS 301756 HAS SOPS 301756 HAS SOUS 229398 HAS SOUPS 229398 WITH SCORE 229699.756
AT ITER 67 NEW BEST:: SOT 617539 SOS 301444 HAS SOPS 301444 HAS SOUS 229334 HAS SOUPS 229334 WITH SCORE 229635.444
AT ITER 70 NEW BEST:: SOT 617585 SOS 301170 HAS SOPS 301170 HAS SOUS 229142 HAS SOUPS 229142 WITH SCORE 229443.17
AT ITER 75 NEW BEST:: SOT 617529 SOS 300946 HAS SOPS 300946 HAS SOUS 229085 HAS SOUPS 229085 WITH SCORE 229385.946
AT ITER 76 NEW BEST:: SOT 617466 SOS 300666 HAS SOPS 300666 HAS SOUS 229027 HAS SOUPS 229027 WITH SCORE 229327.666
AT ITER 79 NEW BEST:: SOT 617535 SOS 300504 HAS SOPS 300504 HAS SOUS 228980 HAS SOUPS 228980 WITH SCORE 229280.504
AT ITER 84 NEW BEST:: SOT 617678 SOS 300058 HAS SOPS 300058 HAS SOUS 228645 HAS SOUPS 228645 WITH SCORE 228945.058
AT ITER 86 NEW BEST:: SOT 617678 SOS 300058 HAS SOPS 300058 HAS SOUS 228644 HAS SOUPS 228644 WITH SCORE 228944.058
AT ITER 90 NEW BEST:: SOT 617678 SOS 299992 HAS SOPS 299992 HAS SOUS 228578 HAS SOUPS 228578 WITH SCORE 228877.992
AT ITER 94 NEW BEST:: SOT 617678 SOS 300162 HAS SOPS 300162 HAS SOUS 228570 HAS SOUPS 228570 WITH SCORE 228870.162
AT ITER 96 NEW BEST:: SOT 617678 SOS 299989 HAS SOPS 299989 HAS SOUS 228570 HAS SOUPS 228570 WITH SCORE 228869.989
AT ITER 97 NEW BEST:: SOT 617509 SOS 299651 HAS SOPS 299651 HAS SOUS 228401 HAS SOUPS 228401 WITH SCORE 228700.651
AT ITER 100 NEW BEST:: SOT 617271 SOS 299619 HAS SOPS 299619 HAS SOUS 228263 HAS SOUPS 228263 WITH SCORE 228562.619
AT ITER 115 NEW BEST:: SOT 616991 SOS 299339 HAS SOPS 299339 HAS SOUS 227665 HAS SOUPS 227665 WITH SCORE 227964.339
AT ITER 119 NEW BEST:: SOT 616991 SOS 299139 HAS SOPS 299139 HAS SOUS 227465 HAS SOUPS 227465 WITH SCORE 227764.139
AT ITER 132 NEW BEST:: SOT 616831 SOS 298979 HAS SOPS 298979 HAS SOUS 227303 HAS SOUPS 227303 WITH SCORE 227601.979
AT ITER 135 NEW BEST:: SOT 616595 SOS 298507 HAS SOPS 298507 HAS SOUS 226831 HAS SOUPS 226831 WITH SCORE 227129.507
AT ITER 136 NEW BEST:: SOT 616513 SOS 298261 HAS SOPS 298261 HAS SOUS 226749 HAS SOUPS 226749 WITH SCORE 227047.261
AT ITER 137 NEW BEST:: SOT 616513 SOS 298261 HAS SOPS 298261 HAS SOUS 226717 HAS SOUPS 226717 WITH SCORE 227015.261
AT ITER 138 NEW BEST:: SOT 616396 SOS 298261 HAS SOPS 298261 HAS SOUS 226628 HAS SOUPS 226628 WITH SCORE 226926.261
AT ITER 139 NEW BEST:: SOT 616628 SOS 298302 HAS SOPS 298302 HAS SOUS 226623 HAS SOUPS 226623 WITH SCORE 226921.302
AT ITER 143 NEW BEST:: SOT 616723 SOS 298176 HAS SOPS 298176 HAS SOUS 226607 HAS SOUPS 226607 WITH SCORE 226905.176
AT ITER 146 NEW BEST:: SOT 616888 SOS 298132 HAS SOPS 298132 HAS SOUS 226227 HAS SOUPS 226227 WITH SCORE 226525.132
AT ITER 149 NEW BEST:: SOT 616888 SOS 297704 HAS SOPS 297704 HAS SOUS 225966 HAS SOUPS 225966 WITH SCORE 226263.704
AT ITER 165 NEW BEST:: SOT 616691 SOS 297310 HAS SOPS 297310 HAS SOUS 225769 HAS SOUPS 225769 WITH SCORE 226066.31
AT ITER 168 NEW BEST:: SOT 616932 SOS 296984 HAS SOPS 296984 HAS SOUS 225667 HAS SOUPS 225667 WITH SCORE 225963.984
AT ITER 169 NEW BEST:: SOT 615496 SOS 295549 HAS SOPS 295549 HAS SOUS 224231 HAS SOUPS 224231 WITH SCORE 224526.549
AT ITER 173 NEW BEST:: SOT 615445 SOS 295183 HAS SOPS 295183 HAS SOUS 223865 HAS SOUPS 223865 WITH SCORE 224160.183
AT ITER 185 NEW BEST:: SOT 615522 SOS 294787 HAS SOPS 294787 HAS SOUS 223654 HAS SOUPS 223654 WITH SCORE 223948.787
AT ITER 186 NEW BEST:: SOT 615420 SOS 294583 HAS SOPS 294583 HAS SOUS 223552 HAS SOUPS 223552 WITH SCORE 223846.583
AT ITER 194 NEW BEST:: SOT 615420 SOS 294583 HAS SOPS 294583 HAS SOUS 223493 HAS SOUPS 223493 WITH SCORE 223787.583
AT ITER 196 NEW BEST:: SOT 615420 SOS 294218 HAS SOPS 294218 HAS SOUS 223265 HAS SOUPS 223265 WITH SCORE 223559.218
AT ITER 199 NEW BEST:: SOT 615420 SOS 293733 HAS SOPS 293733 HAS SOUS 222917 HAS SOUPS 222917 WITH SCORE 223210.733
AT ITER 200 NEW BEST:: SOT 615194 SOS 293281 HAS SOPS 293281 HAS SOUS 222439 HAS SOUPS 222439 WITH SCORE 222732.281
AT ITER 203 NEW BEST:: SOT 615157 SOS 293207 HAS SOPS 293207 HAS SOUS 222365 HAS SOUPS 222365 WITH SCORE 222658.207
AT ITER 204 NEW BEST:: SOT 615056 SOS 292904 HAS SOPS 292904 HAS SOUS 222163 HAS SOUPS 222163 WITH SCORE 222455.904
AT ITER 207 NEW BEST:: SOT 614974 SOS 292740 HAS SOPS 292740 HAS SOUS 222081 HAS SOUPS 222081 WITH SCORE 222373.74
AT ITER 211 NEW BEST:: SOT 614974 SOS 292526 HAS SOPS 292526 HAS SOUS 221747 HAS SOUPS 221747 WITH SCORE 222039.526
AT ITER 212 NEW BEST:: SOT 614763 SOS 292104 HAS SOPS 292104 HAS SOUS 221325 HAS SOUPS 221325 WITH SCORE 221617.104
AT ITER 214 NEW BEST:: SOT 614763 SOS 290306 HAS SOPS 290306 HAS SOUS 220912 HAS SOUPS 220912 WITH SCORE 221202.306
AT ITER 227 NEW BEST:: SOT 614629 SOS 290105 HAS SOPS 290105 HAS SOUS 220711 HAS SOUPS 220711 WITH SCORE 221001.105
AT ITER 244 NEW BEST:: SOT 614656 SOS 290301 HAS SOPS 290301 HAS SOUS 220623 HAS SOUPS 220623 WITH SCORE 220913.301
AT ITER 245 NEW BEST:: SOT 614845 SOS 290120 HAS SOPS 290120 HAS SOUS 220473 HAS SOUPS 220473 WITH SCORE 220763.12
AT ITER 246 NEW BEST:: SOT 614552 SOS 289827 HAS SOPS 289827 HAS SOUS 220435 HAS SOUPS 220435 WITH SCORE 220724.827
AT ITER 248 NEW BEST:: SOT 614552 SOS 289827 HAS SOPS 289827 HAS SOUS 220434 HAS SOUPS 220434 WITH SCORE 220723.827
AT ITER 255 NEW BEST:: SOT 614373 SOS 289469 HAS SOPS 289469 HAS SOUS 220252 HAS SOUPS 220252 WITH SCORE 220541.469
AT ITER 256 NEW BEST:: SOT 614251 SOS 289426 HAS SOPS 289426 HAS SOUS 220173 HAS SOUPS 220173 WITH SCORE 220462.426
AT ITER 262 NEW BEST:: SOT 614239 SOS 289402 HAS SOPS 289402 HAS SOUS 220149 HAS SOUPS 220149 WITH SCORE 220438.402
AT ITER 266 NEW BEST:: SOT 613925 SOS 288774 HAS SOPS 288774 HAS SOUS 219678 HAS SOUPS 219678 WITH SCORE 219966.774
AT ITER 268 NEW BEST:: SOT 613717 SOS 288684 HAS SOPS 288684 HAS SOUS 219483 HAS SOUPS 219483 WITH SCORE 219771.684
AT ITER 275 NEW BEST:: SOT 613717 SOS 288556 HAS SOPS 288556 HAS SOUS 219227 HAS SOUPS 219227 WITH SCORE 219515.556
AT ITER 280 NEW BEST:: SOT 613717 SOS 288221 HAS SOPS 288221 HAS SOUS 218926 HAS SOUPS 218926 WITH SCORE 219214.221
AT ITER 281 NEW BEST:: SOT 613717 SOS 288221 HAS SOPS 288221 HAS SOUS 218883 HAS SOUPS 218883 WITH SCORE 219171.221
AT ITER 283 NEW BEST:: SOT 613717 SOS 288221 HAS SOPS 288221 HAS SOUS 218867 HAS SOUPS 218867 WITH SCORE 219155.221
AT ITER 296 NEW BEST:: SOT 613461 SOS 287453 HAS SOPS 287453 HAS SOUS 218099 HAS SOUPS 218099 WITH SCORE 218386.453
AT ITER 297 NEW BEST:: SOT 613474 SOS 287479 HAS SOPS 287479 HAS SOUS 217751 HAS SOUPS 217751 WITH SCORE 218038.479
AT ITER 299 NEW BEST:: SOT 613374 SOS 287279 HAS SOPS 287279 HAS SOUS 217551 HAS SOUPS 217551 WITH SCORE 217838.279
AT ITER 302 NEW BEST:: SOT 613249 SOS 287029 HAS SOPS 287029 HAS SOUS 217422 HAS SOUPS 217422 WITH SCORE 217709.029
AT ITER 305 NEW BEST:: SOT 613249 SOS 286946 HAS SOPS 286946 HAS SOUS 217421 HAS SOUPS 217421 WITH SCORE 217707.946
AT ITER 309 NEW BEST:: SOT 613249 SOS 286882 HAS SOPS 286882 HAS SOUS 217356 HAS SOUPS 217356 WITH SCORE 217642.882
AT ITER 312 NEW BEST:: SOT 613145 SOS 286466 HAS SOPS 286466 HAS SOUS 217251 HAS SOUPS 217251 WITH SCORE 217537.466
AT ITER 314 NEW BEST:: SOT 613015 SOS 286206 HAS SOPS 286206 HAS SOUS 216991 HAS SOUPS 216991 WITH SCORE 217277.206
AT ITER 320 NEW BEST:: SOT 613015 SOS 286206 HAS SOPS 286206 HAS SOUS 216733 HAS SOUPS 216733 WITH SCORE 217019.206
AT ITER 325 NEW BEST:: SOT 613038 SOS 286108 HAS SOPS 286108 HAS SOUS 216714 HAS SOUPS 216714 WITH SCORE 217000.108
AT ITER 328 NEW BEST:: SOT 613033 SOS 285934 HAS SOPS 285934 HAS SOUS 216624 HAS SOUPS 216624 WITH SCORE 216909.934
AT ITER 337 NEW BEST:: SOT 612920 SOS 285921 HAS SOPS 285921 HAS SOUS 216524 HAS SOUPS 216524 WITH SCORE 216809.921
AT ITER 339 NEW BEST:: SOT 612732 SOS 285733 HAS SOPS 285733 HAS SOUS 216522 HAS SOUPS 216522 WITH SCORE 216807.733
AT ITER 341 NEW BEST:: SOT 612732 SOS 285688 HAS SOPS 285688 HAS SOUS 216522 HAS SOUPS 216522 WITH SCORE 216807.688
AT ITER 344 NEW BEST:: SOT 612935 SOS 285580 HAS SOPS 285580 HAS SOUS 216146 HAS SOUPS 216146 WITH SCORE 216431.58
AT ITER 347 NEW BEST:: SOT 613084 SOS 285351 HAS SOPS 285351 HAS SOUS 215578 HAS SOUPS 215578 WITH SCORE 215863.351
AT ITER 349 NEW BEST:: SOT 613257 SOS 283890 HAS SOPS 283890 HAS SOUS 215105 HAS SOUPS 215105 WITH SCORE 215388.89
AT ITER 350 NEW BEST:: SOT 613183 SOS 283416 HAS SOPS 283416 HAS SOUS 214683 HAS SOUPS 214683 WITH SCORE 214966.416
AT ITER 354 NEW BEST:: SOT 613157 SOS 283390 HAS SOPS 283390 HAS SOUS 214657 HAS SOUPS 214657 WITH SCORE 214940.39
AT ITER 356 NEW BEST:: SOT 613351 SOS 283171 HAS SOPS 283171 HAS SOUS 214476 HAS SOUPS 214476 WITH SCORE 214759.171
AT ITER 357 NEW BEST:: SOT 613498 SOS 282875 HAS SOPS 282875 HAS SOUS 214273 HAS SOUPS 214273 WITH SCORE 214555.875
AT ITER 359 NEW BEST:: SOT 613542 SOS 283495 HAS SOPS 283495 HAS SOUS 214082 HAS SOUPS 214082 WITH SCORE 214365.495
AT ITER 363 NEW BEST:: SOT 613438 SOS 283362 HAS SOPS 283362 HAS SOUS 214041 HAS SOUPS 214041 WITH SCORE 214324.362
AT ITER 371 NEW BEST:: SOT 613435 SOS 283356 HAS SOPS 283356 HAS SOUS 214038 HAS SOUPS 214038 WITH SCORE 214321.356
AT ITER 372 NEW BEST:: SOT 613395 SOS 283276 HAS SOPS 283276 HAS SOUS 213958 HAS SOUPS 213958 WITH SCORE 214241.276
AT ITER 375 NEW BEST:: SOT 613395 SOS 283276 HAS SOPS 283276 HAS SOUS 213847 HAS SOUPS 213847 WITH SCORE 214130.276
AT ITER 383 NEW BEST:: SOT 613197 SOS 282880 HAS SOPS 282880 HAS SOUS 213649 HAS SOUPS 213649 WITH SCORE 213931.88
AT ITER 384 NEW BEST:: SOT 613197 SOS 282880 HAS SOPS 282880 HAS SOUS 213641 HAS SOUPS 213641 WITH SCORE 213923.88
AT ITER 385 NEW BEST:: SOT 613148 SOS 282963 HAS SOPS 282963 HAS SOUS 213592 HAS SOUPS 213592 WITH SCORE 213874.963
AT ITER 386 NEW BEST:: SOT 613148 SOS 282765 HAS SOPS 282765 HAS SOUS 213171 HAS SOUPS 213171 WITH SCORE 213453.765
AT ITER 387 NEW BEST:: SOT 613154 SOS 282555 HAS SOPS 282555 HAS SOUS 212873 HAS SOUPS 212873 WITH SCORE 213155.555
AT ITER 388 NEW BEST:: SOT 613085 SOS 282417 HAS SOPS 282417 HAS SOUS 212804 HAS SOUPS 212804 WITH SCORE 213086.417
AT ITER 395 NEW BEST:: SOT 612726 SOS 281699 HAS SOPS 281699 HAS SOUS 212086 HAS SOUPS 212086 WITH SCORE 212367.699
AT ITER 399 NEW BEST:: SOT 610621 SOS 280611 HAS SOPS 280611 HAS SOUS 210311 HAS SOUPS 210311 WITH SCORE 210591.611
AT ITER 405 NEW BEST:: SOT 610620 SOS 280610 HAS SOPS 280610 HAS SOUS 210310 HAS SOUPS 210310 WITH SCORE 210590.61
AT ITER 407 NEW BEST:: SOT 610620 SOS 280548 HAS SOPS 280548 HAS SOUS 210306 HAS SOUPS 210306 WITH SCORE 210586.548
AT ITER 409 NEW BEST:: SOT 610620 SOS 280398 HAS SOPS 280398 HAS SOUS 210306 HAS SOUPS 210306 WITH SCORE 210586.398
AT ITER 416 NEW BEST:: SOT 610620 SOS 280405 HAS SOPS 280405 HAS SOUS 210267 HAS SOUPS 210267 WITH SCORE 210547.405
AT ITER 421 NEW BEST:: SOT 609930 SOS 280354 HAS SOPS 280354 HAS SOUS 209900 HAS SOUPS 209900 WITH SCORE 210180.354
AT ITER 424 NEW BEST:: SOT 609730 SOS 279485 HAS SOPS 279485 HAS SOUS 209613 HAS SOUPS 209613 WITH SCORE 209892.485
AT ITER 428 NEW BEST:: SOT 609956 SOS 279711 HAS SOPS 279711 HAS SOUS 209465 HAS SOUPS 209465 WITH SCORE 209744.711
AT ITER 430 NEW BEST:: SOT 609909 SOS 279617 HAS SOPS 279617 HAS SOUS 209358 HAS SOUPS 209358 WITH SCORE 209637.617
AT ITER 431 NEW BEST:: SOT 610296 SOS 279954 HAS SOPS 279954 HAS SOUS 209272 HAS SOUPS 209272 WITH SCORE 209551.954
AT ITER 436 NEW BEST:: SOT 610359 SOS 279832 HAS SOPS 279832 HAS SOUS 209227 HAS SOUPS 209227 WITH SCORE 209506.832
AT ITER 438 NEW BEST:: SOT 610226 SOS 279853 HAS SOPS 279853 HAS SOUS 209094 HAS SOUPS 209094 WITH SCORE 209373.853
AT ITER 440 NEW BEST:: SOT 610180 SOS 279807 HAS SOPS 279807 HAS SOUS 208920 HAS SOUPS 208920 WITH SCORE 209199.807
AT ITER 443 NEW BEST:: SOT 610150 SOS 279777 HAS SOPS 279777 HAS SOUS 208860 HAS SOUPS 208860 WITH SCORE 209139.777
AT ITER 460 NEW BEST:: SOT 610323 SOS 279266 HAS SOPS 279266 HAS SOUS 208667 HAS SOUPS 208667 WITH SCORE 208946.266
AT ITER 464 NEW BEST:: SOT 610314 SOS 279257 HAS SOPS 279257 HAS SOUS 208658 HAS SOUPS 208658 WITH SCORE 208937.257
AT ITER 469 NEW BEST:: SOT 610270 SOS 279081 HAS SOPS 279081 HAS SOUS 208570 HAS SOUPS 208570 WITH SCORE 208849.081
AT ITER 475 NEW BEST:: SOT 609930 SOS 278748 HAS SOPS 278748 HAS SOUS 208501 HAS SOUPS 208501 WITH SCORE 208779.748
AT ITER 476 NEW BEST:: SOT 609832 SOS 278650 HAS SOPS 278650 HAS SOUS 208403 HAS SOUPS 208403 WITH SCORE 208681.65
AT ITER 482 NEW BEST:: SOT 609754 SOS 278494 HAS SOPS 278494 HAS SOUS 208325 HAS SOUPS 208325 WITH SCORE 208603.494
AT ITER 483 NEW BEST:: SOT 609544 SOS 278074 HAS SOPS 278074 HAS SOUS 208115 HAS SOUPS 208115 WITH SCORE 208393.074
AT ITER 486 NEW BEST:: SOT 609142 SOS 277270 HAS SOPS 277270 HAS SOUS 207555 HAS SOUPS 207555 WITH SCORE 207832.27
AT ITER 488 NEW BEST:: SOT 609426 SOS 277320 HAS SOPS 277320 HAS SOUS 207506 HAS SOUPS 207506 WITH SCORE 207783.32
AT ITER 489 NEW BEST:: SOT 609358 SOS 276914 HAS SOPS 276914 HAS SOUS 207358 HAS SOUPS 207358 WITH SCORE 207634.914
AT ITER 496 NEW BEST:: SOT 609302 SOS 276540 HAS SOPS 276540 HAS SOUS 207318 HAS SOUPS 207318 WITH SCORE 207594.54
AT ITER 502 NEW BEST:: SOT 609335 SOS 275966 HAS SOPS 275966 HAS SOUS 207172 HAS SOUPS 207172 WITH SCORE 207447.966
AT ITER 507 NEW BEST:: SOT 606991 SOS 274505 HAS SOPS 274505 HAS SOUS 205021 HAS SOUPS 205021 WITH SCORE 205295.505
AT ITER 512 NEW BEST:: SOT 606991 SOS 274202 HAS SOPS 274202 HAS SOUS 204882 HAS SOUPS 204882 WITH SCORE 205156.202
AT ITER 513 NEW BEST:: SOT 607120 SOS 274264 HAS SOPS 274264 HAS SOUS 204825 HAS SOUPS 204825 WITH SCORE 205099.264
AT ITER 515 NEW BEST:: SOT 606975 SOS 274119 HAS SOPS 274119 HAS SOUS 204680 HAS SOUPS 204680 WITH SCORE 204954.119
AT ITER 518 NEW BEST:: SOT 606484 SOS 273336 HAS SOPS 273336 HAS SOUS 204046 HAS SOUPS 204046 WITH SCORE 204319.336
AT ITER 520 NEW BEST:: SOT 606483 SOS 273310 HAS SOPS 273310 HAS SOUS 204045 HAS SOUPS 204045 WITH SCORE 204318.31
AT ITER 522 NEW BEST:: SOT 606235 SOS 273103 HAS SOPS 273103 HAS SOUS 203960 HAS SOUPS 203960 WITH SCORE 204233.103
AT ITER 532 NEW BEST:: SOT 605987 SOS 272359 HAS SOPS 272359 HAS SOUS 203402 HAS SOUPS 203402 WITH SCORE 203674.359
AT ITER 537 NEW BEST:: SOT 605987 SOS 272299 HAS SOPS 272299 HAS SOUS 203282 HAS SOUPS 203282 WITH SCORE 203554.299
AT ITER 538 NEW BEST:: SOT 606043 SOS 271944 HAS SOPS 271944 HAS SOUS 202998 HAS SOUPS 202998 WITH SCORE 203269.944
AT ITER 541 NEW BEST:: SOT 605858 SOS 271232 HAS SOPS 271232 HAS SOUS 202516 HAS SOUPS 202516 WITH SCORE 202787.232
AT ITER 554 NEW BEST:: SOT 606153 SOS 271518 HAS SOPS 271518 HAS SOUS 202367 HAS SOUPS 202367 WITH SCORE 202638.518
AT ITER 559 NEW BEST:: SOT 606153 SOS 271518 HAS SOPS 271518 HAS SOUS 202297 HAS SOUPS 202297 WITH SCORE 202568.518
AT ITER 560 NEW BEST:: SOT 606041 SOS 271294 HAS SOPS 271294 HAS SOUS 202185 HAS SOUPS 202185 WITH SCORE 202456.294
AT ITER 562 NEW BEST:: SOT 606157 SOS 271410 HAS SOPS 271410 HAS SOUS 202159 HAS SOUPS 202159 WITH SCORE 202430.41
AT ITER 563 NEW BEST:: SOT 606029 SOS 271060 HAS SOPS 271060 HAS SOUS 202031 HAS SOUPS 202031 WITH SCORE 202302.06
AT ITER 574 NEW BEST:: SOT 606029 SOS 270969 HAS SOPS 270969 HAS SOUS 201940 HAS SOUPS 201940 WITH SCORE 202210.969
AT ITER 576 NEW BEST:: SOT 606037 SOS 271213 HAS SOPS 271213 HAS SOUS 201897 HAS SOUPS 201897 WITH SCORE 202168.213
AT ITER 577 NEW BEST:: SOT 606037 SOS 271213 HAS SOPS 271213 HAS SOUS 201891 HAS SOUPS 201891 WITH SCORE 202162.213
AT ITER 579 NEW BEST:: SOT 606023 SOS 271185 HAS SOPS 271185 HAS SOUS 201877 HAS SOUPS 201877 WITH SCORE 202148.185
AT ITER 582 NEW BEST:: SOT 606062 SOS 271263 HAS SOPS 271263 HAS SOUS 201800 HAS SOUPS 201800 WITH SCORE 202071.263
AT ITER 585 NEW BEST:: SOT 604472 SOS 269689 HAS SOPS 269689 HAS SOUS 200223 HAS SOUPS 200223 WITH SCORE 200492.689
AT ITER 589 NEW BEST:: SOT 604472 SOS 269485 HAS SOPS 269485 HAS SOUS 200019 HAS SOUPS 200019 WITH SCORE 200288.485
AT ITER 593 NEW BEST:: SOT 604472 SOS 269485 HAS SOPS 269485 HAS SOUS 199999 HAS SOUPS 199999 WITH SCORE 200268.485
AT ITER 595 NEW BEST:: SOT 602207 SOS 286726 HAS SOPS 286726 HAS SOUS 198412 HAS SOUPS 198412 WITH SCORE 198698.726
AT ITER 597 NEW BEST:: SOT 602119 SOS 286638 HAS SOPS 286638 HAS SOUS 198412 HAS SOUPS 198412 WITH SCORE 198698.638
AT ITER 598 NEW BEST:: SOT 601978 SOS 286368 HAS SOPS 286368 HAS SOUS 198283 HAS SOUPS 198283 WITH SCORE 198569.368
AT ITER 608 NEW BEST:: SOT 601569 SOS 285906 HAS SOPS 285906 HAS SOUS 198177 HAS SOUPS 198177 WITH SCORE 198462.906
AT ITER 611 NEW BEST:: SOT 601445 SOS 285782 HAS SOPS 285782 HAS SOUS 198053 HAS SOUPS 198053 WITH SCORE 198338.782
AT ITER 612 NEW BEST:: SOT 601377 SOS 285578 HAS SOPS 285578 HAS SOUS 197917 HAS SOUPS 197917 WITH SCORE 198202.578
AT ITER 630 NEW BEST:: SOT 601138 SOS 285100 HAS SOPS 285100 HAS SOUS 197678 HAS SOUPS 197678 WITH SCORE 197963.1
AT ITER 634 NEW BEST:: SOT 601007 SOS 284760 HAS SOPS 284760 HAS SOUS 197469 HAS SOUPS 197469 WITH SCORE 197753.76
AT ITER 640 NEW BEST:: SOT 601007 SOS 284760 HAS SOPS 284760 HAS SOUS 197052 HAS SOUPS 197052 WITH SCORE 197336.76
AT ITER 641 NEW BEST:: SOT 601007 SOS 284764 HAS SOPS 284764 HAS SOUS 196915 HAS SOUPS 196915 WITH SCORE 197199.764
AT ITER 671 NEW BEST:: SOT 600878 SOS 284596 HAS SOPS 284596 HAS SOUS 196871 HAS SOUPS 196871 WITH SCORE 197155.596
AT ITER 681 NEW BEST:: SOT 600862 SOS 284580 HAS SOPS 284580 HAS SOUS 196855 HAS SOUPS 196855 WITH SCORE 197139.58
AT ITER 683 NEW BEST:: SOT 600761 SOS 284403 HAS SOPS 284403 HAS SOUS 196749 HAS SOUPS 196749 WITH SCORE 197033.403
AT ITER 684 NEW BEST:: SOT 600761 SOS 284403 HAS SOPS 284403 HAS SOUS 196608 HAS SOUPS 196608 WITH SCORE 196892.403
AT ITER 686 NEW BEST:: SOT 600761 SOS 284403 HAS SOPS 284403 HAS SOUS 196607 HAS SOUPS 196607 WITH SCORE 196891.403
AT ITER 697 NEW BEST:: SOT 600737 SOS 284355 HAS SOPS 284355 HAS SOUS 196559 HAS SOUPS 196559 WITH SCORE 196843.355
AT ITER 701 NEW BEST:: SOT 600608 SOS 284097 HAS SOPS 284097 HAS SOUS 196179 HAS SOUPS 196179 WITH SCORE 196463.097
AT ITER 702 NEW BEST:: SOT 600633 SOS 283937 HAS SOPS 283937 HAS SOUS 196172 HAS SOUPS 196172 WITH SCORE 196455.937
AT ITER 715 NEW BEST:: SOT 600607 SOS 283859 HAS SOPS 283859 HAS SOUS 196094 HAS SOUPS 196094 WITH SCORE 196377.859
AT ITER 717 NEW BEST:: SOT 600525 SOS 283695 HAS SOPS 283695 HAS SOUS 196012 HAS SOUPS 196012 WITH SCORE 196295.695
AT ITER 719 NEW BEST:: SOT 600019 SOS 282936 HAS SOPS 282936 HAS SOUS 195253 HAS SOUPS 195253 WITH SCORE 195535.936
AT ITER 721 NEW BEST:: SOT 599956 SOS 282873 HAS SOPS 282873 HAS SOUS 195242 HAS SOUPS 195242 WITH SCORE 195524.873
AT ITER 727 NEW BEST:: SOT 599667 SOS 281763 HAS SOPS 281763 HAS SOUS 194715 HAS SOUPS 194715 WITH SCORE 194996.763
AT ITER 728 NEW BEST:: SOT 599664 SOS 281715 HAS SOPS 281715 HAS SOUS 194711 HAS SOUPS 194711 WITH SCORE 194992.715
AT ITER 733 NEW BEST:: SOT 599497 SOS 281350 HAS SOPS 281350 HAS SOUS 194547 HAS SOUPS 194547 WITH SCORE 194828.35
AT ITER 753 NEW BEST:: SOT 599438 SOS 281173 HAS SOPS 281173 HAS SOUS 194370 HAS SOUPS 194370 WITH SCORE 194651.173
AT ITER 762 NEW BEST:: SOT 599438 SOS 281105 HAS SOPS 281105 HAS SOUS 194278 HAS SOUPS 194278 WITH SCORE 194559.105
AT ITER 766 NEW BEST:: SOT 599435 SOS 281099 HAS SOPS 281099 HAS SOUS 194275 HAS SOUPS 194275 WITH SCORE 194556.099
AT ITER 773 NEW BEST:: SOT 599197 SOS 280861 HAS SOPS 280861 HAS SOUS 194275 HAS SOUPS 194275 WITH SCORE 194555.861
AT ITER 783 NEW BEST:: SOT 599477 SOS 280964 HAS SOPS 280964 HAS SOUS 193995 HAS SOUPS 193995 WITH SCORE 194275.964
AT ITER 790 NEW BEST:: SOT 599453 SOS 280595 HAS SOPS 280595 HAS SOUS 193869 HAS SOUPS 193869 WITH SCORE 194149.595
AT ITER 804 NEW BEST:: SOT 599378 SOS 279878 HAS SOPS 279878 HAS SOUS 193594 HAS SOUPS 193594 WITH SCORE 193873.878
AT ITER 807 NEW BEST:: SOT 599201 SOS 279428 HAS SOPS 279428 HAS SOUS 193125 HAS SOUPS 193125 WITH SCORE 193404.428
AT ITER 809 NEW BEST:: SOT 599127 SOS 279354 HAS SOPS 279354 HAS SOUS 193051 HAS SOUPS 193051 WITH SCORE 193330.354
AT ITER 811 NEW BEST:: SOT 599127 SOS 279257 HAS SOPS 279257 HAS SOUS 193008 HAS SOUPS 193008 WITH SCORE 193287.257
AT ITER 812 NEW BEST:: SOT 599127 SOS 278927 HAS SOPS 278927 HAS SOUS 192738 HAS SOUPS 192738 WITH SCORE 193016.927
AT ITER 819 NEW BEST:: SOT 585089 SOS 342177 HAS SOPS 342177 HAS SOUS 180180 HAS SOUPS 180180 WITH SCORE 180522.177
AT ITER 827 NEW BEST:: SOT 584856 SOS 341711 HAS SOPS 341711 HAS SOUS 180110 HAS SOUPS 180110 WITH SCORE 180451.711
AT ITER 838 NEW BEST:: SOT 584744 SOS 341487 HAS SOPS 341487 HAS SOUS 180091 HAS SOUPS 180091 WITH SCORE 180432.487
AT ITER 840 NEW BEST:: SOT 584739 SOS 341361 HAS SOPS 341361 HAS SOUS 179965 HAS SOUPS 179965 WITH SCORE 180306.361
AT ITER 841 NEW BEST:: SOT 584689 SOS 341261 HAS SOPS 341261 HAS SOUS 179895 HAS SOUPS 179895 WITH SCORE 180236.261
AT ITER 843 NEW BEST:: SOT 584689 SOS 341261 HAS SOPS 341261 HAS SOUS 179887 HAS SOUPS 179887 WITH SCORE 180228.261
AT ITER 846 NEW BEST:: SOT 584675 SOS 341247 HAS SOPS 341247 HAS SOUS 179859 HAS SOUPS 179859 WITH SCORE 180200.247
AT ITER 847 NEW BEST:: SOT 584675 SOS 340614 HAS SOPS 340614 HAS SOUS 179815 HAS SOUPS 179815 WITH SCORE 180155.614
AT ITER 849 NEW BEST:: SOT 584675 SOS 340614 HAS SOPS 340614 HAS SOUS 179665 HAS SOUPS 179665 WITH SCORE 180005.614
AT ITER 854 NEW BEST:: SOT 584199 SOS 340138 HAS SOPS 340138 HAS SOUS 179048 HAS SOUPS 179048 WITH SCORE 179388.138
AT ITER 858 NEW BEST:: SOT 583712 SOS 342332 HAS SOPS 342332 HAS SOUS 178712 HAS SOUPS 178712 WITH SCORE 179054.332
AT ITER 865 NEW BEST:: SOT 583542 SOS 342162 HAS SOPS 342162 HAS SOUS 178559 HAS SOUPS 178559 WITH SCORE 178901.162
AT ITER 872 NEW BEST:: SOT 583407 SOS 341892 HAS SOPS 341892 HAS SOUS 178444 HAS SOUPS 178444 WITH SCORE 178785.892
AT ITER 873 NEW BEST:: SOT 583407 SOS 340522 HAS SOPS 340522 HAS SOUS 177990 HAS SOUPS 177990 WITH SCORE 178330.522
AT ITER 878 NEW BEST:: SOT 583407 SOS 340522 HAS SOPS 340522 HAS SOUS 177952 HAS SOUPS 177952 WITH SCORE 178292.522
AT ITER 888 NEW BEST:: SOT 583436 SOS 340518 HAS SOPS 340518 HAS SOUS 177948 HAS SOUPS 177948 WITH SCORE 178288.518
AT ITER 891 NEW BEST:: SOT 583436 SOS 340439 HAS SOPS 340439 HAS SOUS 177792 HAS SOUPS 177792 WITH SCORE 178132.439
AT ITER 895 NEW BEST:: SOT 582926 SOS 339419 HAS SOPS 339419 HAS SOUS 177506 HAS SOUPS 177506 WITH SCORE 177845.419
AT ITER 896 NEW BEST:: SOT 582990 SOS 339483 HAS SOPS 339483 HAS SOUS 177440 HAS SOUPS 177440 WITH SCORE 177779.483
AT ITER 913 NEW BEST:: SOT 582761 SOS 339025 HAS SOPS 339025 HAS SOUS 176982 HAS SOUPS 176982 WITH SCORE 177321.025
AT ITER 920 NEW BEST:: SOT 582717 SOS 339202 HAS SOPS 339202 HAS SOUS 176870 HAS SOUPS 176870 WITH SCORE 177209.202
AT ITER 922 NEW BEST:: SOT 582019 SOS 338009 HAS SOPS 338009 HAS SOUS 176173 HAS SOUPS 176173 WITH SCORE 176511.009
AT ITER 923 NEW BEST:: SOT 581783 SOS 337481 HAS SOPS 337481 HAS SOUS 175788 HAS SOUPS 175788 WITH SCORE 176125.481
AT ITER 930 NEW BEST:: SOT 581791 SOS 337232 HAS SOPS 337232 HAS SOUS 175330 HAS SOUPS 175330 WITH SCORE 175667.232
AT ITER 934 NEW BEST:: SOT 581791 SOS 337232 HAS SOPS 337232 HAS SOUS 175328 HAS SOUPS 175328 WITH SCORE 175665.232
AT ITER 938 NEW BEST:: SOT 581565 SOS 337006 HAS SOPS 337006 HAS SOUS 175195 HAS SOUPS 175195 WITH SCORE 175532.006
AT ITER 940 NEW BEST:: SOT 581565 SOS 337006 HAS SOPS 337006 HAS SOUS 175193 HAS SOUPS 175193 WITH SCORE 175530.006
AT ITER 945 NEW BEST:: SOT 581513 SOS 336954 HAS SOPS 336954 HAS SOUS 175141 HAS SOUPS 175141 WITH SCORE 175477.954
AT ITER 947 NEW BEST:: SOT 581513 SOS 336954 HAS SOPS 336954 HAS SOUS 175136 HAS SOUPS 175136 WITH SCORE 175472.954
AT ITER 951 NEW BEST:: SOT 581513 SOS 336684 HAS SOPS 336684 HAS SOUS 174866 HAS SOUPS 174866 WITH SCORE 175202.684
AT ITER 964 NEW BEST:: SOT 581171 SOS 336326 HAS SOPS 336326 HAS SOUS 174569 HAS SOUPS 174569 WITH SCORE 174905.326
AT ITER 967 NEW BEST:: SOT 580820 SOS 335783 HAS SOPS 335783 HAS SOUS 174261 HAS SOUPS 174261 WITH SCORE 174596.783
AT ITER 971 NEW BEST:: SOT 580883 SOS 335836 HAS SOPS 335836 HAS SOUS 174229 HAS SOUPS 174229 WITH SCORE 174564.836
AT ITER 977 NEW BEST:: SOT 580883 SOS 335836 HAS SOPS 335836 HAS SOUS 174227 HAS SOUPS 174227 WITH SCORE 174562.836
AT ITER 993 NEW BEST:: SOT 580830 SOS 335654 HAS SOPS 335654 HAS SOUS 174181 HAS SOUPS 174181 WITH SCORE 174516.654
AT ITER 997 NEW BEST:: SOT 580720 SOS 335338 HAS SOPS 335338 HAS SOUS 173865 HAS SOUPS 173865 WITH SCORE 174200.338
AT ITER 1001 NEW BEST:: SOT 580720 SOS 335309 HAS SOPS 335309 HAS SOUS 173836 HAS SOUPS 173836 WITH SCORE 174171.309
AT ITER 1006 NEW BEST:: SOT 580693 SOS 335282 HAS SOPS 335282 HAS SOUS 173809 HAS SOUPS 173809 WITH SCORE 174144.282
AT ITER 1010 NEW BEST:: SOT 580729 SOS 335241 HAS SOPS 335241 HAS SOUS 173790 HAS SOUPS 173790 WITH SCORE 174125.241
AT ITER 1014 NEW BEST:: SOT 580729 SOS 335234 HAS SOPS 335234 HAS SOUS 173563 HAS SOUPS 173563 WITH SCORE 173898.234
AT ITER 1017 NEW BEST:: SOT 580654 SOS 335159 HAS SOPS 335159 HAS SOUS 173413 HAS SOUPS 173413 WITH SCORE 173748.159
AT ITER 1018 NEW BEST:: SOT 580548 SOS 334853 HAS SOPS 334853 HAS SOUS 173107 HAS SOUPS 173107 WITH SCORE 173441.853
AT ITER 1019 NEW BEST:: SOT 580539 SOS 334756 HAS SOPS 334756 HAS SOUS 173097 HAS SOUPS 173097 WITH SCORE 173431.756
AT ITER 1033 NEW BEST:: SOT 580612 SOS 332574 HAS SOPS 332574 HAS SOUS 172999 HAS SOUPS 172999 WITH SCORE 173331.574
AT ITER 1034 NEW BEST:: SOT 580612 SOS 332498 HAS SOPS 332498 HAS SOUS 172942 HAS SOUPS 172942 WITH SCORE 173274.498
AT ITER 1039 NEW BEST:: SOT 579981 SOS 331689 HAS SOPS 331689 HAS SOUS 172526 HAS SOUPS 172526 WITH SCORE 172857.689
AT ITER 1056 NEW BEST:: SOT 579719 SOS 331165 HAS SOPS 331165 HAS SOUS 172266 HAS SOUPS 172266 WITH SCORE 172597.165
AT ITER 1062 NEW BEST:: SOT 579604 SOS 331050 HAS SOPS 331050 HAS SOUS 172241 HAS SOUPS 172241 WITH SCORE 172572.05
AT ITER 1079 NEW BEST:: SOT 579648 SOS 331123 HAS SOPS 331123 HAS SOUS 172234 HAS SOUPS 172234 WITH SCORE 172565.123
AT ITER 1085 NEW BEST:: SOT 579452 SOS 330470 HAS SOPS 330470 HAS SOUS 171975 HAS SOUPS 171975 WITH SCORE 172305.47
AT ITER 1087 NEW BEST:: SOT 579497 SOS 330534 HAS SOPS 330534 HAS SOUS 171617 HAS SOUPS 171617 WITH SCORE 171947.534
AT ITER 1088 NEW BEST:: SOT 579497 SOS 330483 HAS SOPS 330483 HAS SOUS 171566 HAS SOUPS 171566 WITH SCORE 171896.483
AT ITER 1103 NEW BEST:: SOT 579414 SOS 330388 HAS SOPS 330388 HAS SOUS 171441 HAS SOUPS 171441 WITH SCORE 171771.388
AT ITER 1111 NEW BEST:: SOT 579242 SOS 329910 HAS SOPS 329910 HAS SOUS 171135 HAS SOUPS 171135 WITH SCORE 171464.91
AT ITER 1114 NEW BEST:: SOT 578451 SOS 332108 HAS SOPS 332108 HAS SOUS 171051 HAS SOUPS 171051 WITH SCORE 171383.108
AT ITER 1123 NEW BEST:: SOT 578451 SOS 331953 HAS SOPS 331953 HAS SOUS 170896 HAS SOUPS 170896 WITH SCORE 171227.953
AT ITER 1126 NEW BEST:: SOT 578442 SOS 331944 HAS SOPS 331944 HAS SOUS 170896 HAS SOUPS 170896 WITH SCORE 171227.944
AT ITER 1127 NEW BEST:: SOT 578416 SOS 331892 HAS SOPS 331892 HAS SOUS 170844 HAS SOUPS 170844 WITH SCORE 171175.892
AT ITER 1135 NEW BEST:: SOT 578353 SOS 331829 HAS SOPS 331829 HAS SOUS 170781 HAS SOUPS 170781 WITH SCORE 171112.829
AT ITER 1144 NEW BEST:: SOT 577819 SOS 332096 HAS SOPS 332096 HAS SOUS 170386 HAS SOUPS 170386 WITH SCORE 170718.096
AT ITER 1145 NEW BEST:: SOT 577819 SOS 332074 HAS SOPS 332074 HAS SOUS 170375 HAS SOUPS 170375 WITH SCORE 170707.074
AT ITER 1146 NEW BEST:: SOT 577780 SOS 331996 HAS SOPS 331996 HAS SOUS 170336 HAS SOUPS 170336 WITH SCORE 170667.996
AT ITER 1148 NEW BEST:: SOT 577780 SOS 331980 HAS SOPS 331980 HAS SOUS 170317 HAS SOUPS 170317 WITH SCORE 170648.98
AT ITER 1156 NEW BEST:: SOT 577710 SOS 331840 HAS SOPS 331840 HAS SOUS 170247 HAS SOUPS 170247 WITH SCORE 170578.84
AT ITER 1157 NEW BEST:: SOT 577646 SOS 331744 HAS SOPS 331744 HAS SOUS 170183 HAS SOUPS 170183 WITH SCORE 170514.744
AT ITER 1168 NEW BEST:: SOT 577645 SOS 331358 HAS SOPS 331358 HAS SOUS 170097 HAS SOUPS 170097 WITH SCORE 170428.358
AT ITER 1170 NEW BEST:: SOT 577562 SOS 331192 HAS SOPS 331192 HAS SOUS 169986 HAS SOUPS 169986 WITH SCORE 170317.192
AT ITER 1172 NEW BEST:: SOT 577522 SOS 330466 HAS SOPS 330466 HAS SOUS 169828 HAS SOUPS 169828 WITH SCORE 170158.466
AT ITER 1188 NEW BEST:: SOT 577522 SOS 330459 HAS SOPS 330459 HAS SOUS 169827 HAS SOUPS 169827 WITH SCORE 170157.459
AT ITER 1192 NEW BEST:: SOT 577507 SOS 330424 HAS SOPS 330424 HAS SOUS 169805 HAS SOUPS 169805 WITH SCORE 170135.424
AT ITER 1193 NEW BEST:: SOT 575342 SOS 330501 HAS SOPS 330501 HAS SOUS 167913 HAS SOUPS 167913 WITH SCORE 168243.501
AT ITER 1196 NEW BEST:: SOT 575342 SOS 330141 HAS SOPS 330141 HAS SOUS 167913 HAS SOUPS 167913 WITH SCORE 168243.141
AT ITER 1198 NEW BEST:: SOT 575342 SOS 330141 HAS SOPS 330141 HAS SOUS 167911 HAS SOUPS 167911 WITH SCORE 168241.141
AT ITER 1201 NEW BEST:: SOT 575302 SOS 329831 HAS SOPS 329831 HAS SOUS 167886 HAS SOUPS 167886 WITH SCORE 168215.831
AT ITER 1205 NEW BEST:: SOT 575330 SOS 329546 HAS SOPS 329546 HAS SOUS 167601 HAS SOUPS 167601 WITH SCORE 167930.546
AT ITER 1208 NEW BEST:: SOT 575283 SOS 329287 HAS SOPS 329287 HAS SOUS 167414 HAS SOUPS 167414 WITH SCORE 167743.287
AT ITER 1210 NEW BEST:: SOT 575222 SOS 329043 HAS SOPS 329043 HAS SOUS 167353 HAS SOUPS 167353 WITH SCORE 167682.043
AT ITER 1219 NEW BEST:: SOT 575215 SOS 328911 HAS SOPS 328911 HAS SOUS 167280 HAS SOUPS 167280 WITH SCORE 167608.911
AT ITER 1221 NEW BEST:: SOT 575149 SOS 328779 HAS SOPS 328779 HAS SOUS 167181 HAS SOUPS 167181 WITH SCORE 167509.779
AT ITER 1222 NEW BEST:: SOT 575190 SOS 328612 HAS SOPS 328612 HAS SOUS 167014 HAS SOUPS 167014 WITH SCORE 167342.612
AT ITER 1225 NEW BEST:: SOT 575054 SOS 328476 HAS SOPS 328476 HAS SOUS 166878 HAS SOUPS 166878 WITH SCORE 167206.476
AT ITER 1227 NEW BEST:: SOT 575035 SOS 328457 HAS SOPS 328457 HAS SOUS 166859 HAS SOUPS 166859 WITH SCORE 167187.457
AT ITER 1233 NEW BEST:: SOT 574820 SOS 328242 HAS SOPS 328242 HAS SOUS 166644 HAS SOUPS 166644 WITH SCORE 166972.242
AT ITER 1234 NEW BEST:: SOT 574622 SOS 328116 HAS SOPS 328116 HAS SOUS 166614 HAS SOUPS 166614 WITH SCORE 166942.116
AT ITER 1237 NEW BEST:: SOT 574326 SOS 327710 HAS SOPS 327710 HAS SOUS 166318 HAS SOUPS 166318 WITH SCORE 166645.71
AT ITER 1244 NEW BEST:: SOT 574087 SOS 327471 HAS SOPS 327471 HAS SOUS 166079 HAS SOUPS 166079 WITH SCORE 166406.471
AT ITER 1246 NEW BEST:: SOT 573924 SOS 327238 HAS SOPS 327238 HAS SOUS 165872 HAS SOUPS 165872 WITH SCORE 166199.238
AT ITER 1261 NEW BEST:: SOT 573742 SOS 326909 HAS SOPS 326909 HAS SOUS 165543 HAS SOUPS 165543 WITH SCORE 165869.909
AT ITER 1262 NEW BEST:: SOT 573742 SOS 326818 HAS SOPS 326818 HAS SOUS 165495 HAS SOUPS 165495 WITH SCORE 165821.818
AT ITER 1268 NEW BEST:: SOT 573742 SOS 326610 HAS SOPS 326610 HAS SOUS 165486 HAS SOUPS 165486 WITH SCORE 165812.61
AT ITER 1273 NEW BEST:: SOT 573728 SOS 326582 HAS SOPS 326582 HAS SOUS 165458 HAS SOUPS 165458 WITH SCORE 165784.582
AT ITER 1277 NEW BEST:: SOT 573597 SOS 326451 HAS SOPS 326451 HAS SOUS 165327 HAS SOUPS 165327 WITH SCORE 165653.451
AT ITER 1289 NEW BEST:: SOT 573512 SOS 326274 HAS SOPS 326274 HAS SOUS 165165 HAS SOUPS 165165 WITH SCORE 165491.274
AT ITER 1291 NEW BEST:: SOT 573579 SOS 326222 HAS SOPS 326222 HAS SOUS 165113 HAS SOUPS 165113 WITH SCORE 165439.222
AT ITER 1301 NEW BEST:: SOT 573337 SOS 325880 HAS SOPS 325880 HAS SOUS 165001 HAS SOUPS 165001 WITH SCORE 165326.88
AT ITER 1310 NEW BEST:: SOT 573296 SOS 325798 HAS SOPS 325798 HAS SOUS 164919 HAS SOUPS 164919 WITH SCORE 165244.798
AT ITER 1312 NEW BEST:: SOT 573024 SOS 325344 HAS SOPS 325344 HAS SOUS 164636 HAS SOUPS 164636 WITH SCORE 164961.344
AT ITER 1313 NEW BEST:: SOT 573147 SOS 325467 HAS SOPS 325467 HAS SOUS 164635 HAS SOUPS 164635 WITH SCORE 164960.467
AT ITER 1314 NEW BEST:: SOT 573147 SOS 325416 HAS SOPS 325416 HAS SOUS 164535 HAS SOUPS 164535 WITH SCORE 164860.416
AT ITER 1317 NEW BEST:: SOT 573147 SOS 325416 HAS SOPS 325416 HAS SOUS 164534 HAS SOUPS 164534 WITH SCORE 164859.416
AT ITER 1334 NEW BEST:: SOT 573135 SOS 325005 HAS SOPS 325005 HAS SOUS 164510 HAS SOUPS 164510 WITH SCORE 164835.005
AT ITER 1336 NEW BEST:: SOT 573135 SOS 325005 HAS SOPS 325005 HAS SOUS 164469 HAS SOUPS 164469 WITH SCORE 164794.005
AT ITER 1342 NEW BEST:: SOT 573135 SOS 325005 HAS SOPS 325005 HAS SOUS 164415 HAS SOUPS 164415 WITH SCORE 164740.005
AT ITER 1349 NEW BEST:: SOT 573237 SOS 325093 HAS SOPS 325093 HAS SOUS 164401 HAS SOUPS 164401 WITH SCORE 164726.093
AT ITER 1360 NEW BEST:: SOT 573236 SOS 325091 HAS SOPS 325091 HAS SOUS 164400 HAS SOUPS 164400 WITH SCORE 164725.091
AT ITER 1366 NEW BEST:: SOT 573197 SOS 325310 HAS SOPS 325310 HAS SOUS 164374 HAS SOUPS 164374 WITH SCORE 164699.31
AT ITER 1371 NEW BEST:: SOT 573178 SOS 324479 HAS SOPS 324479 HAS SOUS 164260 HAS SOUPS 164260 WITH SCORE 164584.479
AT ITER 1377 NEW BEST:: SOT 573178 SOS 324416 HAS SOPS 324416 HAS SOUS 164197 HAS SOUPS 164197 WITH SCORE 164521.416
AT ITER 1378 NEW BEST:: SOT 573178 SOS 324382 HAS SOPS 324382 HAS SOUS 164177 HAS SOUPS 164177 WITH SCORE 164501.382
AT ITER 1380 NEW BEST:: SOT 573178 SOS 324254 HAS SOPS 324254 HAS SOUS 164074 HAS SOUPS 164074 WITH SCORE 164398.254
AT ITER 1382 NEW BEST:: SOT 573116 SOS 324130 HAS SOPS 324130 HAS SOUS 163995 HAS SOUPS 163995 WITH SCORE 164319.13
AT ITER 1388 NEW BEST:: SOT 573349 SOS 324596 HAS SOPS 324596 HAS SOUS 163918 HAS SOUPS 163918 WITH SCORE 164242.596
AT ITER 1389 NEW BEST:: SOT 573207 SOS 324313 HAS SOPS 324313 HAS SOUS 163759 HAS SOUPS 163759 WITH SCORE 164083.313
AT ITER 1393 NEW BEST:: SOT 573115 SOS 324091 HAS SOPS 324091 HAS SOUS 163602 HAS SOUPS 163602 WITH SCORE 163926.091
AT ITER 1394 NEW BEST:: SOT 573011 SOS 323883 HAS SOPS 323883 HAS SOUS 163498 HAS SOUPS 163498 WITH SCORE 163821.883
AT ITER 1397 NEW BEST:: SOT 573011 SOS 323871 HAS SOPS 323871 HAS SOUS 163474 HAS SOUPS 163474 WITH SCORE 163797.871
AT ITER 1399 NEW BEST:: SOT 572887 SOS 323681 HAS SOPS 323681 HAS SOUS 163397 HAS SOUPS 163397 WITH SCORE 163720.681
AT ITER 1401 NEW BEST:: SOT 572908 SOS 323723 HAS SOPS 323723 HAS SOUS 163356 HAS SOUPS 163356 WITH SCORE 163679.723
AT ITER 1405 NEW BEST:: SOT 572635 SOS 323323 HAS SOPS 323323 HAS SOUS 163128 HAS SOUPS 163128 WITH SCORE 163451.323
AT ITER 1411 NEW BEST:: SOT 572518 SOS 323089 HAS SOPS 323089 HAS SOUS 162894 HAS SOUPS 162894 WITH SCORE 163217.089
AT ITER 1414 NEW BEST:: SOT 572500 SOS 323062 HAS SOPS 323062 HAS SOUS 162876 HAS SOUPS 162876 WITH SCORE 163199.062
AT ITER 1424 NEW BEST:: SOT 572500 SOS 323048 HAS SOPS 323048 HAS SOUS 162862 HAS SOUPS 162862 WITH SCORE 163185.048
AT ITER 1428 NEW BEST:: SOT 572418 SOS 323023 HAS SOPS 323023 HAS SOUS 162698 HAS SOUPS 162698 WITH SCORE 163021.023
AT ITER 1431 NEW BEST:: SOT 571342 SOS 320301 HAS SOPS 320301 HAS SOUS 161077 HAS SOUPS 161077 WITH SCORE 161397.301
AT ITER 1438 NEW BEST:: SOT 570832 SOS 319943 HAS SOPS 319943 HAS SOUS 160935 HAS SOUPS 160935 WITH SCORE 161254.943
AT ITER 1442 NEW BEST:: SOT 570787 SOS 319853 HAS SOPS 319853 HAS SOUS 160845 HAS SOUPS 160845 WITH SCORE 161164.853
AT ITER 1443 NEW BEST:: SOT 570514 SOS 319580 HAS SOPS 319580 HAS SOUS 160845 HAS SOUPS 160845 WITH SCORE 161164.58
AT ITER 1448 NEW BEST:: SOT 570514 SOS 319580 HAS SOPS 319580 HAS SOUS 160713 HAS SOUPS 160713 WITH SCORE 161032.58
AT ITER 1456 NEW BEST:: SOT 570506 SOS 319555 HAS SOPS 319555 HAS SOUS 160697 HAS SOUPS 160697 WITH SCORE 161016.555
AT ITER 1457 NEW BEST:: SOT 570239 SOS 319234 HAS SOPS 319234 HAS SOUS 160553 HAS SOUPS 160553 WITH SCORE 160872.234
AT ITER 1464 NEW BEST:: SOT 570111 SOS 318752 HAS SOPS 318752 HAS SOUS 160158 HAS SOUPS 160158 WITH SCORE 160476.752
AT ITER 1468 NEW BEST:: SOT 570111 SOS 318748 HAS SOPS 318748 HAS SOUS 160158 HAS SOUPS 160158 WITH SCORE 160476.748
AT ITER 1499 NEW BEST:: SOT 570109 SOS 318784 HAS SOPS 318784 HAS SOUS 160156 HAS SOUPS 160156 WITH SCORE 160474.784
AT ITER 1500 NEW BEST:: SOT 570177 SOS 318920 HAS SOPS 318920 HAS SOUS 160154 HAS SOUPS 160154 WITH SCORE 160472.92
AT ITER 1507 NEW BEST:: SOT 569925 SOS 317877 HAS SOPS 317877 HAS SOUS 159664 HAS SOUPS 159664 WITH SCORE 159981.877
AT ITER 1510 NEW BEST:: SOT 570070 SOS 318167 HAS SOPS 318167 HAS SOUS 159628 HAS SOUPS 159628 WITH SCORE 159946.167
AT ITER 1514 NEW BEST:: SOT 568276 SOS 319299 HAS SOPS 319299 HAS SOUS 158530 HAS SOUPS 158530 WITH SCORE 158849.299
AT ITER 1524 NEW BEST:: SOT 568100 SOS 319123 HAS SOPS 319123 HAS SOUS 158421 HAS SOUPS 158421 WITH SCORE 158740.123
AT ITER 1528 NEW BEST:: SOT 568100 SOS 318971 HAS SOPS 318971 HAS SOUS 158421 HAS SOUPS 158421 WITH SCORE 158739.971
AT ITER 1534 NEW BEST:: SOT 568076 SOS 318923 HAS SOPS 318923 HAS SOUS 158391 HAS SOUPS 158391 WITH SCORE 158709.923
AT ITER 1535 NEW BEST:: SOT 568063 SOS 318964 HAS SOPS 318964 HAS SOUS 158364 HAS SOUPS 158364 WITH SCORE 158682.964
AT ITER 1537 NEW BEST:: SOT 567910 SOS 318811 HAS SOPS 318811 HAS SOUS 158136 HAS SOUPS 158136 WITH SCORE 158454.811
AT ITER 1539 NEW BEST:: SOT 567910 SOS 315550 HAS SOPS 315550 HAS SOUS 157971 HAS SOUPS 157971 WITH SCORE 158286.55
AT ITER 1545 NEW BEST:: SOT 567847 SOS 314566 HAS SOPS 314566 HAS SOUS 157908 HAS SOUPS 157908 WITH SCORE 158222.566
AT ITER 1550 NEW BEST:: SOT 567888 SOS 314368 HAS SOPS 314368 HAS SOUS 157733 HAS SOUPS 157733 WITH SCORE 158047.368
AT ITER 1552 NEW BEST:: SOT 567886 SOS 314364 HAS SOPS 314364 HAS SOUS 157708 HAS SOUPS 157708 WITH SCORE 158022.364
AT ITER 1563 NEW BEST:: SOT 567838 SOS 314268 HAS SOPS 314268 HAS SOUS 157660 HAS SOUPS 157660 WITH SCORE 157974.268
AT ITER 1565 NEW BEST:: SOT 567778 SOS 314208 HAS SOPS 314208 HAS SOUS 157660 HAS SOUPS 157660 WITH SCORE 157974.208
AT ITER 1566 NEW BEST:: SOT 567384 SOS 313562 HAS SOPS 313562 HAS SOUS 157266 HAS SOUPS 157266 WITH SCORE 157579.562
AT ITER 1567 NEW BEST:: SOT 566932 SOS 311935 HAS SOPS 311935 HAS SOUS 156871 HAS SOUPS 156871 WITH SCORE 157182.935
AT ITER 1568 NEW BEST:: SOT 566930 SOS 311933 HAS SOPS 311933 HAS SOUS 156869 HAS SOUPS 156869 WITH SCORE 157180.933
AT ITER 1577 NEW BEST:: SOT 566928 SOS 311929 HAS SOPS 311929 HAS SOUS 156867 HAS SOUPS 156867 WITH SCORE 157178.929
AT ITER 1580 NEW BEST:: SOT 566928 SOS 311929 HAS SOPS 311929 HAS SOUS 156755 HAS SOUPS 156755 WITH SCORE 157066.929
AT ITER 1582 NEW BEST:: SOT 566928 SOS 311849 HAS SOPS 311849 HAS SOUS 156675 HAS SOUPS 156675 WITH SCORE 156986.849
AT ITER 1584 NEW BEST:: SOT 566899 SOS 311433 HAS SOPS 311433 HAS SOUS 156391 HAS SOUPS 156391 WITH SCORE 156702.433
AT ITER 1589 NEW BEST:: SOT 566828 SOS 311433 HAS SOPS 311433 HAS SOUS 156320 HAS SOUPS 156320 WITH SCORE 156631.433
AT ITER 1590 NEW BEST:: SOT 566692 SOS 311297 HAS SOPS 311297 HAS SOUS 156184 HAS SOUPS 156184 WITH SCORE 156495.297
AT ITER 1602 NEW BEST:: SOT 566664 SOS 311285 HAS SOPS 311285 HAS SOUS 156172 HAS SOUPS 156172 WITH SCORE 156483.285
AT ITER 1605 NEW BEST:: SOT 566556 SOS 311069 HAS SOPS 311069 HAS SOUS 156064 HAS SOUPS 156064 WITH SCORE 156375.069
AT ITER 1606 NEW BEST:: SOT 566460 SOS 310925 HAS SOPS 310925 HAS SOUS 155968 HAS SOUPS 155968 WITH SCORE 156278.925
AT ITER 1610 NEW BEST:: SOT 566026 SOS 310457 HAS SOPS 310457 HAS SOUS 155900 HAS SOUPS 155900 WITH SCORE 156210.457
AT ITER 1611 NEW BEST:: SOT 566026 SOS 310457 HAS SOPS 310457 HAS SOUS 155896 HAS SOUPS 155896 WITH SCORE 156206.457
AT ITER 1618 NEW BEST:: SOT 565983 SOS 310371 HAS SOPS 310371 HAS SOUS 155810 HAS SOUPS 155810 WITH SCORE 156120.371
AT ITER 1623 NEW BEST:: SOT 565937 SOS 310325 HAS SOPS 310325 HAS SOUS 155764 HAS SOUPS 155764 WITH SCORE 156074.325
AT ITER 1627 NEW BEST:: SOT 565937 SOS 310116 HAS SOPS 310116 HAS SOUS 155462 HAS SOUPS 155462 WITH SCORE 155772.116
AT ITER 1633 NEW BEST:: SOT 565900 SOS 310042 HAS SOPS 310042 HAS SOUS 155425 HAS SOUPS 155425 WITH SCORE 155735.042
AT ITER 1636 NEW BEST:: SOT 565930 SOS 310102 HAS SOPS 310102 HAS SOUS 155393 HAS SOUPS 155393 WITH SCORE 155703.102
AT ITER 1638 NEW BEST:: SOT 565889 SOS 309979 HAS SOPS 309979 HAS SOUS 155311 HAS SOUPS 155311 WITH SCORE 155620.979
AT ITER 1646 NEW BEST:: SOT 565763 SOS 309853 HAS SOPS 309853 HAS SOUS 155197 HAS SOUPS 155197 WITH SCORE 155506.853
AT ITER 1652 NEW BEST:: SOT 565763 SOS 309853 HAS SOPS 309853 HAS SOUS 155179 HAS SOUPS 155179 WITH SCORE 155488.853
AT ITER 1654 NEW BEST:: SOT 565759 SOS 309779 HAS SOPS 309779 HAS SOUS 155096 HAS SOUPS 155096 WITH SCORE 155405.779
AT ITER 1664 NEW BEST:: SOT 565619 SOS 309529 HAS SOPS 309529 HAS SOUS 154980 HAS SOUPS 154980 WITH SCORE 155289.529
AT ITER 1667 NEW BEST:: SOT 565565 SOS 309421 HAS SOPS 309421 HAS SOUS 154926 HAS SOUPS 154926 WITH SCORE 155235.421
AT ITER 1668 NEW BEST:: SOT 565556 SOS 309412 HAS SOPS 309412 HAS SOUS 154917 HAS SOUPS 154917 WITH SCORE 155226.412
AT ITER 1672 NEW BEST:: SOT 565554 SOS 309408 HAS SOPS 309408 HAS SOUS 154913 HAS SOUPS 154913 WITH SCORE 155222.408
AT ITER 1673 NEW BEST:: SOT 565733 SOS 309737 HAS SOPS 309737 HAS SOUS 154721 HAS SOUPS 154721 WITH SCORE 155030.737
AT ITER 1677 NEW BEST:: SOT 565526 SOS 309693 HAS SOPS 309693 HAS SOUS 154677 HAS SOUPS 154677 WITH SCORE 154986.693
AT ITER 1678 NEW BEST:: SOT 564916 SOS 309126 HAS SOPS 309126 HAS SOUS 154169 HAS SOUPS 154169 WITH SCORE 154478.126
AT ITER 1683 NEW BEST:: SOT 564916 SOS 309068 HAS SOPS 309068 HAS SOUS 154092 HAS SOUPS 154092 WITH SCORE 154401.068
AT ITER 1692 NEW BEST:: SOT 565004 SOS 308937 HAS SOPS 308937 HAS SOUS 154046 HAS SOUPS 154046 WITH SCORE 154354.937
AT ITER 1696 NEW BEST:: SOT 564796 SOS 309873 HAS SOPS 309873 HAS SOUS 154045 HAS SOUPS 154045 WITH SCORE 154354.873
AT ITER 1698 NEW BEST:: SOT 564761 SOS 309838 HAS SOPS 309838 HAS SOUS 153975 HAS SOUPS 153975 WITH SCORE 154284.838
AT ITER 1700 NEW BEST:: SOT 564819 SOS 309881 HAS SOPS 309881 HAS SOUS 153960 HAS SOUPS 153960 WITH SCORE 154269.881
AT ITER 1707 NEW BEST:: SOT 564827 SOS 309522 HAS SOPS 309522 HAS SOUS 153945 HAS SOUPS 153945 WITH SCORE 154254.522
AT ITER 1708 NEW BEST:: SOT 564782 SOS 309432 HAS SOPS 309432 HAS SOUS 153900 HAS SOUPS 153900 WITH SCORE 154209.432
AT ITER 1714 NEW BEST:: SOT 564777 SOS 309183 HAS SOPS 309183 HAS SOUS 153816 HAS SOUPS 153816 WITH SCORE 154125.183
AT ITER 1718 NEW BEST:: SOT 564777 SOS 309182 HAS SOPS 309182 HAS SOUS 153814 HAS SOUPS 153814 WITH SCORE 154123.182
AT ITER 1719 NEW BEST:: SOT 565019 SOS 309206 HAS SOPS 309206 HAS SOUS 153636 HAS SOUPS 153636 WITH SCORE 153945.206
AT ITER 1724 NEW BEST:: SOT 565011 SOS 309066 HAS SOPS 309066 HAS SOUS 153513 HAS SOUPS 153513 WITH SCORE 153822.066
AT ITER 1725 NEW BEST:: SOT 564876 SOS 308931 HAS SOPS 308931 HAS SOUS 153389 HAS SOUPS 153389 WITH SCORE 153697.931
AT ITER 1734 NEW BEST:: SOT 565014 SOS 309037 HAS SOPS 309037 HAS SOUS 153130 HAS SOUPS 153130 WITH SCORE 153439.037
AT ITER 1743 NEW BEST:: SOT 565014 SOS 309062 HAS SOPS 309062 HAS SOUS 152990 HAS SOUPS 152990 WITH SCORE 153299.062
AT ITER 1749 NEW BEST:: SOT 565060 SOS 309154 HAS SOPS 309154 HAS SOUS 152861 HAS SOUPS 152861 WITH SCORE 153170.154
AT ITER 1751 NEW BEST:: SOT 565007 SOS 309101 HAS SOPS 309101 HAS SOUS 152808 HAS SOUPS 152808 WITH SCORE 153117.101
AT ITER 1769 NEW BEST:: SOT 564839 SOS 308933 HAS SOPS 308933 HAS SOUS 152778 HAS SOUPS 152778 WITH SCORE 153086.933
AT ITER 1771 NEW BEST:: SOT 564835 SOS 308925 HAS SOPS 308925 HAS SOUS 152770 HAS SOUPS 152770 WITH SCORE 153078.925
AT ITER 1784 NEW BEST:: SOT 564835 SOS 308925 HAS SOPS 308925 HAS SOUS 152767 HAS SOUPS 152767 WITH SCORE 153075.925
AT ITER 1788 NEW BEST:: SOT 564909 SOS 309038 HAS SOPS 309038 HAS SOUS 152737 HAS SOUPS 152737 WITH SCORE 153046.038
AT ITER 1796 NEW BEST:: SOT 565093 SOS 308702 HAS SOPS 308702 HAS SOUS 152420 HAS SOUPS 152420 WITH SCORE 152728.702
AT ITER 1797 NEW BEST:: SOT 565008 SOS 308176 HAS SOPS 308176 HAS SOUS 152149 HAS SOUPS 152149 WITH SCORE 152457.176
AT ITER 1804 NEW BEST:: SOT 565008 SOS 308103 HAS SOPS 308103 HAS SOUS 152149 HAS SOUPS 152149 WITH SCORE 152457.103
AT ITER 1806 NEW BEST:: SOT 564815 SOS 307717 HAS SOPS 307717 HAS SOUS 151956 HAS SOUPS 151956 WITH SCORE 152263.717
AT ITER 1807 NEW BEST:: SOT 564902 SOS 307731 HAS SOPS 307731 HAS SOUS 151915 HAS SOUPS 151915 WITH SCORE 152222.731
AT ITER 1808 NEW BEST:: SOT 564876 SOS 307692 HAS SOPS 307692 HAS SOUS 151876 HAS SOUPS 151876 WITH SCORE 152183.692
AT ITER 1810 NEW BEST:: SOT 564876 SOS 307620 HAS SOPS 307620 HAS SOUS 151804 HAS SOUPS 151804 WITH SCORE 152111.62
AT ITER 1812 NEW BEST:: SOT 564721 SOS 307465 HAS SOPS 307465 HAS SOUS 151804 HAS SOUPS 151804 WITH SCORE 152111.465
AT ITER 1818 NEW BEST:: SOT 565024 SOS 307728 HAS SOPS 307728 HAS SOUS 151764 HAS SOUPS 151764 WITH SCORE 152071.728
AT ITER 1821 NEW BEST:: SOT 565002 SOS 307684 HAS SOPS 307684 HAS SOUS 151742 HAS SOUPS 151742 WITH SCORE 152049.684
AT ITER 1827 NEW BEST:: SOT 564820 SOS 307502 HAS SOPS 307502 HAS SOUS 151471 HAS SOUPS 151471 WITH SCORE 151778.502
AT ITER 1834 NEW BEST:: SOT 564812 SOS 307717 HAS SOPS 307717 HAS SOUS 151392 HAS SOUPS 151392 WITH SCORE 151699.717
AT ITER 1836 NEW BEST:: SOT 564775 SOS 307643 HAS SOPS 307643 HAS SOUS 151355 HAS SOUPS 151355 WITH SCORE 151662.643
AT ITER 1846 NEW BEST:: SOT 564720 SOS 307499 HAS SOPS 307499 HAS SOUS 151331 HAS SOUPS 151331 WITH SCORE 151638.499
AT ITER 1847 NEW BEST:: SOT 564714 SOS 307481 HAS SOPS 307481 HAS SOUS 151319 HAS SOUPS 151319 WITH SCORE 151626.481
AT ITER 1849 NEW BEST:: SOT 564686 SOS 307453 HAS SOPS 307453 HAS SOUS 151291 HAS SOUPS 151291 WITH SCORE 151598.453
AT ITER 1856 NEW BEST:: SOT 564606 SOS 306777 HAS SOPS 306777 HAS SOUS 151104 HAS SOUPS 151104 WITH SCORE 151410.777
AT ITER 1864 NEW BEST:: SOT 564602 SOS 306773 HAS SOPS 306773 HAS SOUS 151100 HAS SOUPS 151100 WITH SCORE 151406.773
AT ITER 1871 NEW BEST:: SOT 564621 SOS 306587 HAS SOPS 306587 HAS SOUS 150933 HAS SOUPS 150933 WITH SCORE 151239.587
AT ITER 1877 NEW BEST:: SOT 564495 SOS 306789 HAS SOPS 306789 HAS SOUS 150807 HAS SOUPS 150807 WITH SCORE 151113.789
AT ITER 1895 NEW BEST:: SOT 564447 SOS 306693 HAS SOPS 306693 HAS SOUS 150759 HAS SOUPS 150759 WITH SCORE 151065.693
AT ITER 1898 NEW BEST:: SOT 564348 SOS 306496 HAS SOPS 306496 HAS SOUS 150660 HAS SOUPS 150660 WITH SCORE 150966.496
AT ITER 1913 NEW BEST:: SOT 564348 SOS 306183 HAS SOPS 306183 HAS SOUS 150602 HAS SOUPS 150602 WITH SCORE 150908.183
AT ITER 1918 NEW BEST:: SOT 564331 SOS 306171 HAS SOPS 306171 HAS SOUS 150585 HAS SOUPS 150585 WITH SCORE 150891.171
AT ITER 1923 NEW BEST:: SOT 564331 SOS 305799 HAS SOPS 305799 HAS SOUS 150529 HAS SOUPS 150529 WITH SCORE 150834.799
AT ITER 1930 NEW BEST:: SOT 564481 SOS 305879 HAS SOPS 305879 HAS SOUS 150391 HAS SOUPS 150391 WITH SCORE 150696.879
AT ITER 1932 NEW BEST:: SOT 564481 SOS 305877 HAS SOPS 305877 HAS SOUS 150390 HAS SOUPS 150390 WITH SCORE 150695.877
AT ITER 1936 NEW BEST:: SOT 564144 SOS 305439 HAS SOPS 305439 HAS SOUS 150188 HAS SOUPS 150188 WITH SCORE 150493.439
AT ITER 1938 NEW BEST:: SOT 564087 SOS 305382 HAS SOPS 305382 HAS SOUS 150188 HAS SOUPS 150188 WITH SCORE 150493.382
AT ITER 1942 NEW BEST:: SOT 564008 SOS 305039 HAS SOPS 305039 HAS SOUS 150109 HAS SOUPS 150109 WITH SCORE 150414.039
AT ITER 1943 NEW BEST:: SOT 563904 SOS 304892 HAS SOPS 304892 HAS SOUS 149966 HAS SOUPS 149966 WITH SCORE 150270.892
AT ITER 1947 NEW BEST:: SOT 563901 SOS 304884 HAS SOPS 304884 HAS SOUS 149883 HAS SOUPS 149883 WITH SCORE 150187.884
AT ITER 1953 NEW BEST:: SOT 564069 SOS 304957 HAS SOPS 304957 HAS SOUS 149856 HAS SOUPS 149856 WITH SCORE 150160.957
AT ITER 1957 NEW BEST:: SOT 563812 SOS 304464 HAS SOPS 304464 HAS SOUS 149510 HAS SOUPS 149510 WITH SCORE 149814.464
AT ITER 1958 NEW BEST:: SOT 563805 SOS 304450 HAS SOPS 304450 HAS SOUS 149496 HAS SOUPS 149496 WITH SCORE 149800.45
AT ITER 1966 NEW BEST:: SOT 563805 SOS 304450 HAS SOPS 304450 HAS SOUS 149470 HAS SOUPS 149470 WITH SCORE 149774.45
AT ITER 1968 NEW BEST:: SOT 563800 SOS 304445 HAS SOPS 304445 HAS SOUS 149455 HAS SOUPS 149455 WITH SCORE 149759.445
AT ITER 1979 NEW BEST:: SOT 563790 SOS 304435 HAS SOPS 304435 HAS SOUS 149455 HAS SOUPS 149455 WITH SCORE 149759.435
AT ITER 1982 NEW BEST:: SOT 563915 SOS 304452 HAS SOPS 304452 HAS SOUS 149347 HAS SOUPS 149347 WITH SCORE 149651.452
AT ITER 1984 NEW BEST:: SOT 563971 SOS 304508 HAS SOPS 304508 HAS SOUS 149331 HAS SOUPS 149331 WITH SCORE 149635.508
AT ITER 1994 NEW BEST:: SOT 563961 SOS 304488 HAS SOPS 304488 HAS SOUS 149311 HAS SOUPS 149311 WITH SCORE 149615.488
AT ITER 2010 NEW BEST:: SOT 563961 SOS 304488 HAS SOPS 304488 HAS SOUS 149134 HAS SOUPS 149134 WITH SCORE 149438.488
AT ITER 2014 NEW BEST:: SOT 563974 SOS 304424 HAS SOPS 304424 HAS SOUS 149115 HAS SOUPS 149115 WITH SCORE 149419.424
AT ITER 2021 NEW BEST:: SOT 563903 SOS 304282 HAS SOPS 304282 HAS SOUS 148902 HAS SOUPS 148902 WITH SCORE 149206.282
AT ITER 2022 NEW BEST:: SOT 563789 SOS 304024 HAS SOPS 304024 HAS SOUS 148644 HAS SOUPS 148644 WITH SCORE 148948.024
AT ITER 2026 NEW BEST:: SOT 563612 SOS 303847 HAS SOPS 303847 HAS SOUS 148467 HAS SOUPS 148467 WITH SCORE 148770.847
AT ITER 2034 NEW BEST:: SOT 563392 SOS 303627 HAS SOPS 303627 HAS SOUS 148467 HAS SOUPS 148467 WITH SCORE 148770.627
AT ITER 2045 NEW BEST:: SOT 563311 SOS 303539 HAS SOPS 303539 HAS SOUS 148379 HAS SOUPS 148379 WITH SCORE 148682.539
AT ITER 2055 NEW BEST:: SOT 562671 SOS 303821 HAS SOPS 303821 HAS SOUS 148047 HAS SOUPS 148047 WITH SCORE 148350.821
AT ITER 2061 NEW BEST:: SOT 562575 SOS 303695 HAS SOPS 303695 HAS SOUS 147884 HAS SOUPS 147884 WITH SCORE 148187.695
AT ITER 2065 NEW BEST:: SOT 562540 SOS 303610 HAS SOPS 303610 HAS SOUS 147805 HAS SOUPS 147805 WITH SCORE 148108.61
AT ITER 2069 NEW BEST:: SOT 562641 SOS 303058 HAS SOPS 303058 HAS SOUS 147790 HAS SOUPS 147790 WITH SCORE 148093.058
AT ITER 2076 NEW BEST:: SOT 562641 SOS 303056 HAS SOPS 303056 HAS SOUS 147788 HAS SOUPS 147788 WITH SCORE 148091.056
AT ITER 2079 NEW BEST:: SOT 562631 SOS 303221 HAS SOPS 303221 HAS SOUS 147574 HAS SOUPS 147574 WITH SCORE 147877.221
AT ITER 2083 NEW BEST:: SOT 562298 SOS 302555 HAS SOPS 302555 HAS SOUS 147476 HAS SOUPS 147476 WITH SCORE 147778.555
AT ITER 2098 NEW BEST:: SOT 562298 SOS 302548 HAS SOPS 302548 HAS SOUS 147462 HAS SOUPS 147462 WITH SCORE 147764.548
AT ITER 2112 NEW BEST:: SOT 561958 SOS 303380 HAS SOPS 303380 HAS SOUS 147446 HAS SOUPS 147446 WITH SCORE 147749.38
AT ITER 2124 NEW BEST:: SOT 562435 SOS 302903 HAS SOPS 302903 HAS SOUS 147205 HAS SOUPS 147205 WITH SCORE 147507.903
AT ITER 2136 NEW BEST:: SOT 562435 SOS 302903 HAS SOPS 302903 HAS SOUS 147195 HAS SOUPS 147195 WITH SCORE 147497.903
AT ITER 2137 NEW BEST:: SOT 562066 SOS 302534 HAS SOPS 302534 HAS SOUS 147170 HAS SOUPS 147170 WITH SCORE 147472.534
AT ITER 2139 NEW BEST:: SOT 561733 SOS 301842 HAS SOPS 301842 HAS SOUS 146530 HAS SOUPS 146530 WITH SCORE 146831.842
AT ITER 2143 NEW BEST:: SOT 561731 SOS 301839 HAS SOPS 301839 HAS SOUS 146528 HAS SOUPS 146528 WITH SCORE 146829.839
AT ITER 2154 NEW BEST:: SOT 561731 SOS 301731 HAS SOPS 301731 HAS SOUS 146414 HAS SOUPS 146414 WITH SCORE 146715.731
AT ITER 2159 NEW BEST:: SOT 561621 SOS 301664 HAS SOPS 301664 HAS SOUS 146203 HAS SOUPS 146203 WITH SCORE 146504.664
AT ITER 2160 NEW BEST:: SOT 561676 SOS 301554 HAS SOPS 301554 HAS SOUS 146203 HAS SOUPS 146203 WITH SCORE 146504.554
AT ITER 2161 NEW BEST:: SOT 561676 SOS 301502 HAS SOPS 301502 HAS SOUS 146175 HAS SOUPS 146175 WITH SCORE 146476.502
AT ITER 2170 NEW BEST:: SOT 561641 SOS 301397 HAS SOPS 301397 HAS SOUS 146105 HAS SOUPS 146105 WITH SCORE 146406.397
AT ITER 2184 NEW BEST:: SOT 561629 SOS 301373 HAS SOPS 301373 HAS SOUS 145843 HAS SOUPS 145843 WITH SCORE 146144.373
AT ITER 2220 NEW BEST:: SOT 561543 SOS 300925 HAS SOPS 300925 HAS SOUS 145767 HAS SOUPS 145767 WITH SCORE 146067.925
AT ITER 2226 NEW BEST:: SOT 561543 SOS 300925 HAS SOPS 300925 HAS SOUS 145701 HAS SOUPS 145701 WITH SCORE 146001.925
AT ITER 2232 NEW BEST:: SOT 561585 SOS 300982 HAS SOPS 300982 HAS SOUS 145690 HAS SOUPS 145690 WITH SCORE 145990.982
AT ITER 2240 NEW BEST:: SOT 561585 SOS 300982 HAS SOPS 300982 HAS SOUS 145619 HAS SOUPS 145619 WITH SCORE 145919.982
AT ITER 2241 NEW BEST:: SOT 561585 SOS 300960 HAS SOPS 300960 HAS SOUS 145619 HAS SOUPS 145619 WITH SCORE 145919.96
AT ITER 2243 NEW BEST:: SOT 561459 SOS 300834 HAS SOPS 300834 HAS SOUS 145493 HAS SOUPS 145493 WITH SCORE 145793.834
AT ITER 2246 NEW BEST:: SOT 561446 SOS 300782 HAS SOPS 300782 HAS SOUS 145467 HAS SOUPS 145467 WITH SCORE 145767.782
AT ITER 2260 NEW BEST:: SOT 561466 SOS 300711 HAS SOPS 300711 HAS SOUS 145396 HAS SOUPS 145396 WITH SCORE 145696.711
AT ITER 2272 NEW BEST:: SOT 561466 SOS 300706 HAS SOPS 300706 HAS SOUS 145386 HAS SOUPS 145386 WITH SCORE 145686.706
AT ITER 2274 NEW BEST:: SOT 561153 SOS 300393 HAS SOPS 300393 HAS SOUS 145127 HAS SOUPS 145127 WITH SCORE 145427.393
AT ITER 2277 NEW BEST:: SOT 561153 SOS 300219 HAS SOPS 300219 HAS SOUS 144953 HAS SOUPS 144953 WITH SCORE 145253.219
AT ITER 2279 NEW BEST:: SOT 561081 SOS 300147 HAS SOPS 300147 HAS SOUS 144881 HAS SOUPS 144881 WITH SCORE 145181.147
AT ITER 2294 NEW BEST:: SOT 561070 SOS 300136 HAS SOPS 300136 HAS SOUS 144859 HAS SOUPS 144859 WITH SCORE 145159.136
AT ITER 2296 NEW BEST:: SOT 560959 SOS 300025 HAS SOPS 300025 HAS SOUS 144767 HAS SOUPS 144767 WITH SCORE 145067.025
AT ITER 2307 NEW BEST:: SOT 561127 SOS 299556 HAS SOPS 299556 HAS SOUS 144733 HAS SOUPS 144733 WITH SCORE 145032.556
AT ITER 2334 NEW BEST:: SOT 561127 SOS 299260 HAS SOPS 299260 HAS SOUS 144437 HAS SOUPS 144437 WITH SCORE 144736.26
AT ITER 2348 NEW BEST:: SOT 560565 SOS 298698 HAS SOPS 298698 HAS SOUS 144267 HAS SOUPS 144267 WITH SCORE 144565.698
AT ITER 2356 NEW BEST:: SOT 560563 SOS 298696 HAS SOPS 298696 HAS SOUS 144265 HAS SOUPS 144265 WITH SCORE 144563.696
AT ITER 2360 NEW BEST:: SOT 560365 SOS 297793 HAS SOPS 297793 HAS SOUS 143988 HAS SOUPS 143988 WITH SCORE 144285.793
AT ITER 2377 NEW BEST:: SOT 560274 SOS 297423 HAS SOPS 297423 HAS SOUS 143806 HAS SOUPS 143806 WITH SCORE 144103.423
AT ITER 2386 NEW BEST:: SOT 560267 SOS 297409 HAS SOPS 297409 HAS SOUS 143799 HAS SOUPS 143799 WITH SCORE 144096.409
AT ITER 2388 NEW BEST:: SOT 560236 SOS 296733 HAS SOPS 296733 HAS SOUS 143540 HAS SOUPS 143540 WITH SCORE 143836.733
AT ITER 2394 NEW BEST:: SOT 560219 SOS 296716 HAS SOPS 296716 HAS SOUS 143513 HAS SOUPS 143513 WITH SCORE 143809.716
AT ITER 2395 NEW BEST:: SOT 560219 SOS 296715 HAS SOPS 296715 HAS SOUS 143512 HAS SOUPS 143512 WITH SCORE 143808.715
AT ITER 2399 NEW BEST:: SOT 560124 SOS 296579 HAS SOPS 296579 HAS SOUS 143412 HAS SOUPS 143412 WITH SCORE 143708.579
AT ITER 2404 NEW BEST:: SOT 559927 SOS 296211 HAS SOPS 296211 HAS SOUS 143241 HAS SOUPS 143241 WITH SCORE 143537.211
AT ITER 2409 NEW BEST:: SOT 558128 SOS 298871 HAS SOPS 298871 HAS SOUS 142714 HAS SOUPS 142714 WITH SCORE 143012.871
AT ITER 2424 NEW BEST:: SOT 558128 SOS 298871 HAS SOPS 298871 HAS SOUS 142694 HAS SOUPS 142694 WITH SCORE 142992.871
AT ITER 2441 NEW BEST:: SOT 558128 SOS 298585 HAS SOPS 298585 HAS SOUS 142637 HAS SOUPS 142637 WITH SCORE 142935.585
AT ITER 2443 NEW BEST:: SOT 557806 SOS 297835 HAS SOPS 297835 HAS SOUS 142181 HAS SOUPS 142181 WITH SCORE 142478.835
AT ITER 2466 NEW BEST:: SOT 557662 SOS 297403 HAS SOPS 297403 HAS SOUS 141749 HAS SOUPS 141749 WITH SCORE 142046.403
AT ITER 2467 NEW BEST:: SOT 557606 SOS 297167 HAS SOPS 297167 HAS SOUS 141689 HAS SOUPS 141689 WITH SCORE 141986.167
AT ITER 2469 NEW BEST:: SOT 557378 SOS 297135 HAS SOPS 297135 HAS SOUS 141589 HAS SOUPS 141589 WITH SCORE 141886.135
AT ITER 2471 NEW BEST:: SOT 557378 SOS 297135 HAS SOPS 297135 HAS SOUS 141441 HAS SOUPS 141441 WITH SCORE 141738.135
AT ITER 2482 NEW BEST:: SOT 557385 SOS 297142 HAS SOPS 297142 HAS SOUS 141319 HAS SOUPS 141319 WITH SCORE 141616.142
AT ITER 2484 NEW BEST:: SOT 557225 SOS 296822 HAS SOPS 296822 HAS SOUS 141159 HAS SOUPS 141159 WITH SCORE 141455.822
AT ITER 2491 NEW BEST:: SOT 557196 SOS 296568 HAS SOPS 296568 HAS SOUS 140938 HAS SOUPS 140938 WITH SCORE 141234.568
AT ITER 2493 NEW BEST:: SOT 556492 SOS 295160 HAS SOPS 295160 HAS SOUS 139844 HAS SOUPS 139844 WITH SCORE 140139.16
AT ITER 2500 NEW BEST:: SOT 556408 SOS 295076 HAS SOPS 295076 HAS SOUS 139760 HAS SOUPS 139760 WITH SCORE 140055.076
AT ITER 2512 NEW BEST:: SOT 556408 SOS 295076 HAS SOPS 295076 HAS SOUS 139759 HAS SOUPS 139759 WITH SCORE 140054.076
AT ITER 2513 NEW BEST:: SOT 556315 SOS 294983 HAS SOPS 294983 HAS SOUS 139759 HAS SOUPS 139759 WITH SCORE 140053.983
AT ITER 2514 NEW BEST:: SOT 556287 SOS 294955 HAS SOPS 294955 HAS SOUS 139712 HAS SOUPS 139712 WITH SCORE 140006.955
AT ITER 2522 NEW BEST:: SOT 556240 SOS 294841 HAS SOPS 294841 HAS SOUS 139691 HAS SOUPS 139691 WITH SCORE 139985.841
AT ITER 2528 NEW BEST:: SOT 556240 SOS 294583 HAS SOPS 294583 HAS SOUS 139484 HAS SOUPS 139484 WITH SCORE 139778.583
AT ITER 2530 NEW BEST:: SOT 556243 SOS 294577 HAS SOPS 294577 HAS SOUS 139475 HAS SOUPS 139475 WITH SCORE 139769.577
AT ITER 2535 NEW BEST:: SOT 556049 SOS 294427 HAS SOPS 294427 HAS SOUS 139431 HAS SOUPS 139431 WITH SCORE 139725.427
AT ITER 2539 NEW BEST:: SOT 556006 SOS 294341 HAS SOPS 294341 HAS SOUS 139364 HAS SOUPS 139364 WITH SCORE 139658.341
AT ITER 2545 NEW BEST:: SOT 556006 SOS 294223 HAS SOPS 294223 HAS SOUS 139364 HAS SOUPS 139364 WITH SCORE 139658.223
AT ITER 2550 NEW BEST:: SOT 555994 SOS 294211 HAS SOPS 294211 HAS SOUS 139352 HAS SOUPS 139352 WITH SCORE 139646.211
AT ITER 2583 NEW BEST:: SOT 555994 SOS 294131 HAS SOPS 294131 HAS SOUS 139351 HAS SOUPS 139351 WITH SCORE 139645.131
AT ITER 2585 NEW BEST:: SOT 555994 SOS 294128 HAS SOPS 294128 HAS SOUS 139351 HAS SOUPS 139351 WITH SCORE 139645.128
AT ITER 2590 NEW BEST:: SOT 555994 SOS 294118 HAS SOPS 294118 HAS SOUS 139346 HAS SOUPS 139346 WITH SCORE 139640.118
AT ITER 2599 NEW BEST:: SOT 555975 SOS 294080 HAS SOPS 294080 HAS SOUS 139308 HAS SOUPS 139308 WITH SCORE 139602.08
AT ITER 2608 NEW BEST:: SOT 555855 SOS 293960 HAS SOPS 293960 HAS SOUS 139188 HAS SOUPS 139188 WITH SCORE 139481.96
AT ITER 2619 NEW BEST:: SOT 556074 SOS 280001 HAS SOPS 280001 HAS SOUS 139058 HAS SOUPS 139058 WITH SCORE 139338.001
AT ITER 2622 NEW BEST:: SOT 555920 SOS 279770 HAS SOPS 279770 HAS SOUS 138904 HAS SOUPS 138904 WITH SCORE 139183.77
AT ITER 2623 NEW BEST:: SOT 555702 SOS 279558 HAS SOPS 279558 HAS SOUS 138462 HAS SOUPS 138462 WITH SCORE 138741.558
AT ITER 2626 NEW BEST:: SOT 555662 SOS 279478 HAS SOPS 279478 HAS SOUS 138324 HAS SOUPS 138324 WITH SCORE 138603.478
AT ITER 2631 NEW BEST:: SOT 555909 SOS 279670 HAS SOPS 279670 HAS SOUS 138198 HAS SOUPS 138198 WITH SCORE 138477.67
AT ITER 2655 NEW BEST:: SOT 555909 SOS 279368 HAS SOPS 279368 HAS SOUS 138047 HAS SOUPS 138047 WITH SCORE 138326.368
AT ITER 2667 NEW BEST:: SOT 555834 SOS 279243 HAS SOPS 279243 HAS SOUS 137958 HAS SOUPS 137958 WITH SCORE 138237.243
AT ITER 2671 NEW BEST:: SOT 555845 SOS 279471 HAS SOPS 279471 HAS SOUS 137732 HAS SOUPS 137732 WITH SCORE 138011.471
AT ITER 2676 NEW BEST:: SOT 555845 SOS 279471 HAS SOPS 279471 HAS SOUS 137682 HAS SOUPS 137682 WITH SCORE 137961.471
AT ITER 2684 NEW BEST:: SOT 555821 SOS 279423 HAS SOPS 279423 HAS SOUS 137638 HAS SOUPS 137638 WITH SCORE 137917.423
AT ITER 2686 NEW BEST:: SOT 555785 SOS 279274 HAS SOPS 279274 HAS SOUS 137537 HAS SOUPS 137537 WITH SCORE 137816.274
AT ITER 2703 NEW BEST:: SOT 555792 SOS 279430 HAS SOPS 279430 HAS SOUS 137514 HAS SOUPS 137514 WITH SCORE 137793.43
AT ITER 2709 NEW BEST:: SOT 555637 SOS 279275 HAS SOPS 279275 HAS SOUS 137359 HAS SOUPS 137359 WITH SCORE 137638.275
AT ITER 2713 NEW BEST:: SOT 555582 SOS 279220 HAS SOPS 279220 HAS SOUS 137304 HAS SOUPS 137304 WITH SCORE 137583.22
AT ITER 2722 NEW BEST:: SOT 555589 SOS 279096 HAS SOPS 279096 HAS SOUS 137249 HAS SOUPS 137249 WITH SCORE 137528.096
AT ITER 2731 NEW BEST:: SOT 555720 SOS 278836 HAS SOPS 278836 HAS SOUS 137056 HAS SOUPS 137056 WITH SCORE 137334.836
AT ITER 2733 NEW BEST:: SOT 555664 SOS 278668 HAS SOPS 278668 HAS SOUS 136944 HAS SOUPS 136944 WITH SCORE 137222.668
AT ITER 2734 NEW BEST:: SOT 555653 SOS 278646 HAS SOPS 278646 HAS SOUS 136922 HAS SOUPS 136922 WITH SCORE 137200.646
AT ITER 2744 NEW BEST:: SOT 555637 SOS 278529 HAS SOPS 278529 HAS SOUS 136805 HAS SOUPS 136805 WITH SCORE 137083.529
AT ITER 2753 NEW BEST:: SOT 555658 SOS 278516 HAS SOPS 278516 HAS SOUS 136792 HAS SOUPS 136792 WITH SCORE 137070.516
AT ITER 2757 NEW BEST:: SOT 555514 SOS 278228 HAS SOPS 278228 HAS SOUS 136576 HAS SOUPS 136576 WITH SCORE 136854.228
AT ITER 2764 NEW BEST:: SOT 555457 SOS 278121 HAS SOPS 278121 HAS SOUS 136526 HAS SOUPS 136526 WITH SCORE 136804.121
AT ITER 2768 NEW BEST:: SOT 555457 SOS 278121 HAS SOPS 278121 HAS SOUS 136398 HAS SOUPS 136398 WITH SCORE 136676.121
AT ITER 2775 NEW BEST:: SOT 555598 SOS 278151 HAS SOPS 278151 HAS SOUS 136287 HAS SOUPS 136287 WITH SCORE 136565.151
AT ITER 2776 NEW BEST:: SOT 555533 SOS 277902 HAS SOPS 277902 HAS SOUS 135916 HAS SOUPS 135916 WITH SCORE 136193.902
AT ITER 2777 NEW BEST:: SOT 555469 SOS 277838 HAS SOPS 277838 HAS SOUS 135882 HAS SOUPS 135882 WITH SCORE 136159.838
AT ITER 2780 NEW BEST:: SOT 555506 SOS 277632 HAS SOPS 277632 HAS SOUS 135840 HAS SOUPS 135840 WITH SCORE 136117.632
AT ITER 2783 NEW BEST:: SOT 555497 SOS 277145 HAS SOPS 277145 HAS SOUS 135772 HAS SOUPS 135772 WITH SCORE 136049.145
AT ITER 2793 NEW BEST:: SOT 555453 SOS 277057 HAS SOPS 277057 HAS SOUS 135728 HAS SOUPS 135728 WITH SCORE 136005.057
AT ITER 2798 NEW BEST:: SOT 555375 SOS 276960 HAS SOPS 276960 HAS SOUS 135725 HAS SOUPS 135725 WITH SCORE 136001.96
AT ITER 2823 NEW BEST:: SOT 555356 SOS 277169 HAS SOPS 277169 HAS SOUS 135706 HAS SOUPS 135706 WITH SCORE 135983.169
AT ITER 2826 NEW BEST:: SOT 555356 SOS 277169 HAS SOPS 277169 HAS SOUS 135654 HAS SOUPS 135654 WITH SCORE 135931.169
AT ITER 2836 NEW BEST:: SOT 555050 SOS 276720 HAS SOPS 276720 HAS SOUS 135459 HAS SOUPS 135459 WITH SCORE 135735.72
AT ITER 2841 NEW BEST:: SOT 555050 SOS 276542 HAS SOPS 276542 HAS SOUS 135459 HAS SOUPS 135459 WITH SCORE 135735.542
AT ITER 2850 NEW BEST:: SOT 555050 SOS 276535 HAS SOPS 276535 HAS SOUS 135452 HAS SOUPS 135452 WITH SCORE 135728.535
AT ITER 2851 NEW BEST:: SOT 555011 SOS 276457 HAS SOPS 276457 HAS SOUS 135413 HAS SOUPS 135413 WITH SCORE 135689.457
AT ITER 2852 NEW BEST:: SOT 554964 SOS 276410 HAS SOPS 276410 HAS SOUS 135366 HAS SOUPS 135366 WITH SCORE 135642.41
AT ITER 2859 NEW BEST:: SOT 554905 SOS 275910 HAS SOPS 275910 HAS SOUS 135248 HAS SOUPS 135248 WITH SCORE 135523.91
AT ITER 2861 NEW BEST:: SOT 554718 SOS 275723 HAS SOPS 275723 HAS SOUS 135248 HAS SOUPS 135248 WITH SCORE 135523.723
AT ITER 2874 NEW BEST:: SOT 554718 SOS 275723 HAS SOPS 275723 HAS SOUS 135134 HAS SOUPS 135134 WITH SCORE 135409.723
AT ITER 2887 NEW BEST:: SOT 554604 SOS 275589 HAS SOPS 275589 HAS SOUS 135094 HAS SOUPS 135094 WITH SCORE 135369.589
AT ITER 2892 NEW BEST:: SOT 554603 SOS 275586 HAS SOPS 275586 HAS SOUS 135093 HAS SOUPS 135093 WITH SCORE 135368.586
AT ITER 2896 NEW BEST:: SOT 554603 SOS 275523 HAS SOPS 275523 HAS SOUS 135093 HAS SOUPS 135093 WITH SCORE 135368.523
AT ITER 2916 NEW BEST:: SOT 554603 SOS 275523 HAS SOPS 275523 HAS SOUS 135039 HAS SOUPS 135039 WITH SCORE 135314.523
AT ITER 2917 NEW BEST:: SOT 554248 SOS 274813 HAS SOPS 274813 HAS SOUS 134311 HAS SOUPS 134311 WITH SCORE 134585.813
AT ITER 2921 NEW BEST:: SOT 554248 SOS 274868 HAS SOPS 274868 HAS SOUS 134265 HAS SOUPS 134265 WITH SCORE 134539.868
AT ITER 2925 NEW BEST:: SOT 554226 SOS 274846 HAS SOPS 274846 HAS SOUS 134243 HAS SOUPS 134243 WITH SCORE 134517.846
AT ITER 2940 NEW BEST:: SOT 554099 SOS 274592 HAS SOPS 274592 HAS SOUS 134050 HAS SOUPS 134050 WITH SCORE 134324.592
AT ITER 2944 NEW BEST:: SOT 554110 SOS 273464 HAS SOPS 273464 HAS SOUS 133821 HAS SOUPS 133821 WITH SCORE 134094.464
AT ITER 2945 NEW BEST:: SOT 554120 SOS 273367 HAS SOPS 273367 HAS SOUS 133728 HAS SOUPS 133728 WITH SCORE 134001.367
AT ITER 2955 NEW BEST:: SOT 554112 SOS 273359 HAS SOPS 273359 HAS SOUS 133712 HAS SOUPS 133712 WITH SCORE 133985.359
AT ITER 2959 NEW BEST:: SOT 554112 SOS 273331 HAS SOPS 273331 HAS SOUS 133684 HAS SOUPS 133684 WITH SCORE 133957.331
AT ITER 2961 NEW BEST:: SOT 554050 SOS 273303 HAS SOPS 273303 HAS SOUS 133560 HAS SOUPS 133560 WITH SCORE 133833.303
AT ITER 2978 NEW BEST:: SOT 554033 SOS 272983 HAS SOPS 272983 HAS SOUS 133541 HAS SOUPS 133541 WITH SCORE 133813.983
AT ITER 2980 NEW BEST:: SOT 553955 SOS 272827 HAS SOPS 272827 HAS SOUS 133385 HAS SOUPS 133385 WITH SCORE 133657.827
AT ITER 2981 NEW BEST:: SOT 553955 SOS 272734 HAS SOPS 272734 HAS SOUS 133292 HAS SOUPS 133292 WITH SCORE 133564.734
AT ITER 2982 NEW BEST:: SOT 554039 SOS 272848 HAS SOPS 272848 HAS SOUS 133190 HAS SOUPS 133190 WITH SCORE 133462.848
AT ITER 2984 NEW BEST:: SOT 554037 SOS 272808 HAS SOPS 272808 HAS SOUS 133186 HAS SOUPS 133186 WITH SCORE 133458.808
AT ITER 2996 NEW BEST:: SOT 553882 SOS 272437 HAS SOPS 272437 HAS SOUS 133063 HAS SOUPS 133063 WITH SCORE 133335.437
AT ITER 3001 NEW BEST:: SOT 553659 SOS 272214 HAS SOPS 272214 HAS SOUS 132774 HAS SOUPS 132774 WITH SCORE 133046.214
AT ITER 3007 NEW BEST:: SOT 553652 SOS 272186 HAS SOPS 272186 HAS SOUS 132753 HAS SOUPS 132753 WITH SCORE 133025.186
AT ITER 3011 NEW BEST:: SOT 553651 SOS 272186 HAS SOPS 272186 HAS SOUS 132752 HAS SOUPS 132752 WITH SCORE 133024.186
AT ITER 3042 NEW BEST:: SOT 553651 SOS 272175 HAS SOPS 272175 HAS SOUS 132741 HAS SOUPS 132741 WITH SCORE 133013.175
AT ITER 3047 NEW BEST:: SOT 553548 SOS 271931 HAS SOPS 271931 HAS SOUS 132596 HAS SOUPS 132596 WITH SCORE 132867.931
AT ITER 3048 NEW BEST:: SOT 553515 SOS 271898 HAS SOPS 271898 HAS SOUS 132563 HAS SOUPS 132563 WITH SCORE 132834.898
AT ITER 3059 NEW BEST:: SOT 553233 SOS 271292 HAS SOPS 271292 HAS SOUS 132220 HAS SOUPS 132220 WITH SCORE 132491.292
AT ITER 3063 NEW BEST:: SOT 553261 SOS 271012 HAS SOPS 271012 HAS SOUS 132220 HAS SOUPS 132220 WITH SCORE 132491.012
AT ITER 3068 NEW BEST:: SOT 553219 SOS 270928 HAS SOPS 270928 HAS SOUS 132178 HAS SOUPS 132178 WITH SCORE 132448.928
AT ITER 3085 NEW BEST:: SOT 553090 SOS 270130 HAS SOPS 270130 HAS SOUS 131945 HAS SOUPS 131945 WITH SCORE 132215.13
AT ITER 3086 NEW BEST:: SOT 553090 SOS 270060 HAS SOPS 270060 HAS SOUS 131875 HAS SOUPS 131875 WITH SCORE 132145.06
AT ITER 3106 NEW BEST:: SOT 553086 SOS 269856 HAS SOPS 269856 HAS SOUS 131781 HAS SOUPS 131781 WITH SCORE 132050.856
AT ITER 3115 NEW BEST:: SOT 552914 SOS 270200 HAS SOPS 270200 HAS SOUS 131695 HAS SOUPS 131695 WITH SCORE 131965.2
AT ITER 3127 NEW BEST:: SOT 552862 SOS 270148 HAS SOPS 270148 HAS SOUS 131643 HAS SOUPS 131643 WITH SCORE 131913.148
AT ITER 3134 NEW BEST:: SOT 552870 SOS 270140 HAS SOPS 270140 HAS SOUS 131643 HAS SOUPS 131643 WITH SCORE 131913.14
AT ITER 3136 NEW BEST:: SOT 552870 SOS 270140 HAS SOPS 270140 HAS SOUS 131633 HAS SOUPS 131633 WITH SCORE 131903.14
AT ITER 3156 NEW BEST:: SOT 552854 SOS 270108 HAS SOPS 270108 HAS SOUS 131601 HAS SOUPS 131601 WITH SCORE 131871.108
AT ITER 3157 NEW BEST:: SOT 552944 SOS 270018 HAS SOPS 270018 HAS SOUS 131601 HAS SOUPS 131601 WITH SCORE 131871.018
AT ITER 3160 NEW BEST:: SOT 552944 SOS 269797 HAS SOPS 269797 HAS SOUS 131490 HAS SOUPS 131490 WITH SCORE 131759.797
AT ITER 3162 NEW BEST:: SOT 552932 SOS 269773 HAS SOPS 269773 HAS SOUS 131478 HAS SOUPS 131478 WITH SCORE 131747.773
AT ITER 3163 NEW BEST:: SOT 552926 SOS 269773 HAS SOPS 269773 HAS SOUS 131472 HAS SOUPS 131472 WITH SCORE 131741.773
AT ITER 3171 NEW BEST:: SOT 552845 SOS 269611 HAS SOPS 269611 HAS SOUS 131416 HAS SOUPS 131416 WITH SCORE 131685.611
AT ITER 3172 NEW BEST:: SOT 552516 SOS 269163 HAS SOPS 269163 HAS SOUS 131173 HAS SOUPS 131173 WITH SCORE 131442.163
AT ITER 3174 NEW BEST:: SOT 552473 SOS 269063 HAS SOPS 269063 HAS SOUS 131085 HAS SOUPS 131085 WITH SCORE 131354.063
AT ITER 3180 NEW BEST:: SOT 552458 SOS 269032 HAS SOPS 269032 HAS SOUS 131063 HAS SOUPS 131063 WITH SCORE 131332.032
AT ITER 3185 NEW BEST:: SOT 552458 SOS 268903 HAS SOPS 268903 HAS SOUS 130934 HAS SOUPS 130934 WITH SCORE 131202.903
AT ITER 3188 NEW BEST:: SOT 552373 SOS 268711 HAS SOPS 268711 HAS SOUS 130821 HAS SOUPS 130821 WITH SCORE 131089.711
AT ITER 3192 NEW BEST:: SOT 552370 SOS 268705 HAS SOPS 268705 HAS SOUS 130809 HAS SOUPS 130809 WITH SCORE 131077.705
AT ITER 3205 NEW BEST:: SOT 551797 SOS 268013 HAS SOPS 268013 HAS SOUS 130571 HAS SOUPS 130571 WITH SCORE 130839.013
AT ITER 3212 NEW BEST:: SOT 551797 SOS 268013 HAS SOPS 268013 HAS SOUS 130541 HAS SOUPS 130541 WITH SCORE 130809.013
AT ITER 3227 NEW BEST:: SOT 551788 SOS 267995 HAS SOPS 267995 HAS SOUS 130527 HAS SOUPS 130527 WITH SCORE 130794.995
AT ITER 3229 NEW BEST:: SOT 551783 SOS 267990 HAS SOPS 267990 HAS SOUS 130522 HAS SOUPS 130522 WITH SCORE 130789.99
AT ITER 3243 NEW BEST:: SOT 551783 SOS 268045 HAS SOPS 268045 HAS SOUS 130467 HAS SOUPS 130467 WITH SCORE 130735.045
AT ITER 3252 NEW BEST:: SOT 551778 SOS 268011 HAS SOPS 268011 HAS SOUS 130433 HAS SOUPS 130433 WITH SCORE 130701.011
AT ITER 3253 NEW BEST:: SOT 551823 SOS 267923 HAS SOPS 267923 HAS SOUS 130395 HAS SOUPS 130395 WITH SCORE 130662.923
AT ITER 3254 NEW BEST:: SOT 551629 SOS 267715 HAS SOPS 267715 HAS SOUS 130353 HAS SOUPS 130353 WITH SCORE 130620.715
AT ITER 3288 NEW BEST:: SOT 551625 SOS 267711 HAS SOPS 267711 HAS SOUS 130349 HAS SOUPS 130349 WITH SCORE 130616.711
AT ITER 3329 NEW BEST:: SOT 551533 SOS 267619 HAS SOPS 267619 HAS SOUS 130257 HAS SOUPS 130257 WITH SCORE 130524.619
AT ITER 3336 NEW BEST:: SOT 551436 SOS 267425 HAS SOPS 267425 HAS SOUS 130160 HAS SOUPS 130160 WITH SCORE 130427.425
AT ITER 3341 NEW BEST:: SOT 551430 SOS 267419 HAS SOPS 267419 HAS SOUS 130154 HAS SOUPS 130154 WITH SCORE 130421.419
AT ITER 3345 NEW BEST:: SOT 551419 SOS 267397 HAS SOPS 267397 HAS SOUS 130143 HAS SOUPS 130143 WITH SCORE 130410.397
AT ITER 3351 NEW BEST:: SOT 551319 SOS 267214 HAS SOPS 267214 HAS SOUS 129960 HAS SOUPS 129960 WITH SCORE 130227.214
AT ITER 3363 NEW BEST:: SOT 551344 SOS 267144 HAS SOPS 267144 HAS SOUS 129922 HAS SOUPS 129922 WITH SCORE 130189.144
AT ITER 3373 NEW BEST:: SOT 551337 SOS 267403 HAS SOPS 267403 HAS SOUS 129740 HAS SOUPS 129740 WITH SCORE 130007.403
AT ITER 3375 NEW BEST:: SOT 551337 SOS 267383 HAS SOPS 267383 HAS SOUS 129739 HAS SOUPS 129739 WITH SCORE 130006.383
AT ITER 3377 NEW BEST:: SOT 551325 SOS 267359 HAS SOPS 267359 HAS SOUS 129703 HAS SOUPS 129703 WITH SCORE 129970.359
AT ITER 3379 NEW BEST:: SOT 551217 SOS 267157 HAS SOPS 267157 HAS SOUS 129619 HAS SOUPS 129619 WITH SCORE 129886.157
AT ITER 3381 NEW BEST:: SOT 551214 SOS 267151 HAS SOPS 267151 HAS SOUS 129613 HAS SOUPS 129613 WITH SCORE 129880.151
AT ITER 3405 NEW BEST:: SOT 550992 SOS 266856 HAS SOPS 266856 HAS SOUS 129467 HAS SOUPS 129467 WITH SCORE 129733.856
AT ITER 3420 NEW BEST:: SOT 550768 SOS 266444 HAS SOPS 266444 HAS SOUS 129243 HAS SOUPS 129243 WITH SCORE 129509.444
AT ITER 3423 NEW BEST:: SOT 550485 SOS 266067 HAS SOPS 266067 HAS SOUS 129047 HAS SOUPS 129047 WITH SCORE 129313.067
AT ITER 3430 NEW BEST:: SOT 550465 SOS 266047 HAS SOPS 266047 HAS SOUS 129027 HAS SOUPS 129027 WITH SCORE 129293.047
AT ITER 3433 NEW BEST:: SOT 550462 SOS 266034 HAS SOPS 266034 HAS SOUS 129017 HAS SOUPS 129017 WITH SCORE 129283.034
AT ITER 3445 NEW BEST:: SOT 550406 SOS 265779 HAS SOPS 265779 HAS SOUS 128961 HAS SOUPS 128961 WITH SCORE 129226.779
AT ITER 3452 NEW BEST:: SOT 550383 SOS 265756 HAS SOPS 265756 HAS SOUS 128951 HAS SOUPS 128951 WITH SCORE 129216.756
AT ITER 3477 NEW BEST:: SOT 550383 SOS 265695 HAS SOPS 265695 HAS SOUS 128890 HAS SOUPS 128890 WITH SCORE 129155.695
AT ITER 3494 NEW BEST:: SOT 550350 SOS 265615 HAS SOPS 265615 HAS SOUS 128824 HAS SOUPS 128824 WITH SCORE 129089.615
AT ITER 3497 NEW BEST:: SOT 550343 SOS 265608 HAS SOPS 265608 HAS SOUS 128817 HAS SOUPS 128817 WITH SCORE 129082.608
AT ITER 3498 NEW BEST:: SOT 550331 SOS 265591 HAS SOPS 265591 HAS SOUS 128805 HAS SOUPS 128805 WITH SCORE 129070.591
AT ITER 3513 NEW BEST:: SOT 550331 SOS 265486 HAS SOPS 265486 HAS SOUS 128700 HAS SOUPS 128700 WITH SCORE 128965.486
AT ITER 3516 NEW BEST:: SOT 550449 SOS 265426 HAS SOPS 265426 HAS SOUS 128640 HAS SOUPS 128640 WITH SCORE 128905.426
AT ITER 3541 NEW BEST:: SOT 550449 SOS 265368 HAS SOPS 265368 HAS SOUS 128640 HAS SOUPS 128640 WITH SCORE 128905.368
AT ITER 3545 NEW BEST:: SOT 550425 SOS 265320 HAS SOPS 265320 HAS SOUS 128610 HAS SOUPS 128610 WITH SCORE 128875.32
AT ITER 3552 NEW BEST:: SOT 550409 SOS 265288 HAS SOPS 265288 HAS SOUS 128578 HAS SOUPS 128578 WITH SCORE 128843.288
AT ITER 3557 NEW BEST:: SOT 550409 SOS 265288 HAS SOPS 265288 HAS SOUS 128574 HAS SOUPS 128574 WITH SCORE 128839.288
AT ITER 3577 NEW BEST:: SOT 550394 SOS 265431 HAS SOPS 265431 HAS SOUS 128559 HAS SOUPS 128559 WITH SCORE 128824.431
AT ITER 3603 NEW BEST:: SOT 550394 SOS 265425 HAS SOPS 265425 HAS SOUS 128553 HAS SOUPS 128553 WITH SCORE 128818.425
AT ITER 3606 NEW BEST:: SOT 550352 SOS 265341 HAS SOPS 265341 HAS SOUS 128469 HAS SOUPS 128469 WITH SCORE 128734.341
AT ITER 3622 NEW BEST:: SOT 550322 SOS 265246 HAS SOPS 265246 HAS SOUS 128439 HAS SOUPS 128439 WITH SCORE 128704.246
AT ITER 3627 NEW BEST:: SOT 550296 SOS 265064 HAS SOPS 265064 HAS SOUS 128409 HAS SOUPS 128409 WITH SCORE 128674.064
AT ITER 3628 NEW BEST:: SOT 550280 SOS 265096 HAS SOPS 265096 HAS SOUS 128397 HAS SOUPS 128397 WITH SCORE 128662.096
AT ITER 3640 NEW BEST:: SOT 550280 SOS 265096 HAS SOPS 265096 HAS SOUS 128370 HAS SOUPS 128370 WITH SCORE 128635.096
AT ITER 3644 NEW BEST:: SOT 550280 SOS 265086 HAS SOPS 265086 HAS SOUS 128370 HAS SOUPS 128370 WITH SCORE 128635.086
AT ITER 3645 NEW BEST:: SOT 550263 SOS 265070 HAS SOPS 265070 HAS SOUS 128354 HAS SOUPS 128354 WITH SCORE 128619.07
AT ITER 3659 NEW BEST:: SOT 550263 SOS 265084 HAS SOPS 265084 HAS SOUS 128340 HAS SOUPS 128340 WITH SCORE 128605.084
AT ITER 3683 NEW BEST:: SOT 550249 SOS 265083 HAS SOPS 265083 HAS SOUS 128339 HAS SOUPS 128339 WITH SCORE 128604.083
AT ITER 3689 NEW BEST:: SOT 549817 SOS 264510 HAS SOPS 264510 HAS SOUS 128180 HAS SOUPS 128180 WITH SCORE 128444.51
AT ITER 3692 NEW BEST:: SOT 549601 SOS 264116 HAS SOPS 264116 HAS SOUS 127949 HAS SOUPS 127949 WITH SCORE 128213.116
AT ITER 3693 NEW BEST:: SOT 549601 SOS 264110 HAS SOPS 264110 HAS SOUS 127949 HAS SOUPS 127949 WITH SCORE 128213.11
AT ITER 3697 NEW BEST:: SOT 549575 SOS 264084 HAS SOPS 264084 HAS SOUS 127923 HAS SOUPS 127923 WITH SCORE 128187.084
AT ITER 3698 NEW BEST:: SOT 549518 SOS 263913 HAS SOPS 263913 HAS SOUS 127836 HAS SOUPS 127836 WITH SCORE 128099.913
AT ITER 3704 NEW BEST:: SOT 549512 SOS 263907 HAS SOPS 263907 HAS SOUS 127830 HAS SOUPS 127830 WITH SCORE 128093.907
AT ITER 3705 NEW BEST:: SOT 549321 SOS 263626 HAS SOPS 263626 HAS SOUS 127782 HAS SOUPS 127782 WITH SCORE 128045.626
AT ITER 3706 NEW BEST:: SOT 549280 SOS 263786 HAS SOPS 263786 HAS SOUS 127781 HAS SOUPS 127781 WITH SCORE 128044.786
AT ITER 3708 NEW BEST:: SOT 549103 SOS 263432 HAS SOPS 263432 HAS SOUS 127286 HAS SOUPS 127286 WITH SCORE 127549.432
AT ITER 3710 NEW BEST:: SOT 549093 SOS 263412 HAS SOPS 263412 HAS SOUS 127276 HAS SOUPS 127276 WITH SCORE 127539.412
AT ITER 3718 NEW BEST:: SOT 549031 SOS 263330 HAS SOPS 263330 HAS SOUS 127236 HAS SOUPS 127236 WITH SCORE 127499.33
AT ITER 3726 NEW BEST:: SOT 549031 SOS 263286 HAS SOPS 263286 HAS SOUS 127192 HAS SOUPS 127192 WITH SCORE 127455.286
AT ITER 3733 NEW BEST:: SOT 548722 SOS 262977 HAS SOPS 262977 HAS SOUS 126883 HAS SOUPS 126883 WITH SCORE 127145.977
AT ITER 3735 NEW BEST:: SOT 548660 SOS 262915 HAS SOPS 262915 HAS SOUS 126772 HAS SOUPS 126772 WITH SCORE 127034.915
AT ITER 3739 NEW BEST:: SOT 548629 SOS 262479 HAS SOPS 262479 HAS SOUS 126625 HAS SOUPS 126625 WITH SCORE 126887.479
AT ITER 3751 NEW BEST:: SOT 548416 SOS 262053 HAS SOPS 262053 HAS SOUS 126509 HAS SOUPS 126509 WITH SCORE 126771.053
AT ITER 3768 NEW BEST:: SOT 548416 SOS 262049 HAS SOPS 262049 HAS SOUS 126507 HAS SOUPS 126507 WITH SCORE 126769.049
AT ITER 3777 NEW BEST:: SOT 548366 SOS 261999 HAS SOPS 261999 HAS SOUS 126507 HAS SOUPS 126507 WITH SCORE 126768.999
AT ITER 3780 NEW BEST:: SOT 548381 SOS 261885 HAS SOPS 261885 HAS SOUS 126393 HAS SOUPS 126393 WITH SCORE 126654.885
AT ITER 3784 NEW BEST:: SOT 548362 SOS 261866 HAS SOPS 261866 HAS SOUS 126374 HAS SOUPS 126374 WITH SCORE 126635.866
AT ITER 3785 NEW BEST:: SOT 548353 SOS 261839 HAS SOPS 261839 HAS SOUS 126374 HAS SOUPS 126374 WITH SCORE 126635.839
AT ITER 3803 NEW BEST:: SOT 548216 SOS 261762 HAS SOPS 261762 HAS SOUS 126297 HAS SOUPS 126297 WITH SCORE 126558.762
AT ITER 3805 NEW BEST:: SOT 548030 SOS 261190 HAS SOPS 261190 HAS SOUS 126111 HAS SOUPS 126111 WITH SCORE 126372.19
AT ITER 3813 NEW BEST:: SOT 547983 SOS 261096 HAS SOPS 261096 HAS SOUS 125765 HAS SOUPS 125765 WITH SCORE 126026.096
AT ITER 3822 NEW BEST:: SOT 547953 SOS 261066 HAS SOPS 261066 HAS SOUS 125742 HAS SOUPS 125742 WITH SCORE 126003.066
AT ITER 3829 NEW BEST:: SOT 547953 SOS 261065 HAS SOPS 261065 HAS SOUS 125742 HAS SOUPS 125742 WITH SCORE 126003.065
AT ITER 3842 NEW BEST:: SOT 547953 SOS 261059 HAS SOPS 261059 HAS SOUS 125730 HAS SOUPS 125730 WITH SCORE 125991.059
AT ITER 3855 NEW BEST:: SOT 547918 SOS 261024 HAS SOPS 261024 HAS SOUS 125695 HAS SOUPS 125695 WITH SCORE 125956.024
AT ITER 3862 NEW BEST:: SOT 547918 SOS 260924 HAS SOPS 260924 HAS SOUS 125595 HAS SOUPS 125595 WITH SCORE 125855.924
AT ITER 3866 NEW BEST:: SOT 547918 SOS 261007 HAS SOPS 261007 HAS SOUS 125566 HAS SOUPS 125566 WITH SCORE 125827.007
AT ITER 3873 NEW BEST:: SOT 547951 SOS 261040 HAS SOPS 261040 HAS SOUS 125533 HAS SOUPS 125533 WITH SCORE 125794.04
AT ITER 3874 NEW BEST:: SOT 547817 SOS 260664 HAS SOPS 260664 HAS SOUS 125129 HAS SOUPS 125129 WITH SCORE 125389.664
AT ITER 3879 NEW BEST:: SOT 547747 SOS 260594 HAS SOPS 260594 HAS SOUS 125059 HAS SOUPS 125059 WITH SCORE 125319.594
AT ITER 3885 NEW BEST:: SOT 547904 SOS 260719 HAS SOPS 260719 HAS SOUS 125017 HAS SOUPS 125017 WITH SCORE 125277.719
AT ITER 3886 NEW BEST:: SOT 547979 SOS 260753 HAS SOPS 260753 HAS SOUS 124984 HAS SOUPS 124984 WITH SCORE 125244.753
AT ITER 3897 NEW BEST:: SOT 547892 SOS 260666 HAS SOPS 260666 HAS SOUS 124897 HAS SOUPS 124897 WITH SCORE 125157.666
AT ITER 3906 NEW BEST:: SOT 547859 SOS 260201 HAS SOPS 260201 HAS SOUS 124432 HAS SOUPS 124432 WITH SCORE 124692.201
AT ITER 3910 NEW BEST:: SOT 547834 SOS 260176 HAS SOPS 260176 HAS SOUS 124407 HAS SOUPS 124407 WITH SCORE 124667.176
AT ITER 3918 NEW BEST:: SOT 547851 SOS 259998 HAS SOPS 259998 HAS SOUS 124348 HAS SOUPS 124348 WITH SCORE 124607.998
AT ITER 3927 NEW BEST:: SOT 547847 SOS 259998 HAS SOPS 259998 HAS SOUS 124340 HAS SOUPS 124340 WITH SCORE 124599.998
AT ITER 3933 NEW BEST:: SOT 547750 SOS 259901 HAS SOPS 259901 HAS SOUS 124212 HAS SOUPS 124212 WITH SCORE 124471.901
AT ITER 3942 NEW BEST:: SOT 547567 SOS 259620 HAS SOPS 259620 HAS SOUS 124137 HAS SOUPS 124137 WITH SCORE 124396.62
AT ITER 3947 NEW BEST:: SOT 547591 SOS 259644 HAS SOPS 259644 HAS SOUS 124038 HAS SOUPS 124038 WITH SCORE 124297.644
AT ITER 3961 NEW BEST:: SOT 547495 SOS 259816 HAS SOPS 259816 HAS SOUS 124014 HAS SOUPS 124014 WITH SCORE 124273.816
AT ITER 3963 NEW BEST:: SOT 547418 SOS 259856 HAS SOPS 259856 HAS SOUS 123957 HAS SOUPS 123957 WITH SCORE 124216.856
AT ITER 3970 NEW BEST:: SOT 547387 SOS 259353 HAS SOPS 259353 HAS SOUS 123885 HAS SOUPS 123885 WITH SCORE 124144.353
AT ITER 3977 NEW BEST:: SOT 547293 SOS 259358 HAS SOPS 259358 HAS SOUS 123805 HAS SOUPS 123805 WITH SCORE 124064.358
AT ITER 3985 NEW BEST:: SOT 547222 SOS 259257 HAS SOPS 259257 HAS SOUS 123704 HAS SOUPS 123704 WITH SCORE 123963.257
AT ITER 3988 NEW BEST:: SOT 547175 SOS 259100 HAS SOPS 259100 HAS SOUS 123602 HAS SOUPS 123602 WITH SCORE 123861.1
AT ITER 3990 NEW BEST:: SOT 547175 SOS 259032 HAS SOPS 259032 HAS SOUS 123602 HAS SOUPS 123602 WITH SCORE 123861.032
AT ITER 3994 NEW BEST:: SOT 547175 SOS 259032 HAS SOPS 259032 HAS SOUS 123546 HAS SOUPS 123546 WITH SCORE 123805.032
AT ITER 4002 NEW BEST:: SOT 547171 SOS 259028 HAS SOPS 259028 HAS SOUS 123542 HAS SOUPS 123542 WITH SCORE 123801.028
AT ITER 4005 NEW BEST:: SOT 547060 SOS 258437 HAS SOPS 258437 HAS SOUS 123486 HAS SOUPS 123486 WITH SCORE 123744.437
AT ITER 4019 NEW BEST:: SOT 547039 SOS 258395 HAS SOPS 258395 HAS SOUS 123444 HAS SOUPS 123444 WITH SCORE 123702.395
AT ITER 4031 NEW BEST:: SOT 547039 SOS 258372 HAS SOPS 258372 HAS SOUS 123444 HAS SOUPS 123444 WITH SCORE 123702.372
AT ITER 4033 NEW BEST:: SOT 546990 SOS 258280 HAS SOPS 258280 HAS SOUS 123352 HAS SOUPS 123352 WITH SCORE 123610.28
AT ITER 4045 NEW BEST:: SOT 546943 SOS 257850 HAS SOPS 257850 HAS SOUS 123118 HAS SOUPS 123118 WITH SCORE 123375.85
AT ITER 4046 NEW BEST:: SOT 546788 SOS 257683 HAS SOPS 257683 HAS SOUS 122951 HAS SOUPS 122951 WITH SCORE 123208.683
AT ITER 4061 NEW BEST:: SOT 546757 SOS 257590 HAS SOPS 257590 HAS SOUS 122858 HAS SOUPS 122858 WITH SCORE 123115.59
AT ITER 4063 NEW BEST:: SOT 546736 SOS 257524 HAS SOPS 257524 HAS SOUS 122837 HAS SOUPS 122837 WITH SCORE 123094.524
AT ITER 4066 NEW BEST:: SOT 546594 SOS 257338 HAS SOPS 257338 HAS SOUS 122798 HAS SOUPS 122798 WITH SCORE 123055.338
AT ITER 4070 NEW BEST:: SOT 546594 SOS 257326 HAS SOPS 257326 HAS SOUS 122640 HAS SOUPS 122640 WITH SCORE 122897.326
AT ITER 4071 NEW BEST:: SOT 546565 SOS 257297 HAS SOPS 257297 HAS SOUS 122568 HAS SOUPS 122568 WITH SCORE 122825.297
AT ITER 4074 NEW BEST:: SOT 546565 SOS 257297 HAS SOPS 257297 HAS SOUS 122453 HAS SOUPS 122453 WITH SCORE 122710.297
AT ITER 4086 NEW BEST:: SOT 546498 SOS 257139 HAS SOPS 257139 HAS SOUS 122389 HAS SOUPS 122389 WITH SCORE 122646.139
AT ITER 4110 NEW BEST:: SOT 546489 SOS 257121 HAS SOPS 257121 HAS SOUS 122318 HAS SOUPS 122318 WITH SCORE 122575.121
AT ITER 4134 NEW BEST:: SOT 546489 SOS 257121 HAS SOPS 257121 HAS SOUS 122317 HAS SOUPS 122317 WITH SCORE 122574.121
AT ITER 4145 NEW BEST:: SOT 546398 SOS 257076 HAS SOPS 257076 HAS SOUS 122272 HAS SOUPS 122272 WITH SCORE 122529.076
AT ITER 4146 NEW BEST:: SOT 546358 SOS 257036 HAS SOPS 257036 HAS SOUS 122272 HAS SOUPS 122272 WITH SCORE 122529.036
AT ITER 4175 NEW BEST:: SOT 546339 SOS 256892 HAS SOPS 256892 HAS SOUS 122196 HAS SOUPS 122196 WITH SCORE 122452.892
AT ITER 4186 NEW BEST:: SOT 546155 SOS 256788 HAS SOPS 256788 HAS SOUS 122079 HAS SOUPS 122079 WITH SCORE 122335.788
AT ITER 4187 NEW BEST:: SOT 546002 SOS 256694 HAS SOPS 256694 HAS SOUS 121985 HAS SOUPS 121985 WITH SCORE 122241.694
AT ITER 4193 NEW BEST:: SOT 545992 SOS 256684 HAS SOPS 256684 HAS SOUS 121979 HAS SOUPS 121979 WITH SCORE 122235.684
AT ITER 4202 NEW BEST:: SOT 545978 SOS 256684 HAS SOPS 256684 HAS SOUS 121965 HAS SOUPS 121965 WITH SCORE 122221.684
AT ITER 4203 NEW BEST:: SOT 545827 SOS 256423 HAS SOPS 256423 HAS SOUS 121814 HAS SOUPS 121814 WITH SCORE 122070.423
AT ITER 4214 NEW BEST:: SOT 545812 SOS 256374 HAS SOPS 256374 HAS SOUS 121765 HAS SOUPS 121765 WITH SCORE 122021.374
AT ITER 4233 NEW BEST:: SOT 545767 SOS 256352 HAS SOPS 256352 HAS SOUS 121675 HAS SOUPS 121675 WITH SCORE 121931.352
AT ITER 4237 NEW BEST:: SOT 545807 SOS 256348 HAS SOPS 256348 HAS SOUS 121556 HAS SOUPS 121556 WITH SCORE 121812.348
AT ITER 4240 NEW BEST:: SOT 545739 SOS 256026 HAS SOPS 256026 HAS SOUS 121395 HAS SOUPS 121395 WITH SCORE 121651.026
AT ITER 4243 NEW BEST:: SOT 545720 SOS 256007 HAS SOPS 256007 HAS SOUS 121386 HAS SOUPS 121386 WITH SCORE 121642.007
AT ITER 4254 NEW BEST:: SOT 545689 SOS 255883 HAS SOPS 255883 HAS SOUS 121355 HAS SOUPS 121355 WITH SCORE 121610.883
AT ITER 4278 NEW BEST:: SOT 545522 SOS 255366 HAS SOPS 255366 HAS SOUS 121184 HAS SOUPS 121184 WITH SCORE 121439.366
AT ITER 4281 NEW BEST:: SOT 545521 SOS 255356 HAS SOPS 255356 HAS SOUS 121183 HAS SOUPS 121183 WITH SCORE 121438.356
AT ITER 4286 NEW BEST:: SOT 545356 SOS 255191 HAS SOPS 255191 HAS SOUS 121018 HAS SOUPS 121018 WITH SCORE 121273.191
AT ITER 4297 NEW BEST:: SOT 545053 SOS 254588 HAS SOPS 254588 HAS SOUS 120648 HAS SOUPS 120648 WITH SCORE 120902.588
AT ITER 4301 NEW BEST:: SOT 544990 SOS 254462 HAS SOPS 254462 HAS SOUS 120585 HAS SOUPS 120585 WITH SCORE 120839.462
AT ITER 4307 NEW BEST:: SOT 544933 SOS 254348 HAS SOPS 254348 HAS SOUS 120520 HAS SOUPS 120520 WITH SCORE 120774.348
AT ITER 4333 NEW BEST:: SOT 544686 SOS 254101 HAS SOPS 254101 HAS SOUS 120273 HAS SOUPS 120273 WITH SCORE 120527.101
AT ITER 4341 NEW BEST:: SOT 544686 SOS 254101 HAS SOPS 254101 HAS SOUS 120265 HAS SOUPS 120265 WITH SCORE 120519.101
AT ITER 4346 NEW BEST:: SOT 544683 SOS 254089 HAS SOPS 254089 HAS SOUS 120253 HAS SOUPS 120253 WITH SCORE 120507.089
AT ITER 4356 NEW BEST:: SOT 544763 SOS 254167 HAS SOPS 254167 HAS SOUS 120251 HAS SOUPS 120251 WITH SCORE 120505.167
AT ITER 4398 NEW BEST:: SOT 544766 SOS 254088 HAS SOPS 254088 HAS SOUS 120172 HAS SOUPS 120172 WITH SCORE 120426.088
AT ITER 4399 NEW BEST:: SOT 544758 SOS 254056 HAS SOPS 254056 HAS SOUS 120148 HAS SOUPS 120148 WITH SCORE 120402.056
AT ITER 4415 NEW BEST:: SOT 544747 SOS 254034 HAS SOPS 254034 HAS SOUS 120142 HAS SOUPS 120142 WITH SCORE 120396.034
AT ITER 4438 NEW BEST:: SOT 544698 SOS 253985 HAS SOPS 253985 HAS SOUS 120093 HAS SOUPS 120093 WITH SCORE 120346.985
AT ITER 4441 NEW BEST:: SOT 544648 SOS 253235 HAS SOPS 253235 HAS SOUS 119993 HAS SOUPS 119993 WITH SCORE 120246.235
AT ITER 4464 NEW BEST:: SOT 544599 SOS 253137 HAS SOPS 253137 HAS SOUS 119965 HAS SOUPS 119965 WITH SCORE 120218.137
AT ITER 4466 NEW BEST:: SOT 544599 SOS 253089 HAS SOPS 253089 HAS SOUS 119917 HAS SOUPS 119917 WITH SCORE 120170.089
AT ITER 4482 NEW BEST:: SOT 544599 SOS 253216 HAS SOPS 253216 HAS SOUS 119884 HAS SOUPS 119884 WITH SCORE 120137.216
AT ITER 4489 NEW BEST:: SOT 544595 SOS 253104 HAS SOPS 253104 HAS SOUS 119880 HAS SOUPS 119880 WITH SCORE 120133.104
AT ITER 4499 NEW BEST:: SOT 544408 SOS 252917 HAS SOPS 252917 HAS SOUS 119693 HAS SOUPS 119693 WITH SCORE 119945.917
AT ITER 4504 NEW BEST:: SOT 544326 SOS 252835 HAS SOPS 252835 HAS SOUS 119693 HAS SOUPS 119693 WITH SCORE 119945.835
AT ITER 4510 NEW BEST:: SOT 544320 SOS 252829 HAS SOPS 252829 HAS SOUS 119681 HAS SOUPS 119681 WITH SCORE 119933.829
AT ITER 4528 NEW BEST:: SOT 544320 SOS 252797 HAS SOPS 252797 HAS SOUS 119665 HAS SOUPS 119665 WITH SCORE 119917.797
AT ITER 4532 NEW BEST:: SOT 544320 SOS 252797 HAS SOPS 252797 HAS SOUS 119584 HAS SOUPS 119584 WITH SCORE 119836.797
AT ITER 4544 NEW BEST:: SOT 544314 SOS 252701 HAS SOPS 252701 HAS SOUS 119531 HAS SOUPS 119531 WITH SCORE 119783.701
AT ITER 4556 NEW BEST:: SOT 544261 SOS 252628 HAS SOPS 252628 HAS SOUS 119458 HAS SOUPS 119458 WITH SCORE 119710.628
AT ITER 4583 NEW BEST:: SOT 544261 SOS 252628 HAS SOPS 252628 HAS SOUS 119355 HAS SOUPS 119355 WITH SCORE 119607.628
AT ITER 4603 NEW BEST:: SOT 544261 SOS 252628 HAS SOPS 252628 HAS SOUS 119345 HAS SOUPS 119345 WITH SCORE 119597.628
AT ITER 4605 NEW BEST:: SOT 544161 SOS 252631 HAS SOPS 252631 HAS SOUS 119245 HAS SOUPS 119245 WITH SCORE 119497.631
AT ITER 4624 NEW BEST:: SOT 544161 SOS 252603 HAS SOPS 252603 HAS SOUS 119245 HAS SOUPS 119245 WITH SCORE 119497.603
AT ITER 4638 NEW BEST:: SOT 544175 SOS 252617 HAS SOPS 252617 HAS SOUS 119091 HAS SOUPS 119091 WITH SCORE 119343.617
AT ITER 4643 NEW BEST:: SOT 544175 SOS 252617 HAS SOPS 252617 HAS SOUS 119049 HAS SOUPS 119049 WITH SCORE 119301.617
AT ITER 4666 NEW BEST:: SOT 544175 SOS 252617 HAS SOPS 252617 HAS SOUS 119024 HAS SOUPS 119024 WITH SCORE 119276.617
AT ITER 4668 NEW BEST:: SOT 543840 SOS 252181 HAS SOPS 252181 HAS SOUS 118874 HAS SOUPS 118874 WITH SCORE 119126.181
AT ITER 4702 NEW BEST:: SOT 543650 SOS 251792 HAS SOPS 251792 HAS SOUS 118689 HAS SOUPS 118689 WITH SCORE 118940.792
AT ITER 4715 NEW BEST:: SOT 543650 SOS 251745 HAS SOPS 251745 HAS SOUS 118626 HAS SOUPS 118626 WITH SCORE 118877.745
AT ITER 4720 NEW BEST:: SOT 543438 SOS 251406 HAS SOPS 251406 HAS SOUS 118536 HAS SOUPS 118536 WITH SCORE 118787.406
AT ITER 4739 NEW BEST:: SOT 543445 SOS 251408 HAS SOPS 251408 HAS SOUS 118531 HAS SOUPS 118531 WITH SCORE 118782.408
AT ITER 4741 NEW BEST:: SOT 543421 SOS 251360 HAS SOPS 251360 HAS SOUS 118483 HAS SOUPS 118483 WITH SCORE 118734.36
AT ITER 4758 NEW BEST:: SOT 543751 SOS 251587 HAS SOPS 251587 HAS SOUS 118385 HAS SOUPS 118385 WITH SCORE 118636.587
AT ITER 4759 NEW BEST:: SOT 543751 SOS 251587 HAS SOPS 251587 HAS SOUS 118313 HAS SOUPS 118313 WITH SCORE 118564.587
AT ITER 4772 NEW BEST:: SOT 543799 SOS 251572 HAS SOPS 251572 HAS SOUS 118199 HAS SOUPS 118199 WITH SCORE 118450.572
AT ITER 4784 NEW BEST:: SOT 543786 SOS 251559 HAS SOPS 251559 HAS SOUS 118198 HAS SOUPS 118198 WITH SCORE 118449.559
AT ITER 4802 NEW BEST:: SOT 543781 SOS 251452 HAS SOPS 251452 HAS SOUS 118160 HAS SOUPS 118160 WITH SCORE 118411.452
AT ITER 4818 NEW BEST:: SOT 543781 SOS 251361 HAS SOPS 251361 HAS SOUS 118069 HAS SOUPS 118069 WITH SCORE 118320.361
AT ITER 4828 NEW BEST:: SOT 543740 SOS 251151 HAS SOPS 251151 HAS SOUS 117995 HAS SOUPS 117995 WITH SCORE 118246.151
AT ITER 4842 NEW BEST:: SOT 543737 SOS 251148 HAS SOPS 251148 HAS SOUS 117980 HAS SOUPS 117980 WITH SCORE 118231.148
AT ITER 4843 NEW BEST:: SOT 543737 SOS 251137 HAS SOPS 251137 HAS SOUS 117969 HAS SOUPS 117969 WITH SCORE 118220.137
AT ITER 4844 NEW BEST:: SOT 543656 SOS 251056 HAS SOPS 251056 HAS SOUS 117843 HAS SOUPS 117843 WITH SCORE 118094.056
AT ITER 4846 NEW BEST:: SOT 543487 SOS 250954 HAS SOPS 250954 HAS SOUS 117667 HAS SOUPS 117667 WITH SCORE 117917.954
AT ITER 4847 NEW BEST:: SOT 543469 SOS 250784 HAS SOPS 250784 HAS SOUS 117465 HAS SOUPS 117465 WITH SCORE 117715.784
AT ITER 4849 NEW BEST:: SOT 543505 SOS 250849 HAS SOPS 250849 HAS SOUS 117445 HAS SOUPS 117445 WITH SCORE 117695.849
AT ITER 4870 NEW BEST:: SOT 543473 SOS 250785 HAS SOPS 250785 HAS SOUS 117381 HAS SOUPS 117381 WITH SCORE 117631.785
AT ITER 4871 NEW BEST:: SOT 543352 SOS 250664 HAS SOPS 250664 HAS SOUS 117260 HAS SOUPS 117260 WITH SCORE 117510.664
AT ITER 4873 NEW BEST:: SOT 543352 SOS 250632 HAS SOPS 250632 HAS SOUS 117260 HAS SOUPS 117260 WITH SCORE 117510.632
AT ITER 4875 NEW BEST:: SOT 543352 SOS 250488 HAS SOPS 250488 HAS SOUS 117257 HAS SOUPS 117257 WITH SCORE 117507.488
AT ITER 4902 NEW BEST:: SOT 543116 SOS 250293 HAS SOPS 250293 HAS SOUS 117062 HAS SOUPS 117062 WITH SCORE 117312.293
AT ITER 4905 NEW BEST:: SOT 543095 SOS 250251 HAS SOPS 250251 HAS SOUS 116995 HAS SOUPS 116995 WITH SCORE 117245.251
AT ITER 4908 NEW BEST:: SOT 543078 SOS 250234 HAS SOPS 250234 HAS SOUS 116995 HAS SOUPS 116995 WITH SCORE 117245.234
AT ITER 4911 NEW BEST:: SOT 543056 SOS 249867 HAS SOPS 249867 HAS SOUS 116973 HAS SOUPS 116973 WITH SCORE 117222.867
AT ITER 4919 NEW BEST:: SOT 543056 SOS 249867 HAS SOPS 249867 HAS SOUS 116939 HAS SOUPS 116939 WITH SCORE 117188.867
AT ITER 4927 NEW BEST:: SOT 543070 SOS 249932 HAS SOPS 249932 HAS SOUS 116930 HAS SOUPS 116930 WITH SCORE 117179.932
AT ITER 4928 NEW BEST:: SOT 542751 SOS 249613 HAS SOPS 249613 HAS SOUS 116797 HAS SOUPS 116797 WITH SCORE 117046.613
AT ITER 4930 NEW BEST:: SOT 542749 SOS 249524 HAS SOPS 249524 HAS SOUS 116795 HAS SOUPS 116795 WITH SCORE 117044.524
AT ITER 4961 NEW BEST:: SOT 542829 SOS 249325 HAS SOPS 249325 HAS SOUS 116602 HAS SOUPS 116602 WITH SCORE 116851.325
AT ITER 4963 NEW BEST:: SOT 542728 SOS 249224 HAS SOPS 249224 HAS SOUS 116575 HAS SOUPS 116575 WITH SCORE 116824.224
AT ITER 4968 NEW BEST:: SOT 542753 SOS 249234 HAS SOPS 249234 HAS SOUS 116545 HAS SOUPS 116545 WITH SCORE 116794.234
AT ITER 4975 NEW BEST:: SOT 542743 SOS 249400 HAS SOPS 249400 HAS SOUS 116544 HAS SOUPS 116544 WITH SCORE 116793.4
AT ITER 4981 NEW BEST:: SOT 542741 SOS 249386 HAS SOPS 249386 HAS SOUS 116540 HAS SOUPS 116540 WITH SCORE 116789.386
AT ITER 4990 NEW BEST:: SOT 542673 SOS 249318 HAS SOPS 249318 HAS SOUS 116472 HAS SOUPS 116472 WITH SCORE 116721.318
AT ITER 4996 NEW BEST:: SOT 542650 SOS 249295 HAS SOPS 249295 HAS SOUS 116426 HAS SOUPS 116426 WITH SCORE 116675.295
AT ITER 5019 NEW BEST:: SOT 542610 SOS 249215 HAS SOPS 249215 HAS SOUS 116386 HAS SOUPS 116386 WITH SCORE 116635.215
AT ITER 5023 NEW BEST:: SOT 542566 SOS 249127 HAS SOPS 249127 HAS SOUS 116342 HAS SOUPS 116342 WITH SCORE 116591.127
AT ITER 5032 NEW BEST:: SOT 542118 SOS 248658 HAS SOPS 248658 HAS SOUS 116045 HAS SOUPS 116045 WITH SCORE 116293.658
AT ITER 5062 NEW BEST:: SOT 542025 SOS 248565 HAS SOPS 248565 HAS SOUS 115984 HAS SOUPS 115984 WITH SCORE 116232.565
AT ITER 5068 NEW BEST:: SOT 542049 SOS 248328 HAS SOPS 248328 HAS SOUS 115747 HAS SOUPS 115747 WITH SCORE 115995.328
AT ITER 5073 NEW BEST:: SOT 542038 SOS 248798 HAS SOPS 248798 HAS SOUS 115598 HAS SOUPS 115598 WITH SCORE 115846.798
AT ITER 5082 NEW BEST:: SOT 542009 SOS 248830 HAS SOPS 248830 HAS SOUS 115540 HAS SOUPS 115540 WITH SCORE 115788.83
AT ITER 5095 NEW BEST:: SOT 541929 SOS 248518 HAS SOPS 248518 HAS SOUS 115485 HAS SOUPS 115485 WITH SCORE 115733.518
AT ITER 5134 NEW BEST:: SOT 542008 SOS 248489 HAS SOPS 248489 HAS SOUS 115370 HAS SOUPS 115370 WITH SCORE 115618.489
AT ITER 5213 NEW BEST:: SOT 542022 SOS 248741 HAS SOPS 248741 HAS SOUS 115206 HAS SOUPS 115206 WITH SCORE 115454.741
AT ITER 5227 NEW BEST:: SOT 541959 SOS 248761 HAS SOPS 248761 HAS SOUS 115143 HAS SOUPS 115143 WITH SCORE 115391.761
AT ITER 5230 NEW BEST:: SOT 541983 SOS 248950 HAS SOPS 248950 HAS SOUS 115109 HAS SOUPS 115109 WITH SCORE 115357.95
AT ITER 5239 NEW BEST:: SOT 541983 SOS 248880 HAS SOPS 248880 HAS SOUS 115071 HAS SOUPS 115071 WITH SCORE 115319.88
AT ITER 5256 NEW BEST:: SOT 541966 SOS 248863 HAS SOPS 248863 HAS SOUS 115051 HAS SOUPS 115051 WITH SCORE 115299.863
AT ITER 5264 NEW BEST:: SOT 541880 SOS 248811 HAS SOPS 248811 HAS SOUS 115010 HAS SOUPS 115010 WITH SCORE 115258.811
AT ITER 5265 NEW BEST:: SOT 541860 SOS 248771 HAS SOPS 248771 HAS SOUS 114990 HAS SOUPS 114990 WITH SCORE 115238.771
AT ITER 5277 NEW BEST:: SOT 541694 SOS 248507 HAS SOPS 248507 HAS SOUS 114631 HAS SOUPS 114631 WITH SCORE 114879.507
AT ITER 5279 NEW BEST:: SOT 541695 SOS 248575 HAS SOPS 248575 HAS SOUS 114477 HAS SOUPS 114477 WITH SCORE 114725.575
AT ITER 5287 NEW BEST:: SOT 541592 SOS 248251 HAS SOPS 248251 HAS SOUS 114330 HAS SOUPS 114330 WITH SCORE 114578.251
AT ITER 5293 NEW BEST:: SOT 541554 SOS 248099 HAS SOPS 248099 HAS SOUS 114265 HAS SOUPS 114265 WITH SCORE 114513.099
AT ITER 5307 NEW BEST:: SOT 541554 SOS 248080 HAS SOPS 248080 HAS SOUS 114265 HAS SOUPS 114265 WITH SCORE 114513.08
AT ITER 5316 NEW BEST:: SOT 541403 SOS 247929 HAS SOPS 247929 HAS SOUS 114137 HAS SOUPS 114137 WITH SCORE 114384.929
AT ITER 5317 NEW BEST:: SOT 541325 SOS 247965 HAS SOPS 247965 HAS SOUS 114058 HAS SOUPS 114058 WITH SCORE 114305.965
AT ITER 5327 NEW BEST:: SOT 541260 SOS 247835 HAS SOPS 247835 HAS SOUS 113928 HAS SOUPS 113928 WITH SCORE 114175.835
AT ITER 5359 NEW BEST:: SOT 541294 SOS 247852 HAS SOPS 247852 HAS SOUS 113911 HAS SOUPS 113911 WITH SCORE 114158.852
AT ITER 5362 NEW BEST:: SOT 541203 SOS 247756 HAS SOPS 247756 HAS SOUS 113906 HAS SOUPS 113906 WITH SCORE 114153.756
AT ITER 5368 NEW BEST:: SOT 541172 SOS 247671 HAS SOPS 247671 HAS SOUS 113821 HAS SOUPS 113821 WITH SCORE 114068.671
AT ITER 5371 NEW BEST:: SOT 541110 SOS 247772 HAS SOPS 247772 HAS SOUS 113813 HAS SOUPS 113813 WITH SCORE 114060.772
AT ITER 5395 NEW BEST:: SOT 541105 SOS 247757 HAS SOPS 247757 HAS SOUS 113803 HAS SOUPS 113803 WITH SCORE 114050.757
AT ITER 5406 NEW BEST:: SOT 541047 SOS 247669 HAS SOPS 247669 HAS SOUS 113745 HAS SOUPS 113745 WITH SCORE 113992.669
AT ITER 5434 NEW BEST:: SOT 540999 SOS 247621 HAS SOPS 247621 HAS SOUS 113697 HAS SOUPS 113697 WITH SCORE 113944.621
AT ITER 5473 NEW BEST:: SOT 540980 SOS 247602 HAS SOPS 247602 HAS SOUS 113678 HAS SOUPS 113678 WITH SCORE 113925.602
AT ITER 5477 NEW BEST:: SOT 540888 SOS 247437 HAS SOPS 247437 HAS SOUS 113628 HAS SOUPS 113628 WITH SCORE 113875.437
AT ITER 5487 NEW BEST:: SOT 540900 SOS 247330 HAS SOPS 247330 HAS SOUS 113521 HAS SOUPS 113521 WITH SCORE 113768.33
AT ITER 5522 NEW BEST:: SOT 540786 SOS 247102 HAS SOPS 247102 HAS SOUS 113293 HAS SOUPS 113293 WITH SCORE 113540.102
AT ITER 5524 NEW BEST:: SOT 540730 SOS 246909 HAS SOPS 246909 HAS SOUS 113181 HAS SOUPS 113181 WITH SCORE 113427.909
AT ITER 5544 NEW BEST:: SOT 540724 SOS 246692 HAS SOPS 246692 HAS SOUS 112964 HAS SOUPS 112964 WITH SCORE 113210.692
AT ITER 5559 NEW BEST:: SOT 540719 SOS 246682 HAS SOPS 246682 HAS SOUS 112959 HAS SOUPS 112959 WITH SCORE 113205.682
AT ITER 5579 NEW BEST:: SOT 540815 SOS 246504 HAS SOPS 246504 HAS SOUS 112955 HAS SOUPS 112955 WITH SCORE 113201.504
AT ITER 5590 NEW BEST:: SOT 540841 SOS 246406 HAS SOPS 246406 HAS SOUS 112707 HAS SOUPS 112707 WITH SCORE 112953.406
AT ITER 5592 NEW BEST:: SOT 540860 SOS 246385 HAS SOPS 246385 HAS SOUS 112686 HAS SOUPS 112686 WITH SCORE 112932.385
AT ITER 5599 NEW BEST:: SOT 540654 SOS 246029 HAS SOPS 246029 HAS SOUS 112555 HAS SOUPS 112555 WITH SCORE 112801.029
AT ITER 5618 NEW BEST:: SOT 540654 SOS 246025 HAS SOPS 246025 HAS SOUS 112555 HAS SOUPS 112555 WITH SCORE 112801.025
AT ITER 5627 NEW BEST:: SOT 540669 SOS 246112 HAS SOPS 246112 HAS SOUS 112528 HAS SOUPS 112528 WITH SCORE 112774.112
AT ITER 5648 NEW BEST:: SOT 540666 SOS 246109 HAS SOPS 246109 HAS SOUS 112525 HAS SOUPS 112525 WITH SCORE 112771.109
AT ITER 5671 NEW BEST:: SOT 540556 SOS 245714 HAS SOPS 245714 HAS SOUS 112363 HAS SOUPS 112363 WITH SCORE 112608.714
AT ITER 5693 NEW BEST:: SOT 540520 SOS 245678 HAS SOPS 245678 HAS SOUS 112281 HAS SOUPS 112281 WITH SCORE 112526.678
AT ITER 5697 NEW BEST:: SOT 540520 SOS 245671 HAS SOPS 245671 HAS SOUS 112274 HAS SOUPS 112274 WITH SCORE 112519.671
AT ITER 5700 NEW BEST:: SOT 540506 SOS 245669 HAS SOPS 245669 HAS SOUS 112246 HAS SOUPS 112246 WITH SCORE 112491.669
AT ITER 5704 NEW BEST:: SOT 540513 SOS 245589 HAS SOPS 245589 HAS SOUS 112134 HAS SOUPS 112134 WITH SCORE 112379.589
AT ITER 5710 NEW BEST:: SOT 540529 SOS 245568 HAS SOPS 245568 HAS SOUS 112113 HAS SOUPS 112113 WITH SCORE 112358.568
AT ITER 5715 NEW BEST:: SOT 540468 SOS 245503 HAS SOPS 245503 HAS SOUS 112091 HAS SOUPS 112091 WITH SCORE 112336.503
AT ITER 5716 NEW BEST:: SOT 540283 SOS 245371 HAS SOPS 245371 HAS SOUS 112073 HAS SOUPS 112073 WITH SCORE 112318.371
AT ITER 5728 NEW BEST:: SOT 540231 SOS 245436 HAS SOPS 245436 HAS SOUS 112011 HAS SOUPS 112011 WITH SCORE 112256.436
AT ITER 5734 NEW BEST:: SOT 540209 SOS 245392 HAS SOPS 245392 HAS SOUS 111958 HAS SOUPS 111958 WITH SCORE 112203.392
AT ITER 5741 NEW BEST:: SOT 540209 SOS 245392 HAS SOPS 245392 HAS SOUS 111942 HAS SOUPS 111942 WITH SCORE 112187.392
AT ITER 5743 NEW BEST:: SOT 540255 SOS 245353 HAS SOPS 245353 HAS SOUS 111763 HAS SOUPS 111763 WITH SCORE 112008.353
AT ITER 5752 NEW BEST:: SOT 540178 SOS 245276 HAS SOPS 245276 HAS SOUS 111686 HAS SOUPS 111686 WITH SCORE 111931.276
AT ITER 5771 NEW BEST:: SOT 540090 SOS 245117 HAS SOPS 245117 HAS SOUS 111615 HAS SOUPS 111615 WITH SCORE 111860.117
AT ITER 5776 NEW BEST:: SOT 540021 SOS 244862 HAS SOPS 244862 HAS SOUS 111418 HAS SOUPS 111418 WITH SCORE 111662.862
AT ITER 5798 NEW BEST:: SOT 539963 SOS 244804 HAS SOPS 244804 HAS SOUS 111384 HAS SOUPS 111384 WITH SCORE 111628.804
AT ITER 5803 NEW BEST:: SOT 539963 SOS 244783 HAS SOPS 244783 HAS SOUS 111363 HAS SOUPS 111363 WITH SCORE 111607.783
AT ITER 5832 NEW BEST:: SOT 539919 SOS 244783 HAS SOPS 244783 HAS SOUS 111319 HAS SOUPS 111319 WITH SCORE 111563.783
AT ITER 5835 NEW BEST:: SOT 539848 SOS 244641 HAS SOPS 244641 HAS SOUS 111243 HAS SOUPS 111243 WITH SCORE 111487.641
AT ITER 5836 NEW BEST:: SOT 539746 SOS 244553 HAS SOPS 244553 HAS SOUS 111162 HAS SOUPS 111162 WITH SCORE 111406.553
AT ITER 5845 NEW BEST:: SOT 539649 SOS 244456 HAS SOPS 244456 HAS SOUS 111048 HAS SOUPS 111048 WITH SCORE 111292.456
AT ITER 5857 NEW BEST:: SOT 539649 SOS 244443 HAS SOPS 244443 HAS SOUS 111048 HAS SOUPS 111048 WITH SCORE 111292.443
AT ITER 5864 NEW BEST:: SOT 539697 SOS 244539 HAS SOPS 244539 HAS SOUS 111039 HAS SOUPS 111039 WITH SCORE 111283.539
AT ITER 5903 NEW BEST:: SOT 539651 SOS 244511 HAS SOPS 244511 HAS SOUS 111020 HAS SOUPS 111020 WITH SCORE 111264.511
AT ITER 5909 NEW BEST:: SOT 539499 SOS 244207 HAS SOPS 244207 HAS SOUS 110868 HAS SOUPS 110868 WITH SCORE 111112.207
AT ITER 5911 NEW BEST:: SOT 539491 SOS 244199 HAS SOPS 244199 HAS SOUS 110860 HAS SOUPS 110860 WITH SCORE 111104.199
AT ITER 5915 NEW BEST:: SOT 539505 SOS 244328 HAS SOPS 244328 HAS SOUS 110787 HAS SOUPS 110787 WITH SCORE 111031.328
AT ITER 5932 NEW BEST:: SOT 539492 SOS 244245 HAS SOPS 244245 HAS SOUS 110770 HAS SOUPS 110770 WITH SCORE 111014.245
AT ITER 5937 NEW BEST:: SOT 539487 SOS 244074 HAS SOPS 244074 HAS SOUS 110599 HAS SOUPS 110599 WITH SCORE 110843.074
AT ITER 5944 NEW BEST:: SOT 539278 SOS 243885 HAS SOPS 243885 HAS SOUS 110410 HAS SOUPS 110410 WITH SCORE 110653.885
AT ITER 5954 NEW BEST:: SOT 539268 SOS 243725 HAS SOPS 243725 HAS SOUS 110390 HAS SOUPS 110390 WITH SCORE 110633.725
AT ITER 5972 NEW BEST:: SOT 539261 SOS 243711 HAS SOPS 243711 HAS SOUS 110376 HAS SOUPS 110376 WITH SCORE 110619.711
AT ITER 5973 NEW BEST:: SOT 539270 SOS 243729 HAS SOPS 243729 HAS SOUS 110350 HAS SOUPS 110350 WITH SCORE 110593.729
AT ITER 5979 NEW BEST:: SOT 539210 SOS 243657 HAS SOPS 243657 HAS SOUS 110326 HAS SOUPS 110326 WITH SCORE 110569.657
AT ITER 5985 NEW BEST:: SOT 539178 SOS 243559 HAS SOPS 243559 HAS SOUS 110252 HAS SOUPS 110252 WITH SCORE 110495.559
AT ITER 5986 NEW BEST:: SOT 539081 SOS 241480 HAS SOPS 241480 HAS SOUS 110142 HAS SOUPS 110142 WITH SCORE 110383.48
AT ITER 5990 NEW BEST:: SOT 539081 SOS 241463 HAS SOPS 241463 HAS SOUS 110075 HAS SOUPS 110075 WITH SCORE 110316.463
AT ITER 5993 NEW BEST:: SOT 538737 SOS 240648 HAS SOPS 240648 HAS SOUS 109976 HAS SOUPS 109976 WITH SCORE 110216.648
AT ITER 6001 NEW BEST:: SOT 538708 SOS 240590 HAS SOPS 240590 HAS SOUS 109918 HAS SOUPS 109918 WITH SCORE 110158.59
AT ITER 6003 NEW BEST:: SOT 538647 SOS 240529 HAS SOPS 240529 HAS SOUS 109857 HAS SOUPS 109857 WITH SCORE 110097.529
AT ITER 6009 NEW BEST:: SOT 538533 SOS 240301 HAS SOPS 240301 HAS SOUS 109800 HAS SOUPS 109800 WITH SCORE 110040.301
AT ITER 6036 NEW BEST:: SOT 538505 SOS 240268 HAS SOPS 240268 HAS SOUS 109767 HAS SOUPS 109767 WITH SCORE 110007.268
AT ITER 6037 NEW BEST:: SOT 538505 SOS 240204 HAS SOPS 240204 HAS SOUS 109767 HAS SOUPS 109767 WITH SCORE 110007.204
AT ITER 6054 NEW BEST:: SOT 538539 SOS 240174 HAS SOPS 240174 HAS SOUS 109748 HAS SOUPS 109748 WITH SCORE 109988.174
AT ITER 6083 NEW BEST:: SOT 538510 SOS 240145 HAS SOPS 240145 HAS SOUS 109719 HAS SOUPS 109719 WITH SCORE 109959.145
AT ITER 6122 NEW BEST:: SOT 538484 SOS 240199 HAS SOPS 240199 HAS SOUS 109692 HAS SOUPS 109692 WITH SCORE 109932.199
AT ITER 6134 NEW BEST:: SOT 538481 SOS 240145 HAS SOPS 240145 HAS SOUS 109689 HAS SOUPS 109689 WITH SCORE 109929.145
AT ITER 6142 NEW BEST:: SOT 538461 SOS 240125 HAS SOPS 240125 HAS SOUS 109522 HAS SOUPS 109522 WITH SCORE 109762.125
AT ITER 6150 NEW BEST:: SOT 538461 SOS 240125 HAS SOPS 240125 HAS SOUS 109487 HAS SOUPS 109487 WITH SCORE 109727.125
AT ITER 6156 NEW BEST:: SOT 538496 SOS 240183 HAS SOPS 240183 HAS SOUS 109459 HAS SOUPS 109459 WITH SCORE 109699.183
AT ITER 6223 NEW BEST:: SOT 538468 SOS 240141 HAS SOPS 240141 HAS SOUS 109431 HAS SOUPS 109431 WITH SCORE 109671.141
AT ITER 6224 NEW BEST:: SOT 538463 SOS 239234 HAS SOPS 239234 HAS SOUS 109426 HAS SOUPS 109426 WITH SCORE 109665.234
AT ITER 6225 NEW BEST:: SOT 538429 SOS 239200 HAS SOPS 239200 HAS SOUS 109392 HAS SOUPS 109392 WITH SCORE 109631.2
AT ITER 6245 NEW BEST:: SOT 538429 SOS 239086 HAS SOPS 239086 HAS SOUS 109392 HAS SOUPS 109392 WITH SCORE 109631.086
AT ITER 6259 NEW BEST:: SOT 538421 SOS 239078 HAS SOPS 239078 HAS SOUS 109384 HAS SOUPS 109384 WITH SCORE 109623.078
AT ITER 6265 NEW BEST:: SOT 538420 SOS 239077 HAS SOPS 239077 HAS SOUS 109362 HAS SOUPS 109362 WITH SCORE 109601.077
AT ITER 6269 NEW BEST:: SOT 538286 SOS 238936 HAS SOPS 238936 HAS SOUS 109157 HAS SOUPS 109157 WITH SCORE 109395.936
AT ITER 6315 NEW BEST:: SOT 538434 SOS 239045 HAS SOPS 239045 HAS SOUS 109118 HAS SOUPS 109118 WITH SCORE 109357.045
AT ITER 6316 NEW BEST:: SOT 538352 SOS 238963 HAS SOPS 238963 HAS SOUS 108954 HAS SOUPS 108954 WITH SCORE 109192.963
AT ITER 6318 NEW BEST:: SOT 538328 SOS 238695 HAS SOPS 238695 HAS SOUS 108930 HAS SOUPS 108930 WITH SCORE 109168.695
AT ITER 6320 NEW BEST:: SOT 538328 SOS 238603 HAS SOPS 238603 HAS SOUS 108930 HAS SOUPS 108930 WITH SCORE 109168.603
AT ITER 6323 NEW BEST:: SOT 538328 SOS 238537 HAS SOPS 238537 HAS SOUS 108930 HAS SOUPS 108930 WITH SCORE 109168.537
AT ITER 6327 NEW BEST:: SOT 538292 SOS 238465 HAS SOPS 238465 HAS SOUS 108882 HAS SOUPS 108882 WITH SCORE 109120.465
AT ITER 6330 NEW BEST:: SOT 538286 SOS 238453 HAS SOPS 238453 HAS SOUS 108870 HAS SOUPS 108870 WITH SCORE 109108.453
AT ITER 6341 NEW BEST:: SOT 538286 SOS 238431 HAS SOPS 238431 HAS SOUS 108857 HAS SOUPS 108857 WITH SCORE 109095.431
AT ITER 6349 NEW BEST:: SOT 538105 SOS 238155 HAS SOPS 238155 HAS SOUS 108676 HAS SOUPS 108676 WITH SCORE 108914.155
AT ITER 6353 NEW BEST:: SOT 538105 SOS 238155 HAS SOPS 238155 HAS SOUS 108652 HAS SOUPS 108652 WITH SCORE 108890.155
AT ITER 6374 NEW BEST:: SOT 538079 SOS 238105 HAS SOPS 238105 HAS SOUS 108628 HAS SOUPS 108628 WITH SCORE 108866.105
AT ITER 6376 NEW BEST:: SOT 538043 SOS 238069 HAS SOPS 238069 HAS SOUS 108543 HAS SOUPS 108543 WITH SCORE 108781.069
AT ITER 6380 NEW BEST:: SOT 538043 SOS 237970 HAS SOPS 237970 HAS SOUS 108444 HAS SOUPS 108444 WITH SCORE 108681.97
AT ITER 6394 NEW BEST:: SOT 538040 SOS 238029 HAS SOPS 238029 HAS SOUS 108441 HAS SOUPS 108441 WITH SCORE 108679.029
AT ITER 6444 NEW BEST:: SOT 538025 SOS 237999 HAS SOPS 237999 HAS SOUS 108426 HAS SOUPS 108426 WITH SCORE 108663.999
AT ITER 6459 NEW BEST:: SOT 538064 SOS 238077 HAS SOPS 238077 HAS SOUS 108422 HAS SOUPS 108422 WITH SCORE 108660.077
AT ITER 6462 NEW BEST:: SOT 538041 SOS 237095 HAS SOPS 237095 HAS SOUS 108393 HAS SOUPS 108393 WITH SCORE 108630.095
AT ITER 6469 NEW BEST:: SOT 538041 SOS 237095 HAS SOPS 237095 HAS SOUS 108391 HAS SOUPS 108391 WITH SCORE 108628.095
AT ITER 6563 NEW BEST:: SOT 537992 SOS 236997 HAS SOPS 236997 HAS SOUS 108342 HAS SOUPS 108342 WITH SCORE 108578.997
AT ITER 6569 NEW BEST:: SOT 538154 SOS 236790 HAS SOPS 236790 HAS SOUS 108237 HAS SOUPS 108237 WITH SCORE 108473.79
AT ITER 6573 NEW BEST:: SOT 538106 SOS 236742 HAS SOPS 236742 HAS SOUS 108189 HAS SOUPS 108189 WITH SCORE 108425.742
AT ITER 6576 NEW BEST:: SOT 538092 SOS 236728 HAS SOPS 236728 HAS SOUS 108189 HAS SOUPS 108189 WITH SCORE 108425.728
AT ITER 6583 NEW BEST:: SOT 538092 SOS 236728 HAS SOPS 236728 HAS SOUS 108174 HAS SOUPS 108174 WITH SCORE 108410.728
AT ITER 6602 NEW BEST:: SOT 538066 SOS 236676 HAS SOPS 236676 HAS SOUS 108122 HAS SOUPS 108122 WITH SCORE 108358.676
AT ITER 6606 NEW BEST:: SOT 538080 SOS 236610 HAS SOPS 236610 HAS SOUS 108070 HAS SOUPS 108070 WITH SCORE 108306.61
AT ITER 6615 NEW BEST:: SOT 538074 SOS 236638 HAS SOPS 236638 HAS SOUS 108057 HAS SOUPS 108057 WITH SCORE 108293.638
AT ITER 6625 NEW BEST:: SOT 538188 SOS 236458 HAS SOPS 236458 HAS SOUS 107933 HAS SOUPS 107933 WITH SCORE 108169.458
AT ITER 6630 NEW BEST:: SOT 538139 SOS 236360 HAS SOPS 236360 HAS SOUS 107861 HAS SOUPS 107861 WITH SCORE 108097.36
AT ITER 6634 NEW BEST:: SOT 538048 SOS 236276 HAS SOPS 236276 HAS SOUS 107755 HAS SOUPS 107755 WITH SCORE 107991.276
AT ITER 6650 NEW BEST:: SOT 538048 SOS 236259 HAS SOPS 236259 HAS SOUS 107750 HAS SOUPS 107750 WITH SCORE 107986.259
AT ITER 6669 NEW BEST:: SOT 538076 SOS 236173 HAS SOPS 236173 HAS SOUS 107592 HAS SOUPS 107592 WITH SCORE 107828.173
AT ITER 6672 NEW BEST:: SOT 538021 SOS 236020 HAS SOPS 236020 HAS SOUS 107494 HAS SOUPS 107494 WITH SCORE 107730.02
AT ITER 6684 NEW BEST:: SOT 538021 SOS 236010 HAS SOPS 236010 HAS SOUS 107494 HAS SOUPS 107494 WITH SCORE 107730.01
AT ITER 6685 NEW BEST:: SOT 537854 SOS 235814 HAS SOPS 235814 HAS SOUS 107436 HAS SOUPS 107436 WITH SCORE 107671.814
AT ITER 6689 NEW BEST:: SOT 537854 SOS 235870 HAS SOPS 235870 HAS SOUS 107306 HAS SOUPS 107306 WITH SCORE 107541.87
AT ITER 6698 NEW BEST:: SOT 537830 SOS 235798 HAS SOPS 235798 HAS SOUS 107258 HAS SOUPS 107258 WITH SCORE 107493.798
AT ITER 6702 NEW BEST:: SOT 537779 SOS 235696 HAS SOPS 235696 HAS SOUS 107156 HAS SOUPS 107156 WITH SCORE 107391.696
AT ITER 6711 NEW BEST:: SOT 537797 SOS 235665 HAS SOPS 235665 HAS SOUS 107134 HAS SOUPS 107134 WITH SCORE 107369.665
AT ITER 6713 NEW BEST:: SOT 537801 SOS 235130 HAS SOPS 235130 HAS SOUS 107102 HAS SOUPS 107102 WITH SCORE 107337.13
AT ITER 6721 NEW BEST:: SOT 537764 SOS 235093 HAS SOPS 235093 HAS SOUS 107102 HAS SOUPS 107102 WITH SCORE 107337.093
AT ITER 6722 NEW BEST:: SOT 537632 SOS 234961 HAS SOPS 234961 HAS SOUS 106970 HAS SOUPS 106970 WITH SCORE 107204.961
AT ITER 6731 NEW BEST:: SOT 537632 SOS 234956 HAS SOPS 234956 HAS SOUS 106965 HAS SOUPS 106965 WITH SCORE 107199.956
AT ITER 6753 NEW BEST:: SOT 537608 SOS 234908 HAS SOPS 234908 HAS SOUS 106934 HAS SOUPS 106934 WITH SCORE 107168.908
AT ITER 6757 NEW BEST:: SOT 537571 SOS 234898 HAS SOPS 234898 HAS SOUS 106924 HAS SOUPS 106924 WITH SCORE 107158.898
AT ITER 6775 NEW BEST:: SOT 537473 SOS 234679 HAS SOPS 234679 HAS SOUS 106639 HAS SOUPS 106639 WITH SCORE 106873.679
AT ITER 6804 NEW BEST:: SOT 537412 SOS 234557 HAS SOPS 234557 HAS SOUS 106538 HAS SOUPS 106538 WITH SCORE 106772.557
AT ITER 6849 NEW BEST:: SOT 537301 SOS 234335 HAS SOPS 234335 HAS SOUS 106321 HAS SOUPS 106321 WITH SCORE 106555.335
AT ITER 6869 NEW BEST:: SOT 537270 SOS 234273 HAS SOPS 234273 HAS SOUS 106311 HAS SOUPS 106311 WITH SCORE 106545.273
AT ITER 6885 NEW BEST:: SOT 537245 SOS 234248 HAS SOPS 234248 HAS SOUS 106308 HAS SOUPS 106308 WITH SCORE 106542.248
AT ITER 6888 NEW BEST:: SOT 537245 SOS 234248 HAS SOPS 234248 HAS SOUS 106255 HAS SOUPS 106255 WITH SCORE 106489.248
AT ITER 6907 NEW BEST:: SOT 537235 SOS 234214 HAS SOPS 234214 HAS SOUS 106249 HAS SOUPS 106249 WITH SCORE 106483.214
AT ITER 6946 NEW BEST:: SOT 537223 SOS 234202 HAS SOPS 234202 HAS SOUS 106184 HAS SOUPS 106184 WITH SCORE 106418.202
AT ITER 6952 NEW BEST:: SOT 537213 SOS 234163 HAS SOPS 234163 HAS SOUS 106174 HAS SOUPS 106174 WITH SCORE 106408.163
AT ITER 6963 NEW BEST:: SOT 537139 SOS 234145 HAS SOPS 234145 HAS SOUS 106167 HAS SOUPS 106167 WITH SCORE 106401.145
AT ITER 6981 NEW BEST:: SOT 537122 SOS 234128 HAS SOPS 234128 HAS SOUS 106127 HAS SOUPS 106127 WITH SCORE 106361.128
AT ITER 7006 NEW BEST:: SOT 537063 SOS 234069 HAS SOPS 234069 HAS SOUS 106127 HAS SOUPS 106127 WITH SCORE 106361.069
AT ITER 7012 NEW BEST:: SOT 536979 SOS 233997 HAS SOPS 233997 HAS SOUS 106055 HAS SOUPS 106055 WITH SCORE 106288.997
AT ITER 7036 NEW BEST:: SOT 536713 SOS 234797 HAS SOPS 234797 HAS SOUS 106024 HAS SOUPS 106024 WITH SCORE 106258.797
AT ITER 7072 NEW BEST:: SOT 536719 SOS 234803 HAS SOPS 234803 HAS SOUS 106022 HAS SOUPS 106022 WITH SCORE 106256.803
AT ITER 7074 NEW BEST:: SOT 536673 SOS 234711 HAS SOPS 234711 HAS SOUS 105976 HAS SOUPS 105976 WITH SCORE 106210.711
AT ITER 7077 NEW BEST:: SOT 536673 SOS 234671 HAS SOPS 234671 HAS SOUS 105936 HAS SOUPS 105936 WITH SCORE 106170.671
AT ITER 7101 NEW BEST:: SOT 536648 SOS 234621 HAS SOPS 234621 HAS SOUS 105911 HAS SOUPS 105911 WITH SCORE 106145.621
AT ITER 7114 NEW BEST:: SOT 536572 SOS 234469 HAS SOPS 234469 HAS SOUS 105812 HAS SOUPS 105812 WITH SCORE 106046.469
AT ITER 7146 NEW BEST:: SOT 536572 SOS 234231 HAS SOPS 234231 HAS SOUS 105778 HAS SOUPS 105778 WITH SCORE 106012.231
AT ITER 7152 NEW BEST:: SOT 536589 SOS 234239 HAS SOPS 234239 HAS SOUS 105755 HAS SOUPS 105755 WITH SCORE 105989.239
AT ITER 7158 NEW BEST:: SOT 536499 SOS 234171 HAS SOPS 234171 HAS SOUS 105669 HAS SOUPS 105669 WITH SCORE 105903.171
AT ITER 7161 NEW BEST:: SOT 536372 SOS 233930 HAS SOPS 233930 HAS SOUS 105509 HAS SOUPS 105509 WITH SCORE 105742.93
AT ITER 7188 NEW BEST:: SOT 536370 SOS 233928 HAS SOPS 233928 HAS SOUS 105507 HAS SOUPS 105507 WITH SCORE 105740.928
AT ITER 7209 NEW BEST:: SOT 536338 SOS 233606 HAS SOPS 233606 HAS SOUS 105475 HAS SOUPS 105475 WITH SCORE 105708.606
AT ITER 7268 NEW BEST:: SOT 536337 SOS 233512 HAS SOPS 233512 HAS SOUS 105474 HAS SOUPS 105474 WITH SCORE 105707.512
AT ITER 7269 NEW BEST:: SOT 536284 SOS 233406 HAS SOPS 233406 HAS SOUS 105421 HAS SOUPS 105421 WITH SCORE 105654.406
AT ITER 7284 NEW BEST:: SOT 536243 SOS 233324 HAS SOPS 233324 HAS SOUS 105298 HAS SOUPS 105298 WITH SCORE 105531.324
AT ITER 7313 NEW BEST:: SOT 536339 SOS 233504 HAS SOPS 233504 HAS SOUS 105280 HAS SOUPS 105280 WITH SCORE 105513.504
AT ITER 7325 NEW BEST:: SOT 536322 SOS 233487 HAS SOPS 233487 HAS SOUS 105263 HAS SOUPS 105263 WITH SCORE 105496.487
AT ITER 7332 NEW BEST:: SOT 536310 SOS 233475 HAS SOPS 233475 HAS SOUS 105256 HAS SOUPS 105256 WITH SCORE 105489.475
AT ITER 7334 NEW BEST:: SOT 536276 SOS 233771 HAS SOPS 233771 HAS SOUS 105207 HAS SOUPS 105207 WITH SCORE 105440.771
AT ITER 7340 NEW BEST:: SOT 536294 SOS 233732 HAS SOPS 233732 HAS SOUS 105150 HAS SOUPS 105150 WITH SCORE 105383.732
AT ITER 7354 NEW BEST:: SOT 536358 SOS 233223 HAS SOPS 233223 HAS SOUS 105116 HAS SOUPS 105116 WITH SCORE 105349.223
AT ITER 7357 NEW BEST:: SOT 536442 SOS 233270 HAS SOPS 233270 HAS SOUS 105039 HAS SOUPS 105039 WITH SCORE 105272.27
AT ITER 7371 NEW BEST:: SOT 536408 SOS 233122 HAS SOPS 233122 HAS SOUS 104925 HAS SOUPS 104925 WITH SCORE 105158.122
AT ITER 7373 NEW BEST:: SOT 536408 SOS 233051 HAS SOPS 233051 HAS SOUS 104925 HAS SOUPS 104925 WITH SCORE 105158.051
AT ITER 7384 NEW BEST:: SOT 536408 SOS 233031 HAS SOPS 233031 HAS SOUS 104885 HAS SOUPS 104885 WITH SCORE 105118.031
AT ITER 7388 NEW BEST:: SOT 536377 SOS 232969 HAS SOPS 232969 HAS SOUS 104765 HAS SOUPS 104765 WITH SCORE 104997.969
AT ITER 7406 NEW BEST:: SOT 536391 SOS 232909 HAS SOPS 232909 HAS SOUS 104705 HAS SOUPS 104705 WITH SCORE 104937.909
AT ITER 7409 NEW BEST:: SOT 536391 SOS 232909 HAS SOPS 232909 HAS SOUS 104700 HAS SOUPS 104700 WITH SCORE 104932.909
AT ITER 7420 NEW BEST:: SOT 536490 SOS 232913 HAS SOPS 232913 HAS SOUS 104679 HAS SOUPS 104679 WITH SCORE 104911.913
AT ITER 7440 NEW BEST:: SOT 536490 SOS 232840 HAS SOPS 232840 HAS SOUS 104606 HAS SOUPS 104606 WITH SCORE 104838.84
AT ITER 7463 NEW BEST:: SOT 536467 SOS 232817 HAS SOPS 232817 HAS SOUS 104583 HAS SOUPS 104583 WITH SCORE 104815.817
AT ITER 7469 NEW BEST:: SOT 536391 SOS 232665 HAS SOPS 232665 HAS SOUS 104455 HAS SOUPS 104455 WITH SCORE 104687.665
AT ITER 7477 NEW BEST:: SOT 536382 SOS 232656 HAS SOPS 232656 HAS SOUS 104437 HAS SOUPS 104437 WITH SCORE 104669.656
AT ITER 7488 NEW BEST:: SOT 536397 SOS 232686 HAS SOPS 232686 HAS SOUS 104382 HAS SOUPS 104382 WITH SCORE 104614.686
AT ITER 7490 NEW BEST:: SOT 536390 SOS 232672 HAS SOPS 232672 HAS SOUS 104368 HAS SOUPS 104368 WITH SCORE 104600.672
AT ITER 7495 NEW BEST:: SOT 536374 SOS 232649 HAS SOPS 232649 HAS SOUS 104345 HAS SOUPS 104345 WITH SCORE 104577.649
AT ITER 7513 NEW BEST:: SOT 536370 SOS 232625 HAS SOPS 232625 HAS SOUS 104337 HAS SOUPS 104337 WITH SCORE 104569.625
AT ITER 7514 NEW BEST:: SOT 536269 SOS 232423 HAS SOPS 232423 HAS SOUS 104271 HAS SOUPS 104271 WITH SCORE 104503.423
AT ITER 7517 NEW BEST:: SOT 536225 SOS 231971 HAS SOPS 231971 HAS SOUS 104113 HAS SOUPS 104113 WITH SCORE 104344.971
AT ITER 7521 NEW BEST:: SOT 536226 SOS 231972 HAS SOPS 231972 HAS SOUS 104110 HAS SOUPS 104110 WITH SCORE 104341.972
AT ITER 7528 NEW BEST:: SOT 536118 SOS 231864 HAS SOPS 231864 HAS SOUS 104002 HAS SOUPS 104002 WITH SCORE 104233.864
AT ITER 7534 NEW BEST:: SOT 536106 SOS 231840 HAS SOPS 231840 HAS SOUS 103990 HAS SOUPS 103990 WITH SCORE 104221.84
AT ITER 7539 NEW BEST:: SOT 535993 SOS 231686 HAS SOPS 231686 HAS SOUS 103805 HAS SOUPS 103805 WITH SCORE 104036.686
AT ITER 7541 NEW BEST:: SOT 535993 SOS 231682 HAS SOPS 231682 HAS SOUS 103805 HAS SOUPS 103805 WITH SCORE 104036.682
AT ITER 7548 NEW BEST:: SOT 535899 SOS 231742 HAS SOPS 231742 HAS SOUS 103545 HAS SOUPS 103545 WITH SCORE 103776.742
AT ITER 7552 NEW BEST:: SOT 535867 SOS 231710 HAS SOPS 231710 HAS SOUS 103513 HAS SOUPS 103513 WITH SCORE 103744.71
AT ITER 7579 NEW BEST:: SOT 535839 SOS 231682 HAS SOPS 231682 HAS SOUS 103485 HAS SOUPS 103485 WITH SCORE 103716.682
AT ITER 7582 NEW BEST:: SOT 535802 SOS 231577 HAS SOPS 231577 HAS SOUS 103408 HAS SOUPS 103408 WITH SCORE 103639.577
AT ITER 7590 NEW BEST:: SOT 535802 SOS 231573 HAS SOPS 231573 HAS SOUS 103404 HAS SOUPS 103404 WITH SCORE 103635.573
AT ITER 7599 NEW BEST:: SOT 535754 SOS 231477 HAS SOPS 231477 HAS SOUS 103316 HAS SOUPS 103316 WITH SCORE 103547.477
AT ITER 7621 NEW BEST:: SOT 535723 SOS 231417 HAS SOPS 231417 HAS SOUS 103287 HAS SOUPS 103287 WITH SCORE 103518.417
AT ITER 7636 NEW BEST:: SOT 535723 SOS 231286 HAS SOPS 231286 HAS SOUS 103156 HAS SOUPS 103156 WITH SCORE 103387.286
AT ITER 7645 NEW BEST:: SOT 535713 SOS 231266 HAS SOPS 231266 HAS SOUS 103122 HAS SOUPS 103122 WITH SCORE 103353.266
AT ITER 7674 NEW BEST:: SOT 535677 SOS 231091 HAS SOPS 231091 HAS SOUS 103019 HAS SOUPS 103019 WITH SCORE 103250.091
AT ITER 7683 NEW BEST:: SOT 535677 SOS 231091 HAS SOPS 231091 HAS SOUS 102887 HAS SOUPS 102887 WITH SCORE 103118.091
AT ITER 7696 NEW BEST:: SOT 535630 SOS 230997 HAS SOPS 230997 HAS SOUS 102769 HAS SOUPS 102769 WITH SCORE 102999.997
AT ITER 7705 NEW BEST:: SOT 535630 SOS 230860 HAS SOPS 230860 HAS SOUS 102625 HAS SOUPS 102625 WITH SCORE 102855.86
AT ITER 7735 NEW BEST:: SOT 535580 SOS 230676 HAS SOPS 230676 HAS SOUS 102575 HAS SOUPS 102575 WITH SCORE 102805.676
AT ITER 7739 NEW BEST:: SOT 535581 SOS 230627 HAS SOPS 230627 HAS SOUS 102531 HAS SOUPS 102531 WITH SCORE 102761.627
AT ITER 7741 NEW BEST:: SOT 535575 SOS 230477 HAS SOPS 230477 HAS SOUS 102519 HAS SOUPS 102519 WITH SCORE 102749.477
AT ITER 7742 NEW BEST:: SOT 535537 SOS 230494 HAS SOPS 230494 HAS SOUS 102418 HAS SOUPS 102418 WITH SCORE 102648.494
AT ITER 7743 NEW BEST:: SOT 535537 SOS 230488 HAS SOPS 230488 HAS SOUS 102412 HAS SOUPS 102412 WITH SCORE 102642.488
AT ITER 7795 NEW BEST:: SOT 535537 SOS 230129 HAS SOPS 230129 HAS SOUS 102412 HAS SOUPS 102412 WITH SCORE 102642.129
AT ITER 7799 NEW BEST:: SOT 535525 SOS 230117 HAS SOPS 230117 HAS SOUS 102400 HAS SOUPS 102400 WITH SCORE 102630.117
AT ITER 7802 NEW BEST:: SOT 535505 SOS 230215 HAS SOPS 230215 HAS SOUS 102398 HAS SOUPS 102398 WITH SCORE 102628.215
AT ITER 7808 NEW BEST:: SOT 535492 SOS 230152 HAS SOPS 230152 HAS SOUS 102335 HAS SOUPS 102335 WITH SCORE 102565.152
AT ITER 7809 NEW BEST:: SOT 535475 SOS 230118 HAS SOPS 230118 HAS SOUS 102301 HAS SOUPS 102301 WITH SCORE 102531.118
AT ITER 7820 NEW BEST:: SOT 535609 SOS 230235 HAS SOPS 230235 HAS SOUS 102257 HAS SOUPS 102257 WITH SCORE 102487.235
AT ITER 7826 NEW BEST:: SOT 535580 SOS 230028 HAS SOPS 230028 HAS SOUS 102189 HAS SOUPS 102189 WITH SCORE 102419.028
AT ITER 7849 NEW BEST:: SOT 535580 SOS 230028 HAS SOPS 230028 HAS SOUS 102120 HAS SOUPS 102120 WITH SCORE 102350.028
AT ITER 7892 NEW BEST:: SOT 535580 SOS 230028 HAS SOPS 230028 HAS SOUS 102118 HAS SOUPS 102118 WITH SCORE 102348.028
AT ITER 7893 NEW BEST:: SOT 535575 SOS 230028 HAS SOPS 230028 HAS SOUS 102113 HAS SOUPS 102113 WITH SCORE 102343.028
AT ITER 7922 NEW BEST:: SOT 535575 SOS 230026 HAS SOPS 230026 HAS SOUS 102109 HAS SOUPS 102109 WITH SCORE 102339.026
AT ITER 7923 NEW BEST:: SOT 535557 SOS 229990 HAS SOPS 229990 HAS SOUS 102091 HAS SOUPS 102091 WITH SCORE 102320.99
AT ITER 7926 NEW BEST:: SOT 535523 SOS 229922 HAS SOPS 229922 HAS SOUS 102010 HAS SOUPS 102010 WITH SCORE 102239.922
AT ITER 7945 NEW BEST:: SOT 535518 SOS 229912 HAS SOPS 229912 HAS SOUS 101982 HAS SOUPS 101982 WITH SCORE 102211.912
AT ITER 7976 NEW BEST:: SOT 535269 SOS 229091 HAS SOPS 229091 HAS SOUS 101931 HAS SOUPS 101931 WITH SCORE 102160.091
AT ITER 7992 NEW BEST:: SOT 535207 SOS 228967 HAS SOPS 228967 HAS SOUS 101807 HAS SOUPS 101807 WITH SCORE 102035.967
AT ITER 8000 NEW BEST:: SOT 535212 SOS 228917 HAS SOPS 228917 HAS SOUS 101787 HAS SOUPS 101787 WITH SCORE 102015.917
AT ITER 8025 NEW BEST:: SOT 535208 SOS 228973 HAS SOPS 228973 HAS SOUS 101705 HAS SOUPS 101705 WITH SCORE 101933.973
AT ITER 8050 NEW BEST:: SOT 535133 SOS 228748 HAS SOPS 228748 HAS SOUS 101630 HAS SOUPS 101630 WITH SCORE 101858.748
AT ITER 8091 NEW BEST:: SOT 535133 SOS 228729 HAS SOPS 228729 HAS SOUS 101592 HAS SOUPS 101592 WITH SCORE 101820.729
AT ITER 8104 NEW BEST:: SOT 535081 SOS 228625 HAS SOPS 228625 HAS SOUS 101568 HAS SOUPS 101568 WITH SCORE 101796.625
AT ITER 8107 NEW BEST:: SOT 535081 SOS 228610 HAS SOPS 228610 HAS SOUS 101553 HAS SOUPS 101553 WITH SCORE 101781.61
AT ITER 8129 NEW BEST:: SOT 535067 SOS 228596 HAS SOPS 228596 HAS SOUS 101539 HAS SOUPS 101539 WITH SCORE 101767.596
AT ITER 8140 NEW BEST:: SOT 534908 SOS 228276 HAS SOPS 228276 HAS SOUS 101265 HAS SOUPS 101265 WITH SCORE 101493.276
AT ITER 8167 NEW BEST:: SOT 534906 SOS 228272 HAS SOPS 228272 HAS SOUS 101263 HAS SOUPS 101263 WITH SCORE 101491.272
AT ITER 8215 NEW BEST:: SOT 534834 SOS 228200 HAS SOPS 228200 HAS SOUS 101191 HAS SOUPS 101191 WITH SCORE 101419.2
AT ITER 8221 NEW BEST:: SOT 534787 SOS 230751 HAS SOPS 230751 HAS SOUS 101166 HAS SOUPS 101166 WITH SCORE 101396.751
AT ITER 8241 NEW BEST:: SOT 534797 SOS 230771 HAS SOPS 230771 HAS SOUS 101108 HAS SOUPS 101108 WITH SCORE 101338.771
AT ITER 8245 NEW BEST:: SOT 534936 SOS 230867 HAS SOPS 230867 HAS SOUS 101072 HAS SOUPS 101072 WITH SCORE 101302.867
AT ITER 8256 NEW BEST:: SOT 534936 SOS 230831 HAS SOPS 230831 HAS SOUS 101036 HAS SOUPS 101036 WITH SCORE 101266.831
AT ITER 8271 NEW BEST:: SOT 534930 SOS 230825 HAS SOPS 230825 HAS SOUS 101030 HAS SOUPS 101030 WITH SCORE 101260.825
AT ITER 8273 NEW BEST:: SOT 534930 SOS 230825 HAS SOPS 230825 HAS SOUS 100983 HAS SOUPS 100983 WITH SCORE 101213.825
AT ITER 8282 NEW BEST:: SOT 534924 SOS 230745 HAS SOPS 230745 HAS SOUS 100972 HAS SOUPS 100972 WITH SCORE 101202.745
AT ITER 8284 NEW BEST:: SOT 534924 SOS 230745 HAS SOPS 230745 HAS SOUS 100958 HAS SOUPS 100958 WITH SCORE 101188.745
AT ITER 8294 NEW BEST:: SOT 534861 SOS 230619 HAS SOPS 230619 HAS SOUS 100919 HAS SOUPS 100919 WITH SCORE 101149.619
AT ITER 8300 NEW BEST:: SOT 534861 SOS 230600 HAS SOPS 230600 HAS SOUS 100825 HAS SOUPS 100825 WITH SCORE 101055.6
AT ITER 8304 NEW BEST:: SOT 534728 SOS 230368 HAS SOPS 230368 HAS SOUS 100692 HAS SOUPS 100692 WITH SCORE 100922.368
AT ITER 8307 NEW BEST:: SOT 534713 SOS 230326 HAS SOPS 230326 HAS SOUS 100680 HAS SOUPS 100680 WITH SCORE 100910.326
AT ITER 8318 NEW BEST:: SOT 534639 SOS 230178 HAS SOPS 230178 HAS SOUS 100606 HAS SOUPS 100606 WITH SCORE 100836.178
AT ITER 8326 NEW BEST:: SOT 534578 SOS 229991 HAS SOPS 229991 HAS SOUS 100590 HAS SOUPS 100590 WITH SCORE 100819.991
AT ITER 8327 NEW BEST:: SOT 534501 SOS 229837 HAS SOPS 229837 HAS SOUS 100513 HAS SOUPS 100513 WITH SCORE 100742.837
AT ITER 8350 NEW BEST:: SOT 534242 SOS 229291 HAS SOPS 229291 HAS SOUS 100078 HAS SOUPS 100078 WITH SCORE 100307.291
AT ITER 8354 NEW BEST:: SOT 534242 SOS 228961 HAS SOPS 228961 HAS SOUS 100078 HAS SOUPS 100078 WITH SCORE 100306.961
AT ITER 8355 NEW BEST:: SOT 534192 SOS 228911 HAS SOPS 228911 HAS SOUS 100028 HAS SOUPS 100028 WITH SCORE 100256.911
AT ITER 8369 NEW BEST:: SOT 534160 SOS 228879 HAS SOPS 228879 HAS SOUS 99996 HAS SOUPS 99996 WITH SCORE 100224.879
AT ITER 8375 NEW BEST:: SOT 534160 SOS 228864 HAS SOPS 228864 HAS SOUS 99996 HAS SOUPS 99996 WITH SCORE 100224.864
AT ITER 8383 NEW BEST:: SOT 534135 SOS 228814 HAS SOPS 228814 HAS SOUS 99971 HAS SOUPS 99971 WITH SCORE 100199.814
AT ITER 8387 NEW BEST:: SOT 534134 SOS 228812 HAS SOPS 228812 HAS SOUS 99969 HAS SOUPS 99969 WITH SCORE 100197.812
AT ITER 8402 NEW BEST:: SOT 534135 SOS 228814 HAS SOPS 228814 HAS SOUS 99958 HAS SOUPS 99958 WITH SCORE 100186.814
AT ITER 8415 NEW BEST:: SOT 534116 SOS 228776 HAS SOPS 228776 HAS SOUS 99899 HAS SOUPS 99899 WITH SCORE 100127.776
AT ITER 8422 NEW BEST:: SOT 534107 SOS 228767 HAS SOPS 228767 HAS SOUS 99890 HAS SOUPS 99890 WITH SCORE 100118.767
AT ITER 8424 NEW BEST:: SOT 534075 SOS 228692 HAS SOPS 228692 HAS SOUS 99815 HAS SOUPS 99815 WITH SCORE 100043.692
AT ITER 8428 NEW BEST:: SOT 534049 SOS 228728 HAS SOPS 228728 HAS SOUS 99807 HAS SOUPS 99807 WITH SCORE 100035.728
AT ITER 8441 NEW BEST:: SOT 534013 SOS 228692 HAS SOPS 228692 HAS SOUS 99771 HAS SOUPS 99771 WITH SCORE 99999.692
AT ITER 8460 NEW BEST:: SOT 534013 SOS 228642 HAS SOPS 228642 HAS SOUS 99771 HAS SOUPS 99771 WITH SCORE 99999.642
AT ITER 8473 NEW BEST:: SOT 533998 SOS 228627 HAS SOPS 228627 HAS SOUS 99760 HAS SOUPS 99760 WITH SCORE 99988.627
AT ITER 8510 NEW BEST:: SOT 533930 SOS 228423 HAS SOPS 228423 HAS SOUS 99692 HAS SOUPS 99692 WITH SCORE 99920.423
AT ITER 8523 NEW BEST:: SOT 533795 SOS 227263 HAS SOPS 227263 HAS SOUS 99625 HAS SOUPS 99625 WITH SCORE 99852.263
AT ITER 8535 NEW BEST:: SOT 533638 SOS 226986 HAS SOPS 226986 HAS SOUS 99505 HAS SOUPS 99505 WITH SCORE 99731.986
AT ITER 8581 NEW BEST:: SOT 533638 SOS 226932 HAS SOPS 226932 HAS SOUS 99397 HAS SOUPS 99397 WITH SCORE 99623.932
AT ITER 8604 NEW BEST:: SOT 533640 SOS 226892 HAS SOPS 226892 HAS SOUS 99357 HAS SOUPS 99357 WITH SCORE 99583.892
AT ITER 8650 NEW BEST:: SOT 533649 SOS 226891 HAS SOPS 226891 HAS SOUS 99321 HAS SOUPS 99321 WITH SCORE 99547.891
AT ITER 8671 NEW BEST:: SOT 533690 SOS 226920 HAS SOPS 226920 HAS SOUS 99269 HAS SOUPS 99269 WITH SCORE 99495.92
AT ITER 8674 NEW BEST:: SOT 533747 SOS 227034 HAS SOPS 227034 HAS SOUS 99260 HAS SOUPS 99260 WITH SCORE 99487.034
AT ITER 8701 NEW BEST:: SOT 533633 SOS 226920 HAS SOPS 226920 HAS SOUS 99146 HAS SOUPS 99146 WITH SCORE 99372.92
AT ITER 8705 NEW BEST:: SOT 533633 SOS 226860 HAS SOPS 226860 HAS SOUS 99146 HAS SOUPS 99146 WITH SCORE 99372.86
AT ITER 8709 NEW BEST:: SOT 533632 SOS 226858 HAS SOPS 226858 HAS SOUS 99144 HAS SOUPS 99144 WITH SCORE 99370.858
AT ITER 8715 NEW BEST:: SOT 533588 SOS 226814 HAS SOPS 226814 HAS SOUS 99100 HAS SOUPS 99100 WITH SCORE 99326.814
AT ITER 8755 NEW BEST:: SOT 533588 SOS 226740 HAS SOPS 226740 HAS SOUS 99026 HAS SOUPS 99026 WITH SCORE 99252.74
AT ITER 8766 NEW BEST:: SOT 533373 SOS 226413 HAS SOPS 226413 HAS SOUS 98811 HAS SOUPS 98811 WITH SCORE 99037.413
AT ITER 8769 NEW BEST:: SOT 533284 SOS 226373 HAS SOPS 226373 HAS SOUS 98633 HAS SOUPS 98633 WITH SCORE 98859.373
AT ITER 8782 NEW BEST:: SOT 533262 SOS 226329 HAS SOPS 226329 HAS SOUS 98611 HAS SOUPS 98611 WITH SCORE 98837.329
AT ITER 8812 NEW BEST:: SOT 533421 SOS 225723 HAS SOPS 225723 HAS SOUS 98599 HAS SOUPS 98599 WITH SCORE 98824.723
AT ITER 8825 NEW BEST:: SOT 533344 SOS 225646 HAS SOPS 225646 HAS SOUS 98522 HAS SOUPS 98522 WITH SCORE 98747.646
AT ITER 8828 NEW BEST:: SOT 533342 SOS 225642 HAS SOPS 225642 HAS SOUS 98520 HAS SOUPS 98520 WITH SCORE 98745.642
AT ITER 8830 NEW BEST:: SOT 533342 SOS 225340 HAS SOPS 225340 HAS SOUS 98520 HAS SOUPS 98520 WITH SCORE 98745.34
AT ITER 8843 NEW BEST:: SOT 533371 SOS 225367 HAS SOPS 225367 HAS SOUS 98516 HAS SOUPS 98516 WITH SCORE 98741.367
AT ITER 8871 NEW BEST:: SOT 533341 SOS 225324 HAS SOPS 225324 HAS SOUS 98505 HAS SOUPS 98505 WITH SCORE 98730.324
AT ITER 8884 NEW BEST:: SOT 533264 SOS 225233 HAS SOPS 225233 HAS SOUS 98428 HAS SOUPS 98428 WITH SCORE 98653.233
AT ITER 8885 NEW BEST:: SOT 533238 SOS 225207 HAS SOPS 225207 HAS SOUS 98402 HAS SOUPS 98402 WITH SCORE 98627.207
AT ITER 8889 NEW BEST:: SOT 533232 SOS 225189 HAS SOPS 225189 HAS SOUS 98392 HAS SOUPS 98392 WITH SCORE 98617.189
AT ITER 8894 NEW BEST:: SOT 533140 SOS 225086 HAS SOPS 225086 HAS SOUS 98347 HAS SOUPS 98347 WITH SCORE 98572.086
AT ITER 8896 NEW BEST:: SOT 533140 SOS 225043 HAS SOPS 225043 HAS SOUS 98259 HAS SOUPS 98259 WITH SCORE 98484.043
AT ITER 8901 NEW BEST:: SOT 533129 SOS 224891 HAS SOPS 224891 HAS SOUS 98231 HAS SOUPS 98231 WITH SCORE 98455.891
AT ITER 8905 NEW BEST:: SOT 533399 SOS 225284 HAS SOPS 225284 HAS SOUS 98206 HAS SOUPS 98206 WITH SCORE 98431.284
AT ITER 8914 NEW BEST:: SOT 533399 SOS 225242 HAS SOPS 225242 HAS SOUS 98164 HAS SOUPS 98164 WITH SCORE 98389.242
AT ITER 8920 NEW BEST:: SOT 533401 SOS 225239 HAS SOPS 225239 HAS SOUS 98161 HAS SOUPS 98161 WITH SCORE 98386.239
AT ITER 8924 NEW BEST:: SOT 533393 SOS 225231 HAS SOPS 225231 HAS SOUS 98153 HAS SOUPS 98153 WITH SCORE 98378.231
AT ITER 8948 NEW BEST:: SOT 533430 SOS 225224 HAS SOPS 225224 HAS SOUS 98069 HAS SOUPS 98069 WITH SCORE 98294.224
AT ITER 8982 NEW BEST:: SOT 533397 SOS 225191 HAS SOPS 225191 HAS SOUS 98003 HAS SOUPS 98003 WITH SCORE 98228.191
AT ITER 8990 NEW BEST:: SOT 533397 SOS 225191 HAS SOPS 225191 HAS SOUS 97918 HAS SOUPS 97918 WITH SCORE 98143.191
AT ITER 9004 NEW BEST:: SOT 533396 SOS 225176 HAS SOPS 225176 HAS SOUS 97916 HAS SOUPS 97916 WITH SCORE 98141.176
AT ITER 9062 NEW BEST:: SOT 533381 SOS 225146 HAS SOPS 225146 HAS SOUS 97901 HAS SOUPS 97901 WITH SCORE 98126.146
AT ITER 9075 NEW BEST:: SOT 533381 SOS 225085 HAS SOPS 225085 HAS SOUS 97833 HAS SOUPS 97833 WITH SCORE 98058.085
AT ITER 9091 NEW BEST:: SOT 533355 SOS 225033 HAS SOPS 225033 HAS SOUS 97797 HAS SOUPS 97797 WITH SCORE 98022.033
AT ITER 9096 NEW BEST:: SOT 533351 SOS 224981 HAS SOPS 224981 HAS SOUS 97711 HAS SOUPS 97711 WITH SCORE 97935.981
AT ITER 9139 NEW BEST:: SOT 533334 SOS 224934 HAS SOPS 224934 HAS SOUS 97647 HAS SOUPS 97647 WITH SCORE 97871.934
AT ITER 9176 NEW BEST:: SOT 533290 SOS 225132 HAS SOPS 225132 HAS SOUS 97625 HAS SOUPS 97625 WITH SCORE 97850.132
AT ITER 9197 NEW BEST:: SOT 533298 SOS 225148 HAS SOPS 225148 HAS SOUS 97621 HAS SOUPS 97621 WITH SCORE 97846.148
AT ITER 9198 NEW BEST:: SOT 533298 SOS 224737 HAS SOPS 224737 HAS SOUS 97616 HAS SOUPS 97616 WITH SCORE 97840.737
AT ITER 9225 NEW BEST:: SOT 533237 SOS 224692 HAS SOPS 224692 HAS SOUS 97552 HAS SOUPS 97552 WITH SCORE 97776.692
AT ITER 9237 NEW BEST:: SOT 533235 SOS 224688 HAS SOPS 224688 HAS SOUS 97543 HAS SOUPS 97543 WITH SCORE 97767.688
AT ITER 9348 NEW BEST:: SOT 533189 SOS 224596 HAS SOPS 224596 HAS SOUS 97451 HAS SOUPS 97451 WITH SCORE 97675.596
AT ITER 9353 NEW BEST:: SOT 533189 SOS 224596 HAS SOPS 224596 HAS SOUS 97378 HAS SOUPS 97378 WITH SCORE 97602.596
AT ITER 9412 NEW BEST:: SOT 533182 SOS 224589 HAS SOPS 224589 HAS SOUS 97378 HAS SOUPS 97378 WITH SCORE 97602.589
AT ITER 9418 NEW BEST:: SOT 533069 SOS 224450 HAS SOPS 224450 HAS SOUS 97227 HAS SOUPS 97227 WITH SCORE 97451.45
AT ITER 9429 NEW BEST:: SOT 533056 SOS 224437 HAS SOPS 224437 HAS SOUS 97227 HAS SOUPS 97227 WITH SCORE 97451.437
AT ITER 9447 NEW BEST:: SOT 533056 SOS 224429 HAS SOPS 224429 HAS SOUS 97223 HAS SOUPS 97223 WITH SCORE 97447.429
AT ITER 9465 NEW BEST:: SOT 533056 SOS 224429 HAS SOPS 224429 HAS SOUS 97200 HAS SOUPS 97200 WITH SCORE 97424.429
AT ITER 9560 NEW BEST:: SOT 533052 SOS 224421 HAS SOPS 224421 HAS SOUS 97192 HAS SOUPS 97192 WITH SCORE 97416.421
AT ITER 9564 NEW BEST:: SOT 533049 SOS 224376 HAS SOPS 224376 HAS SOUS 97189 HAS SOUPS 97189 WITH SCORE 97413.376
AT ITER 9567 NEW BEST:: SOT 533019 SOS 224333 HAS SOPS 224333 HAS SOUS 97163 HAS SOUPS 97163 WITH SCORE 97387.333
AT ITER 9604 NEW BEST:: SOT 533000 SOS 224351 HAS SOPS 224351 HAS SOUS 97148 HAS SOUPS 97148 WITH SCORE 97372.351
AT ITER 9610 NEW BEST:: SOT 533007 SOS 224485 HAS SOPS 224485 HAS SOUS 97144 HAS SOUPS 97144 WITH SCORE 97368.485
AT ITER 9616 NEW BEST:: SOT 533067 SOS 224185 HAS SOPS 224185 HAS SOUS 97144 HAS SOUPS 97144 WITH SCORE 97368.185
AT ITER 9623 NEW BEST:: SOT 533052 SOS 224681 HAS SOPS 224681 HAS SOUS 97129 HAS SOUPS 97129 WITH SCORE 97353.681
AT ITER 9640 NEW BEST:: SOT 533016 SOS 224588 HAS SOPS 224588 HAS SOUS 97077 HAS SOUPS 97077 WITH SCORE 97301.588
AT ITER 9645 NEW BEST:: SOT 532936 SOS 224446 HAS SOPS 224446 HAS SOUS 96982 HAS SOUPS 96982 WITH SCORE 97206.446
AT ITER 9650 NEW BEST:: SOT 532930 SOS 224406 HAS SOPS 224406 HAS SOUS 96962 HAS SOUPS 96962 WITH SCORE 97186.406
AT ITER 9652 NEW BEST:: SOT 532864 SOS 224367 HAS SOPS 224367 HAS SOUS 96935 HAS SOUPS 96935 WITH SCORE 97159.367
AT ITER 9655 NEW BEST:: SOT 532898 SOS 224401 HAS SOPS 224401 HAS SOUS 96927 HAS SOUPS 96927 WITH SCORE 97151.401
AT ITER 9687 NEW BEST:: SOT 532853 SOS 224356 HAS SOPS 224356 HAS SOUS 96882 HAS SOUPS 96882 WITH SCORE 97106.356
AT ITER 9700 NEW BEST:: SOT 532860 SOS 224400 HAS SOPS 224400 HAS SOUS 96870 HAS SOUPS 96870 WITH SCORE 97094.4
AT ITER 9705 NEW BEST:: SOT 532860 SOS 224317 HAS SOPS 224317 HAS SOUS 96870 HAS SOUPS 96870 WITH SCORE 97094.317
AT ITER 9722 NEW BEST:: SOT 532820 SOS 224178 HAS SOPS 224178 HAS SOUS 96828 HAS SOUPS 96828 WITH SCORE 97052.178
AT ITER 9746 NEW BEST:: SOT 532809 SOS 224156 HAS SOPS 224156 HAS SOUS 96806 HAS SOUPS 96806 WITH SCORE 97030.156
AT ITER 9775 NEW BEST:: SOT 532809 SOS 224156 HAS SOPS 224156 HAS SOUS 96699 HAS SOUPS 96699 WITH SCORE 96923.156
AT ITER 9804 NEW BEST:: SOT 532809 SOS 224156 HAS SOPS 224156 HAS SOUS 96630 HAS SOUPS 96630 WITH SCORE 96854.156
AT ITER 9810 NEW BEST:: SOT 532803 SOS 224144 HAS SOPS 224144 HAS SOUS 96612 HAS SOUPS 96612 WITH SCORE 96836.144
AT ITER 9819 NEW BEST:: SOT 532759 SOS 223997 HAS SOPS 223997 HAS SOUS 96509 HAS SOUPS 96509 WITH SCORE 96732.997
AT ITER 9825 NEW BEST:: SOT 532829 SOS 223819 HAS SOPS 223819 HAS SOUS 96455 HAS SOUPS 96455 WITH SCORE 96678.819
AT ITER 9832 NEW BEST:: SOT 532829 SOS 223818 HAS SOPS 223818 HAS SOUS 96454 HAS SOUPS 96454 WITH SCORE 96677.818
AT ITER 9840 NEW BEST:: SOT 532829 SOS 223772 HAS SOPS 223772 HAS SOUS 96408 HAS SOUPS 96408 WITH SCORE 96631.772
AT ITER 9963 NEW BEST:: SOT 532756 SOS 223699 HAS SOPS 223699 HAS SOUS 96335 HAS SOUPS 96335 WITH SCORE 96558.699
AT ITER 9964 NEW BEST:: SOT 532780 SOS 223747 HAS SOPS 223747 HAS SOUS 96317 HAS SOUPS 96317 WITH SCORE 96540.747
AT ITER 9966 NEW BEST:: SOT 532783 SOS 223650 HAS SOPS 223650 HAS SOUS 96238 HAS SOUPS 96238 WITH SCORE 96461.65
AT ITER 9973 NEW BEST:: SOT 532649 SOS 223552 HAS SOPS 223552 HAS SOUS 96113 HAS SOUPS 96113 WITH SCORE 96336.552
AT ITER 9985 NEW BEST:: SOT 532606 SOS 223474 HAS SOPS 223474 HAS SOUS 96075 HAS SOUPS 96075 WITH SCORE 96298.474
AT ITER 9988 NEW BEST:: SOT 532606 SOS 223473 HAS SOPS 223473 HAS SOUS 96074 HAS SOUPS 96074 WITH SCORE 96297.473
AT ITER 9996 NEW BEST:: SOT 532623 SOS 223405 HAS SOPS 223405 HAS SOUS 96074 HAS SOUPS 96074 WITH SCORE 96297.405

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="FlexibleBarrier-PT-08b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 FlexibleBarrier-PT-08b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972400304"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-08b.tgz
mv FlexibleBarrier-PT-08b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;