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-158922972400316.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-10b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400316
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 3.5K Apr 4 18:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 4 06:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K 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 3.9K Apr 3 21:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 3 13:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 3 13:22 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 374K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-10b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589413127789

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 10b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1402 places, 1613 transitions, 4025 arcs.
AT ITER 0 NEW BEST:: SOT 1484922 SOS 792105 HAS SOPS 792105 HAS SOUS 586473 HAS SOUPS 586473 WITH SCORE 587265.105
AT ITER 2 NEW BEST:: SOT 1484319 SOS 789693 HAS SOPS 789693 HAS SOUS 585864 HAS SOUPS 585864 WITH SCORE 586653.693
AT ITER 10 NEW BEST:: SOT 1483970 SOS 789344 HAS SOPS 789344 HAS SOUS 585300 HAS SOUPS 585300 WITH SCORE 586089.344
AT ITER 15 NEW BEST:: SOT 1483688 SOS 789156 HAS SOPS 789156 HAS SOUS 585242 HAS SOUPS 585242 WITH SCORE 586031.156
AT ITER 25 NEW BEST:: SOT 1483416 SOS 788981 HAS SOPS 788981 HAS SOUS 585058 HAS SOUPS 585058 WITH SCORE 585846.981
AT ITER 29 NEW BEST:: SOT 1483416 SOS 788693 HAS SOPS 788693 HAS SOUS 584896 HAS SOUPS 584896 WITH SCORE 585684.693
AT ITER 33 NEW BEST:: SOT 1482961 SOS 787783 HAS SOPS 787783 HAS SOUS 584670 HAS SOUPS 584670 WITH SCORE 585457.783
AT ITER 34 NEW BEST:: SOT 1482811 SOS 787483 HAS SOPS 787483 HAS SOUS 584520 HAS SOUPS 584520 WITH SCORE 585307.483
AT ITER 36 NEW BEST:: SOT 1482314 SOS 785495 HAS SOPS 785495 HAS SOUS 583240 HAS SOUPS 583240 WITH SCORE 584025.495
AT ITER 37 NEW BEST:: SOT 1482029 SOS 785309 HAS SOPS 785309 HAS SOUS 583043 HAS SOUPS 583043 WITH SCORE 583828.309
AT ITER 40 NEW BEST:: SOT 1481340 SOS 784628 HAS SOPS 784628 HAS SOUS 582387 HAS SOUPS 582387 WITH SCORE 583171.628
AT ITER 41 NEW BEST:: SOT 1475103 SOS 784785 HAS SOPS 784785 HAS SOUS 576281 HAS SOUPS 576281 WITH SCORE 577065.785
AT ITER 42 NEW BEST:: SOT 1475103 SOS 784507 HAS SOPS 784507 HAS SOUS 576109 HAS SOUPS 576109 WITH SCORE 576893.507
AT ITER 43 NEW BEST:: SOT 1475041 SOS 784445 HAS SOPS 784445 HAS SOUS 576047 HAS SOUPS 576047 WITH SCORE 576831.445
AT ITER 45 NEW BEST:: SOT 1474781 SOS 783925 HAS SOPS 783925 HAS SOUS 575787 HAS SOUPS 575787 WITH SCORE 576570.925
AT ITER 46 NEW BEST:: SOT 1474556 SOS 783345 HAS SOPS 783345 HAS SOUS 575699 HAS SOUPS 575699 WITH SCORE 576482.345
AT ITER 50 NEW BEST:: SOT 1474508 SOS 783249 HAS SOPS 783249 HAS SOUS 575650 HAS SOUPS 575650 WITH SCORE 576433.249
AT ITER 51 NEW BEST:: SOT 1473993 SOS 782952 HAS SOPS 782952 HAS SOUS 575135 HAS SOUPS 575135 WITH SCORE 575917.952
AT ITER 55 NEW BEST:: SOT 1467221 SOS 777388 HAS SOPS 777388 HAS SOUS 569185 HAS SOUPS 569185 WITH SCORE 569962.388
AT ITER 65 NEW BEST:: SOT 1466805 SOS 776556 HAS SOPS 776556 HAS SOUS 568767 HAS SOUPS 568767 WITH SCORE 569543.556
AT ITER 67 NEW BEST:: SOT 1466869 SOS 775611 HAS SOPS 775611 HAS SOUS 567961 HAS SOUPS 567961 WITH SCORE 568736.611
AT ITER 70 NEW BEST:: SOT 1466869 SOS 775611 HAS SOPS 775611 HAS SOUS 567960 HAS SOUPS 567960 WITH SCORE 568735.611
AT ITER 74 NEW BEST:: SOT 1466454 SOS 774781 HAS SOPS 774781 HAS SOUS 567636 HAS SOUPS 567636 WITH SCORE 568410.781
AT ITER 80 NEW BEST:: SOT 1466762 SOS 766844 HAS SOPS 766844 HAS SOUS 567504 HAS SOUPS 567504 WITH SCORE 568270.844
AT ITER 87 NEW BEST:: SOT 1465923 SOS 764718 HAS SOPS 764718 HAS SOUS 566217 HAS SOUPS 566217 WITH SCORE 566981.718
AT ITER 88 NEW BEST:: SOT 1465834 SOS 764540 HAS SOPS 764540 HAS SOUS 566128 HAS SOUPS 566128 WITH SCORE 566892.54
AT ITER 89 NEW BEST:: SOT 1465834 SOS 764325 HAS SOPS 764325 HAS SOUS 566117 HAS SOUPS 566117 WITH SCORE 566881.325
AT ITER 94 NEW BEST:: SOT 1465834 SOS 764325 HAS SOPS 764325 HAS SOUS 566075 HAS SOUPS 566075 WITH SCORE 566839.325
AT ITER 95 NEW BEST:: SOT 1465774 SOS 764265 HAS SOPS 764265 HAS SOUS 565835 HAS SOUPS 565835 WITH SCORE 566599.265
AT ITER 111 NEW BEST:: SOT 1465339 SOS 763395 HAS SOPS 763395 HAS SOUS 565538 HAS SOUPS 565538 WITH SCORE 566301.395
AT ITER 113 NEW BEST:: SOT 1464969 SOS 762285 HAS SOPS 762285 HAS SOUS 564464 HAS SOUPS 564464 WITH SCORE 565226.285
AT ITER 116 NEW BEST:: SOT 1464511 SOS 760453 HAS SOPS 760453 HAS SOUS 563387 HAS SOUPS 563387 WITH SCORE 564147.453
AT ITER 125 NEW BEST:: SOT 1464274 SOS 760216 HAS SOPS 760216 HAS SOUS 562925 HAS SOUPS 562925 WITH SCORE 563685.216
AT ITER 127 NEW BEST:: SOT 1464366 SOS 759925 HAS SOPS 759925 HAS SOUS 562798 HAS SOUPS 562798 WITH SCORE 563557.925
AT ITER 128 NEW BEST:: SOT 1464366 SOS 759883 HAS SOPS 759883 HAS SOUS 562797 HAS SOUPS 562797 WITH SCORE 563556.883
AT ITER 133 NEW BEST:: SOT 1464366 SOS 755749 HAS SOPS 755749 HAS SOUS 562522 HAS SOUPS 562522 WITH SCORE 563277.749
AT ITER 135 NEW BEST:: SOT 1463994 SOS 755494 HAS SOPS 755494 HAS SOUS 561989 HAS SOUPS 561989 WITH SCORE 562744.494
AT ITER 137 NEW BEST:: SOT 1463445 SOS 753298 HAS SOPS 753298 HAS SOUS 560439 HAS SOUPS 560439 WITH SCORE 561192.298
AT ITER 138 NEW BEST:: SOT 1460204 SOS 751678 HAS SOPS 751678 HAS SOUS 557457 HAS SOUPS 557457 WITH SCORE 558208.678
AT ITER 141 NEW BEST:: SOT 1460204 SOS 751455 HAS SOPS 751455 HAS SOUS 557454 HAS SOUPS 557454 WITH SCORE 558205.455
AT ITER 146 NEW BEST:: SOT 1460204 SOS 750804 HAS SOPS 750804 HAS SOUS 557437 HAS SOUPS 557437 WITH SCORE 558187.804
AT ITER 150 NEW BEST:: SOT 1459935 SOS 750773 HAS SOPS 750773 HAS SOUS 557334 HAS SOUPS 557334 WITH SCORE 558084.773
AT ITER 153 NEW BEST:: SOT 1459935 SOS 750590 HAS SOPS 750590 HAS SOUS 557334 HAS SOUPS 557334 WITH SCORE 558084.59
AT ITER 163 NEW BEST:: SOT 1459386 SOS 748394 HAS SOPS 748394 HAS SOUS 556622 HAS SOUPS 556622 WITH SCORE 557370.394
AT ITER 170 NEW BEST:: SOT 1459298 SOS 747925 HAS SOPS 747925 HAS SOUS 556182 HAS SOUPS 556182 WITH SCORE 556929.925
AT ITER 176 NEW BEST:: SOT 1459298 SOS 747925 HAS SOPS 747925 HAS SOUS 555833 HAS SOUPS 555833 WITH SCORE 556580.925
AT ITER 178 NEW BEST:: SOT 1459127 SOS 747891 HAS SOPS 747891 HAS SOUS 555831 HAS SOUPS 555831 WITH SCORE 556578.891
AT ITER 187 NEW BEST:: SOT 1459127 SOS 747891 HAS SOPS 747891 HAS SOUS 555790 HAS SOUPS 555790 WITH SCORE 556537.891
AT ITER 188 NEW BEST:: SOT 1458984 SOS 747829 HAS SOPS 747829 HAS SOUS 555728 HAS SOUPS 555728 WITH SCORE 556475.829
AT ITER 203 NEW BEST:: SOT 1458984 SOS 747491 HAS SOPS 747491 HAS SOUS 555091 HAS SOUPS 555091 WITH SCORE 555838.491
AT ITER 204 NEW BEST:: SOT 1458898 SOS 747319 HAS SOPS 747319 HAS SOUS 555089 HAS SOUPS 555089 WITH SCORE 555836.319
AT ITER 205 NEW BEST:: SOT 1458276 SOS 744831 HAS SOPS 744831 HAS SOUS 553994 HAS SOUPS 553994 WITH SCORE 554738.831
AT ITER 206 NEW BEST:: SOT 1458166 SOS 744721 HAS SOPS 744721 HAS SOUS 553884 HAS SOUPS 553884 WITH SCORE 554628.721
AT ITER 208 NEW BEST:: SOT 1458018 SOS 744425 HAS SOPS 744425 HAS SOUS 553587 HAS SOUPS 553587 WITH SCORE 554331.425
AT ITER 213 NEW BEST:: SOT 1457432 SOS 742081 HAS SOPS 742081 HAS SOUS 552578 HAS SOUPS 552578 WITH SCORE 553320.081
AT ITER 215 NEW BEST:: SOT 1457432 SOS 741884 HAS SOPS 741884 HAS SOUS 552381 HAS SOUPS 552381 WITH SCORE 553122.884
AT ITER 220 NEW BEST:: SOT 1457083 SOS 741050 HAS SOPS 741050 HAS SOUS 551510 HAS SOUPS 551510 WITH SCORE 552251.05
AT ITER 231 NEW BEST:: SOT 1456975 SOS 740834 HAS SOPS 740834 HAS SOUS 551501 HAS SOUPS 551501 WITH SCORE 552241.834
AT ITER 238 NEW BEST:: SOT 1456975 SOS 740834 HAS SOPS 740834 HAS SOUS 551500 HAS SOUPS 551500 WITH SCORE 552240.834
AT ITER 240 NEW BEST:: SOT 1456906 SOS 740941 HAS SOPS 740941 HAS SOUS 551468 HAS SOUPS 551468 WITH SCORE 552208.941
AT ITER 244 NEW BEST:: SOT 1456481 SOS 739241 HAS SOPS 739241 HAS SOUS 551042 HAS SOUPS 551042 WITH SCORE 551781.241
AT ITER 249 NEW BEST:: SOT 1456310 SOS 739070 HAS SOPS 739070 HAS SOUS 550606 HAS SOUPS 550606 WITH SCORE 551345.07
AT ITER 250 NEW BEST:: SOT 1455987 SOS 738747 HAS SOPS 738747 HAS SOUS 550537 HAS SOUPS 550537 WITH SCORE 551275.747
AT ITER 257 NEW BEST:: SOT 1455340 SOS 737453 HAS SOPS 737453 HAS SOUS 550010 HAS SOUPS 550010 WITH SCORE 550747.453
AT ITER 263 NEW BEST:: SOT 1455207 SOS 737187 HAS SOPS 737187 HAS SOUS 549875 HAS SOUPS 549875 WITH SCORE 550612.187
AT ITER 266 NEW BEST:: SOT 1455207 SOS 737187 HAS SOPS 737187 HAS SOUS 549856 HAS SOUPS 549856 WITH SCORE 550593.187
AT ITER 271 NEW BEST:: SOT 1455207 SOS 736897 HAS SOPS 736897 HAS SOUS 549856 HAS SOUPS 549856 WITH SCORE 550592.897
AT ITER 273 NEW BEST:: SOT 1455135 SOS 736753 HAS SOPS 736753 HAS SOUS 549744 HAS SOUPS 549744 WITH SCORE 550480.753
AT ITER 278 NEW BEST:: SOT 1455153 SOS 736197 HAS SOPS 736197 HAS SOUS 549418 HAS SOUPS 549418 WITH SCORE 550154.197
AT ITER 279 NEW BEST:: SOT 1454649 SOS 735189 HAS SOPS 735189 HAS SOUS 548914 HAS SOUPS 548914 WITH SCORE 549649.189
AT ITER 280 NEW BEST:: SOT 1453682 SOS 733233 HAS SOPS 733233 HAS SOUS 547406 HAS SOUPS 547406 WITH SCORE 548139.233
AT ITER 281 NEW BEST:: SOT 1453682 SOS 732912 HAS SOPS 732912 HAS SOUS 547406 HAS SOUPS 547406 WITH SCORE 548138.912
AT ITER 284 NEW BEST:: SOT 1453495 SOS 732912 HAS SOPS 732912 HAS SOUS 547405 HAS SOUPS 547405 WITH SCORE 548137.912
AT ITER 290 NEW BEST:: SOT 1453397 SOS 732716 HAS SOPS 732716 HAS SOUS 547370 HAS SOUPS 547370 WITH SCORE 548102.716
AT ITER 291 NEW BEST:: SOT 1453184 SOS 732920 HAS SOPS 732920 HAS SOUS 547188 HAS SOUPS 547188 WITH SCORE 547920.92
AT ITER 292 NEW BEST:: SOT 1452944 SOS 731960 HAS SOPS 731960 HAS SOUS 546942 HAS SOUPS 546942 WITH SCORE 547673.96
AT ITER 294 NEW BEST:: SOT 1452910 SOS 731892 HAS SOPS 731892 HAS SOUS 546907 HAS SOUPS 546907 WITH SCORE 547638.892
AT ITER 296 NEW BEST:: SOT 1452910 SOS 731585 HAS SOPS 731585 HAS SOUS 546871 HAS SOUPS 546871 WITH SCORE 547602.585
AT ITER 301 NEW BEST:: SOT 1452864 SOS 731493 HAS SOPS 731493 HAS SOUS 546779 HAS SOUPS 546779 WITH SCORE 547510.493
AT ITER 302 NEW BEST:: SOT 1452632 SOS 731029 HAS SOPS 731029 HAS SOUS 546314 HAS SOUPS 546314 WITH SCORE 547045.029
AT ITER 303 NEW BEST:: SOT 1452632 SOS 730697 HAS SOPS 730697 HAS SOUS 545955 HAS SOUPS 545955 WITH SCORE 546685.697
AT ITER 308 NEW BEST:: SOT 1452665 SOS 730799 HAS SOPS 730799 HAS SOUS 545936 HAS SOUPS 545936 WITH SCORE 546666.799
AT ITER 310 NEW BEST:: SOT 1452665 SOS 730799 HAS SOPS 730799 HAS SOUS 545926 HAS SOUPS 545926 WITH SCORE 546656.799
AT ITER 313 NEW BEST:: SOT 1452642 SOS 730730 HAS SOPS 730730 HAS SOUS 545903 HAS SOUPS 545903 WITH SCORE 546633.73
AT ITER 314 NEW BEST:: SOT 1452465 SOS 731073 HAS SOPS 731073 HAS SOUS 545820 HAS SOUPS 545820 WITH SCORE 546551.073
AT ITER 324 NEW BEST:: SOT 1452465 SOS 731073 HAS SOPS 731073 HAS SOUS 545579 HAS SOUPS 545579 WITH SCORE 546310.073
AT ITER 325 NEW BEST:: SOT 1451867 SOS 728681 HAS SOPS 728681 HAS SOUS 544399 HAS SOUPS 544399 WITH SCORE 545127.681
AT ITER 330 NEW BEST:: SOT 1451444 SOS 726823 HAS SOPS 726823 HAS SOUS 543258 HAS SOUPS 543258 WITH SCORE 543984.823
AT ITER 339 NEW BEST:: SOT 1451444 SOS 726825 HAS SOPS 726825 HAS SOUS 543024 HAS SOUPS 543024 WITH SCORE 543750.825
AT ITER 343 NEW BEST:: SOT 1451366 SOS 726788 HAS SOPS 726788 HAS SOUS 542987 HAS SOUPS 542987 WITH SCORE 543713.788
AT ITER 345 NEW BEST:: SOT 1451352 SOS 726760 HAS SOPS 726760 HAS SOUS 542973 HAS SOUPS 542973 WITH SCORE 543699.76
AT ITER 350 NEW BEST:: SOT 1451352 SOS 726343 HAS SOPS 726343 HAS SOUS 542676 HAS SOUPS 542676 WITH SCORE 543402.343
AT ITER 351 NEW BEST:: SOT 1449065 SOS 724512 HAS SOPS 724512 HAS SOUS 540529 HAS SOUPS 540529 WITH SCORE 541253.512
AT ITER 361 NEW BEST:: SOT 1449061 SOS 724504 HAS SOPS 724504 HAS SOUS 540525 HAS SOUPS 540525 WITH SCORE 541249.504
AT ITER 363 NEW BEST:: SOT 1449061 SOS 724314 HAS SOPS 724314 HAS SOUS 540522 HAS SOUPS 540522 WITH SCORE 541246.314
AT ITER 365 NEW BEST:: SOT 1449061 SOS 723832 HAS SOPS 723832 HAS SOUS 540486 HAS SOUPS 540486 WITH SCORE 541209.832
AT ITER 367 NEW BEST:: SOT 1449493 SOS 724264 HAS SOPS 724264 HAS SOUS 540356 HAS SOUPS 540356 WITH SCORE 541080.264
AT ITER 368 NEW BEST:: SOT 1449513 SOS 724134 HAS SOPS 724134 HAS SOUS 539942 HAS SOUPS 539942 WITH SCORE 540666.134
AT ITER 369 NEW BEST:: SOT 1449285 SOS 723678 HAS SOPS 723678 HAS SOUS 539486 HAS SOUPS 539486 WITH SCORE 540209.678
AT ITER 376 NEW BEST:: SOT 1449137 SOS 723530 HAS SOPS 723530 HAS SOUS 539408 HAS SOUPS 539408 WITH SCORE 540131.53
AT ITER 378 NEW BEST:: SOT 1448576 SOS 722408 HAS SOPS 722408 HAS SOUS 538698 HAS SOUPS 538698 WITH SCORE 539420.408
AT ITER 382 NEW BEST:: SOT 1448576 SOS 722492 HAS SOPS 722492 HAS SOUS 538614 HAS SOUPS 538614 WITH SCORE 539336.492
AT ITER 389 NEW BEST:: SOT 1448220 SOS 721780 HAS SOPS 721780 HAS SOUS 537902 HAS SOUPS 537902 WITH SCORE 538623.78
AT ITER 390 NEW BEST:: SOT 1448220 SOS 721573 HAS SOPS 721573 HAS SOUS 537612 HAS SOUPS 537612 WITH SCORE 538333.573
AT ITER 397 NEW BEST:: SOT 1448376 SOS 721281 HAS SOPS 721281 HAS SOUS 537320 HAS SOUPS 537320 WITH SCORE 538041.281
AT ITER 403 NEW BEST:: SOT 1447843 SOS 718807 HAS SOPS 718807 HAS SOUS 536152 HAS SOUPS 536152 WITH SCORE 536870.807
AT ITER 408 NEW BEST:: SOT 1447717 SOS 718555 HAS SOPS 718555 HAS SOUS 536111 HAS SOUPS 536111 WITH SCORE 536829.555
AT ITER 410 NEW BEST:: SOT 1447717 SOS 718538 HAS SOPS 718538 HAS SOUS 536111 HAS SOUPS 536111 WITH SCORE 536829.538
AT ITER 411 NEW BEST:: SOT 1447635 SOS 718728 HAS SOPS 718728 HAS SOUS 536035 HAS SOUPS 536035 WITH SCORE 536753.728
AT ITER 413 NEW BEST:: SOT 1447635 SOS 718323 HAS SOPS 718323 HAS SOUS 535771 HAS SOUPS 535771 WITH SCORE 536489.323
AT ITER 416 NEW BEST:: SOT 1447617 SOS 718305 HAS SOPS 718305 HAS SOUS 535753 HAS SOUPS 535753 WITH SCORE 536471.305
AT ITER 420 NEW BEST:: SOT 1447535 SOS 718141 HAS SOPS 718141 HAS SOUS 535697 HAS SOUPS 535697 WITH SCORE 536415.141
AT ITER 422 NEW BEST:: SOT 1447535 SOS 717856 HAS SOPS 717856 HAS SOUS 535439 HAS SOUPS 535439 WITH SCORE 536156.856
AT ITER 423 NEW BEST:: SOT 1447370 SOS 717196 HAS SOPS 717196 HAS SOUS 535109 HAS SOUPS 535109 WITH SCORE 535826.196
AT ITER 424 NEW BEST:: SOT 1447226 SOS 717170 HAS SOPS 717170 HAS SOUS 535108 HAS SOUPS 535108 WITH SCORE 535825.17
AT ITER 427 NEW BEST:: SOT 1447356 SOS 717365 HAS SOPS 717365 HAS SOUS 535047 HAS SOUPS 535047 WITH SCORE 535764.365
AT ITER 433 NEW BEST:: SOT 1447280 SOS 717289 HAS SOPS 717289 HAS SOUS 534971 HAS SOUPS 534971 WITH SCORE 535688.289
AT ITER 434 NEW BEST:: SOT 1447280 SOS 717083 HAS SOPS 717083 HAS SOUS 534957 HAS SOUPS 534957 WITH SCORE 535674.083
AT ITER 437 NEW BEST:: SOT 1447438 SOS 717481 HAS SOPS 717481 HAS SOUS 534305 HAS SOUPS 534305 WITH SCORE 535022.481
AT ITER 439 NEW BEST:: SOT 1447149 SOS 717199 HAS SOPS 717199 HAS SOUS 534036 HAS SOUPS 534036 WITH SCORE 534753.199
AT ITER 441 NEW BEST:: SOT 1447294 SOS 716468 HAS SOPS 716468 HAS SOUS 534025 HAS SOUPS 534025 WITH SCORE 534741.468
AT ITER 444 NEW BEST:: SOT 1447273 SOS 715876 HAS SOPS 715876 HAS SOUS 533983 HAS SOUPS 533983 WITH SCORE 534698.876
AT ITER 446 NEW BEST:: SOT 1447349 SOS 715548 HAS SOPS 715548 HAS SOUS 533829 HAS SOUPS 533829 WITH SCORE 534544.548
AT ITER 448 NEW BEST:: SOT 1447107 SOS 714642 HAS SOPS 714642 HAS SOUS 533341 HAS SOUPS 533341 WITH SCORE 534055.642
AT ITER 452 NEW BEST:: SOT 1446951 SOS 714174 HAS SOPS 714174 HAS SOUS 533185 HAS SOUPS 533185 WITH SCORE 533899.174
AT ITER 461 NEW BEST:: SOT 1446549 SOS 714078 HAS SOPS 714078 HAS SOUS 533148 HAS SOUPS 533148 WITH SCORE 533862.078
AT ITER 469 NEW BEST:: SOT 1446336 SOS 713652 HAS SOPS 713652 HAS SOUS 532935 HAS SOUPS 532935 WITH SCORE 533648.652
AT ITER 475 NEW BEST:: SOT 1446407 SOS 712516 HAS SOPS 712516 HAS SOUS 532935 HAS SOUPS 532935 WITH SCORE 533647.516
AT ITER 489 NEW BEST:: SOT 1446275 SOS 709889 HAS SOPS 709889 HAS SOUS 532803 HAS SOUPS 532803 WITH SCORE 533512.889
AT ITER 496 NEW BEST:: SOT 1446090 SOS 709519 HAS SOPS 709519 HAS SOUS 532433 HAS SOUPS 532433 WITH SCORE 533142.519
AT ITER 498 NEW BEST:: SOT 1445622 SOS 708045 HAS SOPS 708045 HAS SOUS 531961 HAS SOUPS 531961 WITH SCORE 532669.045
AT ITER 500 NEW BEST:: SOT 1445614 SOS 706615 HAS SOPS 706615 HAS SOUS 531666 HAS SOUPS 531666 WITH SCORE 532372.615
AT ITER 502 NEW BEST:: SOT 1445614 SOS 706615 HAS SOPS 706615 HAS SOUS 531664 HAS SOUPS 531664 WITH SCORE 532370.615
AT ITER 506 NEW BEST:: SOT 1445614 SOS 706747 HAS SOPS 706747 HAS SOUS 531603 HAS SOUPS 531603 WITH SCORE 532309.747
AT ITER 510 NEW BEST:: SOT 1445475 SOS 706469 HAS SOPS 706469 HAS SOUS 531464 HAS SOUPS 531464 WITH SCORE 532170.469
AT ITER 512 NEW BEST:: SOT 1445475 SOS 706340 HAS SOPS 706340 HAS SOUS 531105 HAS SOUPS 531105 WITH SCORE 531811.34
AT ITER 519 NEW BEST:: SOT 1445475 SOS 705800 HAS SOPS 705800 HAS SOUS 530025 HAS SOUPS 530025 WITH SCORE 530730.8
AT ITER 522 NEW BEST:: SOT 1438886 SOS 727917 HAS SOPS 727917 HAS SOUS 524304 HAS SOUPS 524304 WITH SCORE 525031.917
AT ITER 523 NEW BEST:: SOT 1438886 SOS 727917 HAS SOPS 727917 HAS SOUS 524166 HAS SOUPS 524166 WITH SCORE 524893.917
AT ITER 525 NEW BEST:: SOT 1438886 SOS 727839 HAS SOPS 727839 HAS SOUS 524088 HAS SOUPS 524088 WITH SCORE 524815.839
AT ITER 526 NEW BEST:: SOT 1438583 SOS 726627 HAS SOPS 726627 HAS SOUS 523258 HAS SOUPS 523258 WITH SCORE 523984.627
AT ITER 529 NEW BEST:: SOT 1438583 SOS 726168 HAS SOPS 726168 HAS SOUS 523258 HAS SOUPS 523258 WITH SCORE 523984.168
AT ITER 532 NEW BEST:: SOT 1438281 SOS 724762 HAS SOPS 724762 HAS SOUS 522975 HAS SOUPS 522975 WITH SCORE 523699.762
AT ITER 533 NEW BEST:: SOT 1438281 SOS 724384 HAS SOPS 724384 HAS SOUS 522975 HAS SOUPS 522975 WITH SCORE 523699.384
AT ITER 535 NEW BEST:: SOT 1438266 SOS 724369 HAS SOPS 724369 HAS SOUS 522960 HAS SOUPS 522960 WITH SCORE 523684.369
AT ITER 536 NEW BEST:: SOT 1438164 SOS 724165 HAS SOPS 724165 HAS SOUS 522858 HAS SOUPS 522858 WITH SCORE 523582.165
AT ITER 539 NEW BEST:: SOT 1438164 SOS 724165 HAS SOPS 724165 HAS SOUS 522738 HAS SOUPS 522738 WITH SCORE 523462.165
AT ITER 541 NEW BEST:: SOT 1437800 SOS 723437 HAS SOPS 723437 HAS SOUS 522372 HAS SOUPS 522372 WITH SCORE 523095.437
AT ITER 545 NEW BEST:: SOT 1437457 SOS 723163 HAS SOPS 723163 HAS SOUS 522029 HAS SOUPS 522029 WITH SCORE 522752.163
AT ITER 547 NEW BEST:: SOT 1437137 SOS 722843 HAS SOPS 722843 HAS SOUS 522028 HAS SOUPS 522028 WITH SCORE 522750.843
AT ITER 555 NEW BEST:: SOT 1437325 SOS 718114 HAS SOPS 718114 HAS SOUS 521194 HAS SOUPS 521194 WITH SCORE 521912.114
AT ITER 560 NEW BEST:: SOT 1437195 SOS 717984 HAS SOPS 717984 HAS SOUS 521127 HAS SOUPS 521127 WITH SCORE 521844.984
AT ITER 566 NEW BEST:: SOT 1437131 SOS 717856 HAS SOPS 717856 HAS SOUS 520999 HAS SOUPS 520999 WITH SCORE 521716.856
AT ITER 571 NEW BEST:: SOT 1437131 SOS 717856 HAS SOPS 717856 HAS SOUS 520729 HAS SOUPS 520729 WITH SCORE 521446.856
AT ITER 580 NEW BEST:: SOT 1436613 SOS 716820 HAS SOPS 716820 HAS SOUS 519695 HAS SOUPS 519695 WITH SCORE 520411.82
AT ITER 591 NEW BEST:: SOT 1436750 SOS 714561 HAS SOPS 714561 HAS SOUS 519661 HAS SOUPS 519661 WITH SCORE 520375.561
AT ITER 592 NEW BEST:: SOT 1436545 SOS 714512 HAS SOPS 714512 HAS SOUS 519612 HAS SOUPS 519612 WITH SCORE 520326.512
AT ITER 598 NEW BEST:: SOT 1436438 SOS 714298 HAS SOPS 714298 HAS SOUS 519398 HAS SOUPS 519398 WITH SCORE 520112.298
AT ITER 599 NEW BEST:: SOT 1436438 SOS 713877 HAS SOPS 713877 HAS SOUS 518680 HAS SOUPS 518680 WITH SCORE 519393.877
AT ITER 600 NEW BEST:: SOT 1436466 SOS 713661 HAS SOPS 713661 HAS SOUS 518646 HAS SOUPS 518646 WITH SCORE 519359.661
AT ITER 601 NEW BEST:: SOT 1436044 SOS 712817 HAS SOPS 712817 HAS SOUS 518228 HAS SOUPS 518228 WITH SCORE 518940.817
AT ITER 608 NEW BEST:: SOT 1436329 SOS 713035 HAS SOPS 713035 HAS SOUS 518173 HAS SOUPS 518173 WITH SCORE 518886.035
AT ITER 613 NEW BEST:: SOT 1409230 SOS 732157 HAS SOPS 732157 HAS SOUS 492301 HAS SOUPS 492301 WITH SCORE 493033.157
AT ITER 618 NEW BEST:: SOT 1409093 SOS 731879 HAS SOPS 731879 HAS SOUS 492160 HAS SOUPS 492160 WITH SCORE 492891.879
AT ITER 619 NEW BEST:: SOT 1409093 SOS 731519 HAS SOPS 731519 HAS SOUS 491980 HAS SOUPS 491980 WITH SCORE 492711.519
AT ITER 620 NEW BEST:: SOT 1409050 SOS 731666 HAS SOPS 731666 HAS SOUS 491859 HAS SOUPS 491859 WITH SCORE 492590.666
AT ITER 622 NEW BEST:: SOT 1408583 SOS 729798 HAS SOPS 729798 HAS SOUS 491391 HAS SOUPS 491391 WITH SCORE 492120.798
AT ITER 623 NEW BEST:: SOT 1408288 SOS 729687 HAS SOPS 729687 HAS SOUS 491248 HAS SOUPS 491248 WITH SCORE 491977.687
AT ITER 624 NEW BEST:: SOT 1408267 SOS 729793 HAS SOPS 729793 HAS SOUS 491229 HAS SOUPS 491229 WITH SCORE 491958.793
AT ITER 625 NEW BEST:: SOT 1407898 SOS 729055 HAS SOPS 729055 HAS SOUS 490746 HAS SOUPS 490746 WITH SCORE 491475.055
AT ITER 629 NEW BEST:: SOT 1407517 SOS 728560 HAS SOPS 728560 HAS SOUS 490535 HAS SOUPS 490535 WITH SCORE 491263.56
AT ITER 634 NEW BEST:: SOT 1407517 SOS 727862 HAS SOPS 727862 HAS SOUS 490024 HAS SOUPS 490024 WITH SCORE 490751.862
AT ITER 638 NEW BEST:: SOT 1407209 SOS 727643 HAS SOPS 727643 HAS SOUS 489662 HAS SOUPS 489662 WITH SCORE 490389.643
AT ITER 639 NEW BEST:: SOT 1406936 SOS 727457 HAS SOPS 727457 HAS SOUS 489389 HAS SOUPS 489389 WITH SCORE 490116.457
AT ITER 641 NEW BEST:: SOT 1406624 SOS 726833 HAS SOPS 726833 HAS SOUS 488979 HAS SOUPS 488979 WITH SCORE 489705.833
AT ITER 642 NEW BEST:: SOT 1406432 SOS 726100 HAS SOPS 726100 HAS SOUS 488599 HAS SOUPS 488599 WITH SCORE 489325.1
AT ITER 645 NEW BEST:: SOT 1406432 SOS 726046 HAS SOPS 726046 HAS SOUS 488599 HAS SOUPS 488599 WITH SCORE 489325.046
AT ITER 647 NEW BEST:: SOT 1406331 SOS 725844 HAS SOPS 725844 HAS SOUS 488540 HAS SOUPS 488540 WITH SCORE 489265.844
AT ITER 651 NEW BEST:: SOT 1406331 SOS 725844 HAS SOPS 725844 HAS SOUS 488539 HAS SOUPS 488539 WITH SCORE 489264.844
AT ITER 654 NEW BEST:: SOT 1406234 SOS 725650 HAS SOPS 725650 HAS SOUS 488442 HAS SOUPS 488442 WITH SCORE 489167.65
AT ITER 658 NEW BEST:: SOT 1405903 SOS 724616 HAS SOPS 724616 HAS SOUS 488111 HAS SOUPS 488111 WITH SCORE 488835.616
AT ITER 659 NEW BEST:: SOT 1405760 SOS 724330 HAS SOPS 724330 HAS SOUS 487968 HAS SOUPS 487968 WITH SCORE 488692.33
AT ITER 660 NEW BEST:: SOT 1405741 SOS 724292 HAS SOPS 724292 HAS SOUS 487929 HAS SOUPS 487929 WITH SCORE 488653.292
AT ITER 667 NEW BEST:: SOT 1403348 SOS 721899 HAS SOPS 721899 HAS SOUS 485797 HAS SOUPS 485797 WITH SCORE 486518.899
AT ITER 669 NEW BEST:: SOT 1403348 SOS 721713 HAS SOPS 721713 HAS SOUS 485797 HAS SOUPS 485797 WITH SCORE 486518.713
AT ITER 676 NEW BEST:: SOT 1403348 SOS 721050 HAS SOPS 721050 HAS SOUS 485797 HAS SOUPS 485797 WITH SCORE 486518.05
AT ITER 677 NEW BEST:: SOT 1403013 SOS 720187 HAS SOPS 720187 HAS SOUS 484934 HAS SOUPS 484934 WITH SCORE 485654.187
AT ITER 684 NEW BEST:: SOT 1402628 SOS 718441 HAS SOPS 718441 HAS SOUS 484243 HAS SOUPS 484243 WITH SCORE 484961.441
AT ITER 686 NEW BEST:: SOT 1402628 SOS 718441 HAS SOPS 718441 HAS SOUS 484214 HAS SOUPS 484214 WITH SCORE 484932.441
AT ITER 696 NEW BEST:: SOT 1402628 SOS 718000 HAS SOPS 718000 HAS SOUS 483801 HAS SOUPS 483801 WITH SCORE 484519.0
AT ITER 718 NEW BEST:: SOT 1402491 SOS 717726 HAS SOPS 717726 HAS SOUS 483795 HAS SOUPS 483795 WITH SCORE 484512.726
AT ITER 720 NEW BEST:: SOT 1402498 SOS 717515 HAS SOPS 717515 HAS SOUS 483787 HAS SOUPS 483787 WITH SCORE 484504.515
AT ITER 721 NEW BEST:: SOT 1402152 SOS 716670 HAS SOPS 716670 HAS SOUS 483487 HAS SOUPS 483487 WITH SCORE 484203.67
AT ITER 723 NEW BEST:: SOT 1401962 SOS 716480 HAS SOPS 716480 HAS SOUS 483297 HAS SOUPS 483297 WITH SCORE 484013.48
AT ITER 726 NEW BEST:: SOT 1401962 SOS 716411 HAS SOPS 716411 HAS SOUS 483228 HAS SOUPS 483228 WITH SCORE 483944.411
AT ITER 732 NEW BEST:: SOT 1401988 SOS 716050 HAS SOPS 716050 HAS SOUS 482833 HAS SOUPS 482833 WITH SCORE 483549.05
AT ITER 733 NEW BEST:: SOT 1402335 SOS 715568 HAS SOPS 715568 HAS SOUS 482766 HAS SOUPS 482766 WITH SCORE 483481.568
AT ITER 735 NEW BEST:: SOT 1402335 SOS 715568 HAS SOPS 715568 HAS SOUS 482765 HAS SOUPS 482765 WITH SCORE 483480.568
AT ITER 738 NEW BEST:: SOT 1402027 SOS 714952 HAS SOPS 714952 HAS SOUS 482500 HAS SOUPS 482500 WITH SCORE 483214.952
AT ITER 742 NEW BEST:: SOT 1402063 SOS 715020 HAS SOPS 715020 HAS SOUS 482448 HAS SOUPS 482448 WITH SCORE 483163.02
AT ITER 743 NEW BEST:: SOT 1402063 SOS 714943 HAS SOPS 714943 HAS SOUS 482447 HAS SOUPS 482447 WITH SCORE 483161.943
AT ITER 754 NEW BEST:: SOT 1402053 SOS 714923 HAS SOPS 714923 HAS SOUS 482437 HAS SOUPS 482437 WITH SCORE 483151.923
AT ITER 769 NEW BEST:: SOT 1402053 SOS 714923 HAS SOPS 714923 HAS SOUS 482019 HAS SOUPS 482019 WITH SCORE 482733.923
AT ITER 770 NEW BEST:: SOT 1401629 SOS 714372 HAS SOPS 714372 HAS SOUS 481721 HAS SOUPS 481721 WITH SCORE 482435.372
AT ITER 775 NEW BEST:: SOT 1401284 SOS 714397 HAS SOPS 714397 HAS SOUS 481263 HAS SOUPS 481263 WITH SCORE 481977.397
AT ITER 785 NEW BEST:: SOT 1401276 SOS 714389 HAS SOPS 714389 HAS SOUS 481255 HAS SOUPS 481255 WITH SCORE 481969.389
AT ITER 789 NEW BEST:: SOT 1401336 SOS 714750 HAS SOPS 714750 HAS SOUS 481231 HAS SOUPS 481231 WITH SCORE 481945.75
AT ITER 790 NEW BEST:: SOT 1401569 SOS 713924 HAS SOPS 713924 HAS SOUS 480816 HAS SOUPS 480816 WITH SCORE 481529.924
AT ITER 793 NEW BEST:: SOT 1401569 SOS 713923 HAS SOPS 713923 HAS SOUS 480816 HAS SOUPS 480816 WITH SCORE 481529.923
AT ITER 796 NEW BEST:: SOT 1401226 SOS 709918 HAS SOPS 709918 HAS SOUS 479820 HAS SOUPS 479820 WITH SCORE 480529.918
AT ITER 799 NEW BEST:: SOT 1400597 SOS 709164 HAS SOPS 709164 HAS SOUS 479200 HAS SOUPS 479200 WITH SCORE 479909.164
AT ITER 801 NEW BEST:: SOT 1400163 SOS 708730 HAS SOPS 708730 HAS SOUS 479025 HAS SOUPS 479025 WITH SCORE 479733.73
AT ITER 802 NEW BEST:: SOT 1399698 SOS 708142 HAS SOPS 708142 HAS SOUS 478829 HAS SOUPS 478829 WITH SCORE 479537.142
AT ITER 805 NEW BEST:: SOT 1399698 SOS 707939 HAS SOPS 707939 HAS SOUS 478829 HAS SOUPS 478829 WITH SCORE 479536.939
AT ITER 809 NEW BEST:: SOT 1399698 SOS 707707 HAS SOPS 707707 HAS SOUS 478623 HAS SOUPS 478623 WITH SCORE 479330.707
AT ITER 810 NEW BEST:: SOT 1399598 SOS 707607 HAS SOPS 707607 HAS SOUS 478502 HAS SOUPS 478502 WITH SCORE 479209.607
AT ITER 814 NEW BEST:: SOT 1399451 SOS 707313 HAS SOPS 707313 HAS SOUS 478355 HAS SOUPS 478355 WITH SCORE 479062.313
AT ITER 822 NEW BEST:: SOT 1398933 SOS 705241 HAS SOPS 705241 HAS SOUS 477492 HAS SOUPS 477492 WITH SCORE 478197.241
AT ITER 825 NEW BEST:: SOT 1398942 SOS 704857 HAS SOPS 704857 HAS SOUS 477174 HAS SOUPS 477174 WITH SCORE 477878.857
AT ITER 830 NEW BEST:: SOT 1398942 SOS 704857 HAS SOPS 704857 HAS SOUS 476946 HAS SOUPS 476946 WITH SCORE 477650.857
AT ITER 833 NEW BEST:: SOT 1398785 SOS 704700 HAS SOPS 704700 HAS SOUS 476632 HAS SOUPS 476632 WITH SCORE 477336.7
AT ITER 834 NEW BEST:: SOT 1398210 SOS 702400 HAS SOPS 702400 HAS SOUS 475891 HAS SOUPS 475891 WITH SCORE 476593.4
AT ITER 843 NEW BEST:: SOT 1398210 SOS 702186 HAS SOPS 702186 HAS SOUS 475601 HAS SOUPS 475601 WITH SCORE 476303.186
AT ITER 849 NEW BEST:: SOT 1397875 SOS 701516 HAS SOPS 701516 HAS SOUS 475266 HAS SOUPS 475266 WITH SCORE 475967.516
AT ITER 850 NEW BEST:: SOT 1397875 SOS 700732 HAS SOPS 700732 HAS SOUS 475266 HAS SOUPS 475266 WITH SCORE 475966.732
AT ITER 854 NEW BEST:: SOT 1397946 SOS 700561 HAS SOPS 700561 HAS SOUS 474782 HAS SOUPS 474782 WITH SCORE 475482.561
AT ITER 857 NEW BEST:: SOT 1397887 SOS 700443 HAS SOPS 700443 HAS SOUS 474664 HAS SOUPS 474664 WITH SCORE 475364.443
AT ITER 858 NEW BEST:: SOT 1397560 SOS 700003 HAS SOPS 700003 HAS SOUS 474337 HAS SOUPS 474337 WITH SCORE 475037.003
AT ITER 860 NEW BEST:: SOT 1397313 SOS 699262 HAS SOPS 699262 HAS SOUS 473596 HAS SOUPS 473596 WITH SCORE 474295.262
AT ITER 865 NEW BEST:: SOT 1397306 SOS 699248 HAS SOPS 699248 HAS SOUS 473589 HAS SOUPS 473589 WITH SCORE 474288.248
AT ITER 866 NEW BEST:: SOT 1397532 SOS 699129 HAS SOPS 699129 HAS SOUS 473539 HAS SOUPS 473539 WITH SCORE 474238.129
AT ITER 868 NEW BEST:: SOT 1397587 SOS 699239 HAS SOPS 699239 HAS SOUS 473186 HAS SOUPS 473186 WITH SCORE 473885.239
AT ITER 872 NEW BEST:: SOT 1396861 SOS 698155 HAS SOPS 698155 HAS SOUS 472460 HAS SOUPS 472460 WITH SCORE 473158.155
AT ITER 874 NEW BEST:: SOT 1396861 SOS 697994 HAS SOPS 697994 HAS SOUS 472400 HAS SOUPS 472400 WITH SCORE 473097.994
AT ITER 875 NEW BEST:: SOT 1397474 SOS 696958 HAS SOPS 696958 HAS SOUS 472347 HAS SOUPS 472347 WITH SCORE 473043.958
AT ITER 878 NEW BEST:: SOT 1397474 SOS 696476 HAS SOPS 696476 HAS SOUS 472185 HAS SOUPS 472185 WITH SCORE 472881.476
AT ITER 891 NEW BEST:: SOT 1397228 SOS 695220 HAS SOPS 695220 HAS SOUS 471607 HAS SOUPS 471607 WITH SCORE 472302.22
AT ITER 896 NEW BEST:: SOT 1390624 SOS 689688 HAS SOPS 689688 HAS SOUS 465784 HAS SOUPS 465784 WITH SCORE 466473.688
AT ITER 897 NEW BEST:: SOT 1390585 SOS 689648 HAS SOPS 689648 HAS SOUS 465461 HAS SOUPS 465461 WITH SCORE 466150.648
AT ITER 903 NEW BEST:: SOT 1390372 SOS 688965 HAS SOPS 688965 HAS SOUS 465247 HAS SOUPS 465247 WITH SCORE 465935.965
AT ITER 904 NEW BEST:: SOT 1390372 SOS 688965 HAS SOPS 688965 HAS SOUS 465013 HAS SOUPS 465013 WITH SCORE 465701.965
AT ITER 907 NEW BEST:: SOT 1390009 SOS 688239 HAS SOPS 688239 HAS SOUS 464660 HAS SOUPS 464660 WITH SCORE 465348.239
AT ITER 910 NEW BEST:: SOT 1390009 SOS 688107 HAS SOPS 688107 HAS SOUS 464528 HAS SOUPS 464528 WITH SCORE 465216.107
AT ITER 911 NEW BEST:: SOT 1389852 SOS 687636 HAS SOPS 687636 HAS SOUS 464213 HAS SOUPS 464213 WITH SCORE 464900.636
AT ITER 912 NEW BEST:: SOT 1389875 SOS 687274 HAS SOPS 687274 HAS SOUS 464212 HAS SOUPS 464212 WITH SCORE 464899.274
AT ITER 918 NEW BEST:: SOT 1389843 SOS 686634 HAS SOPS 686634 HAS SOUS 463945 HAS SOUPS 463945 WITH SCORE 464631.634
AT ITER 920 NEW BEST:: SOT 1389843 SOS 686805 HAS SOPS 686805 HAS SOUS 463859 HAS SOUPS 463859 WITH SCORE 464545.805
AT ITER 921 NEW BEST:: SOT 1389487 SOS 686449 HAS SOPS 686449 HAS SOUS 463859 HAS SOUPS 463859 WITH SCORE 464545.449
AT ITER 924 NEW BEST:: SOT 1389122 SOS 686232 HAS SOPS 686232 HAS SOUS 463688 HAS SOUPS 463688 WITH SCORE 464374.232
AT ITER 925 NEW BEST:: SOT 1389063 SOS 685996 HAS SOPS 685996 HAS SOUS 463570 HAS SOUPS 463570 WITH SCORE 464255.996
AT ITER 926 NEW BEST:: SOT 1389186 SOS 666952 HAS SOPS 666952 HAS SOUS 463508 HAS SOUPS 463508 WITH SCORE 464174.952
AT ITER 927 NEW BEST:: SOT 1388987 SOS 666753 HAS SOPS 666753 HAS SOUS 463269 HAS SOUPS 463269 WITH SCORE 463935.753
AT ITER 930 NEW BEST:: SOT 1389107 SOS 665694 HAS SOPS 665694 HAS SOUS 462893 HAS SOUPS 462893 WITH SCORE 463558.694
AT ITER 931 NEW BEST:: SOT 1388415 SOS 665022 HAS SOPS 665022 HAS SOUS 462615 HAS SOUPS 462615 WITH SCORE 463280.022
AT ITER 934 NEW BEST:: SOT 1387869 SOS 664351 HAS SOPS 664351 HAS SOUS 462069 HAS SOUPS 462069 WITH SCORE 462733.351
AT ITER 936 NEW BEST:: SOT 1387606 SOS 663825 HAS SOPS 663825 HAS SOUS 461806 HAS SOUPS 461806 WITH SCORE 462469.825
AT ITER 939 NEW BEST:: SOT 1387408 SOS 663629 HAS SOPS 663629 HAS SOUS 461608 HAS SOUPS 461608 WITH SCORE 462271.629
AT ITER 940 NEW BEST:: SOT 1387481 SOS 663606 HAS SOPS 663606 HAS SOUS 461585 HAS SOUPS 461585 WITH SCORE 462248.606
AT ITER 942 NEW BEST:: SOT 1387361 SOS 663366 HAS SOPS 663366 HAS SOUS 461465 HAS SOUPS 461465 WITH SCORE 462128.366
AT ITER 950 NEW BEST:: SOT 1387273 SOS 663278 HAS SOPS 663278 HAS SOUS 461376 HAS SOUPS 461376 WITH SCORE 462039.278
AT ITER 952 NEW BEST:: SOT 1387210 SOS 663152 HAS SOPS 663152 HAS SOUS 461301 HAS SOUPS 461301 WITH SCORE 461964.152
AT ITER 953 NEW BEST:: SOT 1387250 SOS 663232 HAS SOPS 663232 HAS SOUS 461126 HAS SOUPS 461126 WITH SCORE 461789.232
AT ITER 956 NEW BEST:: SOT 1386246 SOS 662703 HAS SOPS 662703 HAS SOUS 460209 HAS SOUPS 460209 WITH SCORE 460871.703
AT ITER 957 NEW BEST:: SOT 1385911 SOS 662033 HAS SOPS 662033 HAS SOUS 459475 HAS SOUPS 459475 WITH SCORE 460137.033
AT ITER 959 NEW BEST:: SOT 1385634 SOS 661756 HAS SOPS 661756 HAS SOUS 459120 HAS SOUPS 459120 WITH SCORE 459781.756
AT ITER 960 NEW BEST:: SOT 1385634 SOS 661697 HAS SOPS 661697 HAS SOUS 459120 HAS SOUPS 459120 WITH SCORE 459781.697
AT ITER 963 NEW BEST:: SOT 1385710 SOS 661432 HAS SOPS 661432 HAS SOUS 459008 HAS SOUPS 459008 WITH SCORE 459669.432
AT ITER 966 NEW BEST:: SOT 1385284 SOS 660580 HAS SOPS 660580 HAS SOUS 458962 HAS SOUPS 458962 WITH SCORE 459622.58
AT ITER 968 NEW BEST:: SOT 1385272 SOS 660683 HAS SOPS 660683 HAS SOUS 458950 HAS SOUPS 458950 WITH SCORE 459610.683
AT ITER 973 NEW BEST:: SOT 1384989 SOS 660117 HAS SOPS 660117 HAS SOUS 458667 HAS SOUPS 458667 WITH SCORE 459327.117
AT ITER 975 NEW BEST:: SOT 1384890 SOS 659957 HAS SOPS 659957 HAS SOUS 458531 HAS SOUPS 458531 WITH SCORE 459190.957
AT ITER 976 NEW BEST:: SOT 1382510 SOS 658306 HAS SOPS 658306 HAS SOUS 456611 HAS SOUPS 456611 WITH SCORE 457269.306
AT ITER 977 NEW BEST:: SOT 1382510 SOS 658306 HAS SOPS 658306 HAS SOUS 456610 HAS SOUPS 456610 WITH SCORE 457268.306
AT ITER 985 NEW BEST:: SOT 1382431 SOS 658148 HAS SOPS 658148 HAS SOUS 456530 HAS SOUPS 456530 WITH SCORE 457188.148
AT ITER 986 NEW BEST:: SOT 1382137 SOS 657924 HAS SOPS 657924 HAS SOUS 456526 HAS SOUPS 456526 WITH SCORE 457183.924
AT ITER 995 NEW BEST:: SOT 1381991 SOS 657340 HAS SOPS 657340 HAS SOUS 456234 HAS SOUPS 456234 WITH SCORE 456891.34
AT ITER 997 NEW BEST:: SOT 1382363 SOS 657467 HAS SOPS 657467 HAS SOUS 455854 HAS SOUPS 455854 WITH SCORE 456511.467
AT ITER 999 NEW BEST:: SOT 1382633 SOS 657773 HAS SOPS 657773 HAS SOUS 455701 HAS SOUPS 455701 WITH SCORE 456358.773
AT ITER 1000 NEW BEST:: SOT 1382698 SOS 657427 HAS SOPS 657427 HAS SOUS 455304 HAS SOUPS 455304 WITH SCORE 455961.427
AT ITER 1008 NEW BEST:: SOT 1383220 SOS 657981 HAS SOPS 657981 HAS SOUS 455261 HAS SOUPS 455261 WITH SCORE 455918.981
AT ITER 1011 NEW BEST:: SOT 1383513 SOS 658109 HAS SOPS 658109 HAS SOUS 455252 HAS SOUPS 455252 WITH SCORE 455910.109
AT ITER 1012 NEW BEST:: SOT 1383152 SOS 657387 HAS SOPS 657387 HAS SOUS 454891 HAS SOUPS 454891 WITH SCORE 455548.387
AT ITER 1015 NEW BEST:: SOT 1382992 SOS 656885 HAS SOPS 656885 HAS SOUS 454389 HAS SOUPS 454389 WITH SCORE 455045.885
AT ITER 1020 NEW BEST:: SOT 1382928 SOS 656757 HAS SOPS 656757 HAS SOUS 454261 HAS SOUPS 454261 WITH SCORE 454917.757
AT ITER 1026 NEW BEST:: SOT 1380278 SOS 668328 HAS SOPS 668328 HAS SOUS 452010 HAS SOUPS 452010 WITH SCORE 452678.328
AT ITER 1027 NEW BEST:: SOT 1380577 SOS 668097 HAS SOPS 668097 HAS SOUS 451431 HAS SOUPS 451431 WITH SCORE 452099.097
AT ITER 1028 NEW BEST:: SOT 1380466 SOS 667986 HAS SOPS 667986 HAS SOUS 451240 HAS SOUPS 451240 WITH SCORE 451907.986
AT ITER 1029 NEW BEST:: SOT 1380299 SOS 667652 HAS SOPS 667652 HAS SOUS 451036 HAS SOUPS 451036 WITH SCORE 451703.652
AT ITER 1032 NEW BEST:: SOT 1380299 SOS 667312 HAS SOPS 667312 HAS SOUS 450325 HAS SOUPS 450325 WITH SCORE 450992.312
AT ITER 1033 NEW BEST:: SOT 1380128 SOS 666970 HAS SOPS 666970 HAS SOUS 450153 HAS SOUPS 450153 WITH SCORE 450819.97
AT ITER 1046 NEW BEST:: SOT 1379809 SOS 666332 HAS SOPS 666332 HAS SOUS 449833 HAS SOUPS 449833 WITH SCORE 450499.332
AT ITER 1048 NEW BEST:: SOT 1376732 SOS 664408 HAS SOPS 664408 HAS SOUS 447251 HAS SOUPS 447251 WITH SCORE 447915.408
AT ITER 1049 NEW BEST:: SOT 1376732 SOS 664239 HAS SOPS 664239 HAS SOUS 446826 HAS SOUPS 446826 WITH SCORE 447490.239
AT ITER 1068 NEW BEST:: SOT 1375827 SOS 663182 HAS SOPS 663182 HAS SOUS 445668 HAS SOUPS 445668 WITH SCORE 446331.182
AT ITER 1069 NEW BEST:: SOT 1375898 SOS 662378 HAS SOPS 662378 HAS SOUS 445388 HAS SOUPS 445388 WITH SCORE 446050.378
AT ITER 1071 NEW BEST:: SOT 1375420 SOS 662229 HAS SOPS 662229 HAS SOUS 445350 HAS SOUPS 445350 WITH SCORE 446012.229
AT ITER 1072 NEW BEST:: SOT 1374758 SOS 660905 HAS SOPS 660905 HAS SOUS 444319 HAS SOUPS 444319 WITH SCORE 444979.905
AT ITER 1086 NEW BEST:: SOT 1374556 SOS 660551 HAS SOPS 660551 HAS SOUS 444117 HAS SOUPS 444117 WITH SCORE 444777.551
AT ITER 1103 NEW BEST:: SOT 1372892 SOS 668113 HAS SOPS 668113 HAS SOUS 443680 HAS SOUPS 443680 WITH SCORE 444348.113
AT ITER 1108 NEW BEST:: SOT 1373005 SOS 666654 HAS SOPS 666654 HAS SOUS 443084 HAS SOUPS 443084 WITH SCORE 443750.654
AT ITER 1113 NEW BEST:: SOT 1373005 SOS 666500 HAS SOPS 666500 HAS SOUS 443057 HAS SOUPS 443057 WITH SCORE 443723.5
AT ITER 1114 NEW BEST:: SOT 1373050 SOS 666590 HAS SOPS 666590 HAS SOUS 442923 HAS SOUPS 442923 WITH SCORE 443589.59
AT ITER 1117 NEW BEST:: SOT 1372825 SOS 666140 HAS SOPS 666140 HAS SOUS 442473 HAS SOUPS 442473 WITH SCORE 443139.14
AT ITER 1118 NEW BEST:: SOT 1372787 SOS 665712 HAS SOPS 665712 HAS SOUS 442117 HAS SOUPS 442117 WITH SCORE 442782.712
AT ITER 1124 NEW BEST:: SOT 1372787 SOS 665712 HAS SOPS 665712 HAS SOUS 442116 HAS SOUPS 442116 WITH SCORE 442781.712
AT ITER 1133 NEW BEST:: SOT 1372647 SOS 665432 HAS SOPS 665432 HAS SOUS 441759 HAS SOUPS 441759 WITH SCORE 442424.432
AT ITER 1136 NEW BEST:: SOT 1372425 SOS 665370 HAS SOPS 665370 HAS SOUS 441740 HAS SOUPS 441740 WITH SCORE 442405.37
AT ITER 1137 NEW BEST:: SOT 1372445 SOS 664898 HAS SOPS 664898 HAS SOUS 441630 HAS SOUPS 441630 WITH SCORE 442294.898
AT ITER 1139 NEW BEST:: SOT 1372366 SOS 664740 HAS SOPS 664740 HAS SOUS 441627 HAS SOUPS 441627 WITH SCORE 442291.74
AT ITER 1140 NEW BEST:: SOT 1372366 SOS 662294 HAS SOPS 662294 HAS SOUS 441627 HAS SOUPS 441627 WITH SCORE 442289.294
AT ITER 1144 NEW BEST:: SOT 1372130 SOS 662072 HAS SOPS 662072 HAS SOUS 441624 HAS SOUPS 441624 WITH SCORE 442286.072
AT ITER 1154 NEW BEST:: SOT 1372130 SOS 662072 HAS SOPS 662072 HAS SOUS 441607 HAS SOUPS 441607 WITH SCORE 442269.072
AT ITER 1156 NEW BEST:: SOT 1372012 SOS 661954 HAS SOPS 661954 HAS SOUS 441603 HAS SOUPS 441603 WITH SCORE 442264.954
AT ITER 1158 NEW BEST:: SOT 1371999 SOS 661928 HAS SOPS 661928 HAS SOUS 441590 HAS SOUPS 441590 WITH SCORE 442251.928
AT ITER 1159 NEW BEST:: SOT 1371769 SOS 661975 HAS SOPS 661975 HAS SOUS 440804 HAS SOUPS 440804 WITH SCORE 441465.975
AT ITER 1161 NEW BEST:: SOT 1371820 SOS 661910 HAS SOPS 661910 HAS SOUS 440753 HAS SOUPS 440753 WITH SCORE 441414.91
AT ITER 1167 NEW BEST:: SOT 1371733 SOS 661967 HAS SOPS 661967 HAS SOUS 440530 HAS SOUPS 440530 WITH SCORE 441191.967
AT ITER 1170 NEW BEST:: SOT 1371435 SOS 661476 HAS SOPS 661476 HAS SOUS 440037 HAS SOUPS 440037 WITH SCORE 440698.476
AT ITER 1176 NEW BEST:: SOT 1371216 SOS 661038 HAS SOPS 661038 HAS SOUS 439441 HAS SOUPS 439441 WITH SCORE 440102.038
AT ITER 1184 NEW BEST:: SOT 1371227 SOS 660672 HAS SOPS 660672 HAS SOUS 439422 HAS SOUPS 439422 WITH SCORE 440082.672
AT ITER 1186 NEW BEST:: SOT 1371227 SOS 659602 HAS SOPS 659602 HAS SOUS 439297 HAS SOUPS 439297 WITH SCORE 439956.602
AT ITER 1194 NEW BEST:: SOT 1371102 SOS 659152 HAS SOPS 659152 HAS SOUS 439047 HAS SOUPS 439047 WITH SCORE 439706.152
AT ITER 1196 NEW BEST:: SOT 1371062 SOS 659072 HAS SOPS 659072 HAS SOUS 439007 HAS SOUPS 439007 WITH SCORE 439666.072
AT ITER 1202 NEW BEST:: SOT 1366140 SOS 666146 HAS SOPS 666146 HAS SOUS 435055 HAS SOUPS 435055 WITH SCORE 435721.146
AT ITER 1204 NEW BEST:: SOT 1365892 SOS 665898 HAS SOPS 665898 HAS SOUS 434807 HAS SOUPS 434807 WITH SCORE 435472.898
AT ITER 1205 NEW BEST:: SOT 1365833 SOS 665839 HAS SOPS 665839 HAS SOUS 434807 HAS SOUPS 434807 WITH SCORE 435472.839
AT ITER 1208 NEW BEST:: SOT 1365833 SOS 665794 HAS SOPS 665794 HAS SOUS 434807 HAS SOUPS 434807 WITH SCORE 435472.794
AT ITER 1215 NEW BEST:: SOT 1365236 SOS 664600 HAS SOPS 664600 HAS SOUS 433952 HAS SOUPS 433952 WITH SCORE 434616.6
AT ITER 1219 NEW BEST:: SOT 1364912 SOS 663954 HAS SOPS 663954 HAS SOUS 433630 HAS SOUPS 433630 WITH SCORE 434293.954
AT ITER 1222 NEW BEST:: SOT 1364651 SOS 663849 HAS SOPS 663849 HAS SOUS 433383 HAS SOUPS 433383 WITH SCORE 434046.849
AT ITER 1226 NEW BEST:: SOT 1364651 SOS 663849 HAS SOPS 663849 HAS SOUS 433366 HAS SOUPS 433366 WITH SCORE 434029.849
AT ITER 1228 NEW BEST:: SOT 1364651 SOS 663726 HAS SOPS 663726 HAS SOUS 433243 HAS SOUPS 433243 WITH SCORE 433906.726
AT ITER 1229 NEW BEST:: SOT 1364335 SOS 663410 HAS SOPS 663410 HAS SOUS 433069 HAS SOUPS 433069 WITH SCORE 433732.41
AT ITER 1238 NEW BEST:: SOT 1364067 SOS 662605 HAS SOPS 662605 HAS SOUS 432800 HAS SOUPS 432800 WITH SCORE 433462.605
AT ITER 1246 NEW BEST:: SOT 1363962 SOS 662436 HAS SOPS 662436 HAS SOUS 432718 HAS SOUPS 432718 WITH SCORE 433380.436
AT ITER 1248 NEW BEST:: SOT 1363624 SOS 661634 HAS SOPS 661634 HAS SOUS 432254 HAS SOUPS 432254 WITH SCORE 432915.634
AT ITER 1256 NEW BEST:: SOT 1363425 SOS 661236 HAS SOPS 661236 HAS SOUS 432016 HAS SOUPS 432016 WITH SCORE 432677.236
AT ITER 1269 NEW BEST:: SOT 1363430 SOS 657898 HAS SOPS 657898 HAS SOUS 431926 HAS SOUPS 431926 WITH SCORE 432583.898
AT ITER 1273 NEW BEST:: SOT 1357814 SOS 659062 HAS SOPS 659062 HAS SOUS 427186 HAS SOUPS 427186 WITH SCORE 427845.062
AT ITER 1274 NEW BEST:: SOT 1357767 SOS 658719 HAS SOPS 658719 HAS SOUS 427139 HAS SOUPS 427139 WITH SCORE 427797.719
AT ITER 1284 NEW BEST:: SOT 1357505 SOS 656906 HAS SOPS 656906 HAS SOUS 426227 HAS SOUPS 426227 WITH SCORE 426883.906
AT ITER 1287 NEW BEST:: SOT 1357127 SOS 656339 HAS SOPS 656339 HAS SOUS 426035 HAS SOUPS 426035 WITH SCORE 426691.339
AT ITER 1296 NEW BEST:: SOT 1356978 SOS 656190 HAS SOPS 656190 HAS SOUS 425886 HAS SOUPS 425886 WITH SCORE 426542.19
AT ITER 1301 NEW BEST:: SOT 1356785 SOS 655005 HAS SOPS 655005 HAS SOUS 424701 HAS SOUPS 424701 WITH SCORE 425356.005
AT ITER 1305 NEW BEST:: SOT 1356443 SOS 654663 HAS SOPS 654663 HAS SOUS 424398 HAS SOUPS 424398 WITH SCORE 425052.663
AT ITER 1308 NEW BEST:: SOT 1355973 SOS 653752 HAS SOPS 653752 HAS SOUS 424124 HAS SOUPS 424124 WITH SCORE 424777.752
AT ITER 1311 NEW BEST:: SOT 1355943 SOS 652648 HAS SOPS 652648 HAS SOUS 423845 HAS SOUPS 423845 WITH SCORE 424497.648
AT ITER 1313 NEW BEST:: SOT 1355942 SOS 652242 HAS SOPS 652242 HAS SOUS 423641 HAS SOUPS 423641 WITH SCORE 424293.242
AT ITER 1315 NEW BEST:: SOT 1355942 SOS 652203 HAS SOPS 652203 HAS SOUS 423641 HAS SOUPS 423641 WITH SCORE 424293.203
AT ITER 1319 NEW BEST:: SOT 1355942 SOS 652202 HAS SOPS 652202 HAS SOUS 423524 HAS SOUPS 423524 WITH SCORE 424176.202
AT ITER 1327 NEW BEST:: SOT 1355942 SOS 652124 HAS SOPS 652124 HAS SOUS 423446 HAS SOUPS 423446 WITH SCORE 424098.124
AT ITER 1328 NEW BEST:: SOT 1356196 SOS 652026 HAS SOPS 652026 HAS SOUS 423440 HAS SOUPS 423440 WITH SCORE 424092.026
AT ITER 1335 NEW BEST:: SOT 1356196 SOS 651637 HAS SOPS 651637 HAS SOUS 423440 HAS SOUPS 423440 WITH SCORE 424091.637
AT ITER 1350 NEW BEST:: SOT 1356196 SOS 650702 HAS SOPS 650702 HAS SOUS 423013 HAS SOUPS 423013 WITH SCORE 423663.702
AT ITER 1363 NEW BEST:: SOT 1356107 SOS 649011 HAS SOPS 649011 HAS SOUS 422924 HAS SOUPS 422924 WITH SCORE 423573.011
AT ITER 1364 NEW BEST:: SOT 1355885 SOS 650754 HAS SOPS 650754 HAS SOUS 422742 HAS SOUPS 422742 WITH SCORE 423392.754
AT ITER 1368 NEW BEST:: SOT 1355926 SOS 650507 HAS SOPS 650507 HAS SOUS 422654 HAS SOUPS 422654 WITH SCORE 423304.507
AT ITER 1372 NEW BEST:: SOT 1355926 SOS 649334 HAS SOPS 649334 HAS SOUS 422654 HAS SOUPS 422654 WITH SCORE 423303.334
AT ITER 1378 NEW BEST:: SOT 1355940 SOS 649131 HAS SOPS 649131 HAS SOUS 422463 HAS SOUPS 422463 WITH SCORE 423112.131
AT ITER 1381 NEW BEST:: SOT 1355656 SOS 648847 HAS SOPS 648847 HAS SOUS 422179 HAS SOUPS 422179 WITH SCORE 422827.847
AT ITER 1384 NEW BEST:: SOT 1355656 SOS 648657 HAS SOPS 648657 HAS SOUS 422113 HAS SOUPS 422113 WITH SCORE 422761.657
AT ITER 1386 NEW BEST:: SOT 1355516 SOS 647235 HAS SOPS 647235 HAS SOUS 421413 HAS SOUPS 421413 WITH SCORE 422060.235
AT ITER 1390 NEW BEST:: SOT 1355786 SOS 646759 HAS SOPS 646759 HAS SOUS 421400 HAS SOUPS 421400 WITH SCORE 422046.759
AT ITER 1394 NEW BEST:: SOT 1355786 SOS 646367 HAS SOPS 646367 HAS SOUS 421400 HAS SOUPS 421400 WITH SCORE 422046.367
AT ITER 1397 NEW BEST:: SOT 1355747 SOS 646125 HAS SOPS 646125 HAS SOUS 421197 HAS SOUPS 421197 WITH SCORE 421843.125
AT ITER 1403 NEW BEST:: SOT 1355306 SOS 645243 HAS SOPS 645243 HAS SOUS 420322 HAS SOUPS 420322 WITH SCORE 420967.243
AT ITER 1409 NEW BEST:: SOT 1355306 SOS 645243 HAS SOPS 645243 HAS SOUS 420038 HAS SOUPS 420038 WITH SCORE 420683.243
AT ITER 1412 NEW BEST:: SOT 1355063 SOS 644757 HAS SOPS 644757 HAS SOUS 419838 HAS SOUPS 419838 WITH SCORE 420482.757
AT ITER 1424 NEW BEST:: SOT 1354952 SOS 644646 HAS SOPS 644646 HAS SOUS 419806 HAS SOUPS 419806 WITH SCORE 420450.646
AT ITER 1428 NEW BEST:: SOT 1354017 SOS 643495 HAS SOPS 643495 HAS SOUS 418871 HAS SOUPS 418871 WITH SCORE 419514.495
AT ITER 1429 NEW BEST:: SOT 1354017 SOS 643451 HAS SOPS 643451 HAS SOUS 418775 HAS SOUPS 418775 WITH SCORE 419418.451
AT ITER 1435 NEW BEST:: SOT 1353799 SOS 643070 HAS SOPS 643070 HAS SOUS 418557 HAS SOUPS 418557 WITH SCORE 419200.07
AT ITER 1438 NEW BEST:: SOT 1353605 SOS 642682 HAS SOPS 642682 HAS SOUS 418169 HAS SOUPS 418169 WITH SCORE 418811.682
AT ITER 1441 NEW BEST:: SOT 1353595 SOS 642672 HAS SOPS 642672 HAS SOUS 418159 HAS SOUPS 418159 WITH SCORE 418801.672
AT ITER 1448 NEW BEST:: SOT 1353410 SOS 640848 HAS SOPS 640848 HAS SOUS 417549 HAS SOUPS 417549 WITH SCORE 418189.848
AT ITER 1450 NEW BEST:: SOT 1353410 SOS 640848 HAS SOPS 640848 HAS SOUS 417504 HAS SOUPS 417504 WITH SCORE 418144.848
AT ITER 1454 NEW BEST:: SOT 1353503 SOS 640422 HAS SOPS 640422 HAS SOUS 417129 HAS SOUPS 417129 WITH SCORE 417769.422
AT ITER 1460 NEW BEST:: SOT 1353150 SOS 639716 HAS SOPS 639716 HAS SOUS 416776 HAS SOUPS 416776 WITH SCORE 417415.716
AT ITER 1467 NEW BEST:: SOT 1352881 SOS 638779 HAS SOPS 638779 HAS SOUS 416108 HAS SOUPS 416108 WITH SCORE 416746.779
AT ITER 1470 NEW BEST:: SOT 1352736 SOS 638812 HAS SOPS 638812 HAS SOUS 415963 HAS SOUPS 415963 WITH SCORE 416601.812
AT ITER 1474 NEW BEST:: SOT 1352736 SOS 638659 HAS SOPS 638659 HAS SOUS 415963 HAS SOUPS 415963 WITH SCORE 416601.659
AT ITER 1477 NEW BEST:: SOT 1352736 SOS 638537 HAS SOPS 638537 HAS SOUS 415841 HAS SOUPS 415841 WITH SCORE 416479.537
AT ITER 1480 NEW BEST:: SOT 1352791 SOS 638085 HAS SOPS 638085 HAS SOUS 415538 HAS SOUPS 415538 WITH SCORE 416176.085
AT ITER 1481 NEW BEST:: SOT 1352791 SOS 638045 HAS SOPS 638045 HAS SOUS 415508 HAS SOUPS 415508 WITH SCORE 416146.045
AT ITER 1487 NEW BEST:: SOT 1352412 SOS 636981 HAS SOPS 636981 HAS SOUS 415056 HAS SOUPS 415056 WITH SCORE 415692.981
AT ITER 1489 NEW BEST:: SOT 1352134 SOS 634476 HAS SOPS 634476 HAS SOUS 413079 HAS SOUPS 413079 WITH SCORE 413713.476
AT ITER 1491 NEW BEST:: SOT 1351940 SOS 634469 HAS SOPS 634469 HAS SOUS 412946 HAS SOUPS 412946 WITH SCORE 413580.469
AT ITER 1497 NEW BEST:: SOT 1351736 SOS 634061 HAS SOPS 634061 HAS SOUS 412742 HAS SOUPS 412742 WITH SCORE 413376.061
AT ITER 1501 NEW BEST:: SOT 1351736 SOS 633449 HAS SOPS 633449 HAS SOUS 412538 HAS SOUPS 412538 WITH SCORE 413171.449
AT ITER 1502 NEW BEST:: SOT 1351736 SOS 633449 HAS SOPS 633449 HAS SOUS 412296 HAS SOUPS 412296 WITH SCORE 412929.449
AT ITER 1504 NEW BEST:: SOT 1351533 SOS 633060 HAS SOPS 633060 HAS SOUS 411907 HAS SOUPS 411907 WITH SCORE 412540.06
AT ITER 1509 NEW BEST:: SOT 1351533 SOS 633060 HAS SOPS 633060 HAS SOUS 411731 HAS SOUPS 411731 WITH SCORE 412364.06
AT ITER 1510 NEW BEST:: SOT 1351470 SOS 632418 HAS SOPS 632418 HAS SOUS 411507 HAS SOUPS 411507 WITH SCORE 412139.418
AT ITER 1512 NEW BEST:: SOT 1351668 SOS 631762 HAS SOPS 631762 HAS SOUS 411345 HAS SOUPS 411345 WITH SCORE 411976.762
AT ITER 1519 NEW BEST:: SOT 1351697 SOS 631716 HAS SOPS 631716 HAS SOUS 411131 HAS SOUPS 411131 WITH SCORE 411762.716
AT ITER 1520 NEW BEST:: SOT 1351531 SOS 630863 HAS SOPS 630863 HAS SOUS 410878 HAS SOUPS 410878 WITH SCORE 411508.863
AT ITER 1521 NEW BEST:: SOT 1351531 SOS 630647 HAS SOPS 630647 HAS SOUS 410662 HAS SOUPS 410662 WITH SCORE 411292.647
AT ITER 1524 NEW BEST:: SOT 1346791 SOS 629329 HAS SOPS 629329 HAS SOUS 406264 HAS SOUPS 406264 WITH SCORE 406893.329
AT ITER 1528 NEW BEST:: SOT 1346645 SOS 629037 HAS SOPS 629037 HAS SOUS 405972 HAS SOUPS 405972 WITH SCORE 406601.037
AT ITER 1530 NEW BEST:: SOT 1344522 SOS 626300 HAS SOPS 626300 HAS SOUS 403828 HAS SOUPS 403828 WITH SCORE 404454.3
AT ITER 1531 NEW BEST:: SOT 1344522 SOS 626300 HAS SOPS 626300 HAS SOUS 403494 HAS SOUPS 403494 WITH SCORE 404120.3
AT ITER 1536 NEW BEST:: SOT 1345164 SOS 626896 HAS SOPS 626896 HAS SOUS 403402 HAS SOUPS 403402 WITH SCORE 404028.896
AT ITER 1538 NEW BEST:: SOT 1345023 SOS 627124 HAS SOPS 627124 HAS SOUS 403267 HAS SOUPS 403267 WITH SCORE 403894.124
AT ITER 1540 NEW BEST:: SOT 1345023 SOS 627124 HAS SOPS 627124 HAS SOUS 403222 HAS SOUPS 403222 WITH SCORE 403849.124
AT ITER 1544 NEW BEST:: SOT 1345011 SOS 627407 HAS SOPS 627407 HAS SOUS 403198 HAS SOUPS 403198 WITH SCORE 403825.407
AT ITER 1545 NEW BEST:: SOT 1344743 SOS 626518 HAS SOPS 626518 HAS SOUS 402309 HAS SOUPS 402309 WITH SCORE 402935.518
AT ITER 1549 NEW BEST:: SOT 1344743 SOS 626592 HAS SOPS 626592 HAS SOUS 402235 HAS SOUPS 402235 WITH SCORE 402861.592
AT ITER 1555 NEW BEST:: SOT 1344738 SOS 626582 HAS SOPS 626582 HAS SOUS 402165 HAS SOUPS 402165 WITH SCORE 402791.582
AT ITER 1570 NEW BEST:: SOT 1345005 SOS 626317 HAS SOPS 626317 HAS SOUS 401780 HAS SOUPS 401780 WITH SCORE 402406.317
AT ITER 1577 NEW BEST:: SOT 1344949 SOS 626261 HAS SOPS 626261 HAS SOUS 401724 HAS SOUPS 401724 WITH SCORE 402350.261
AT ITER 1584 NEW BEST:: SOT 1344446 SOS 625544 HAS SOPS 625544 HAS SOUS 401221 HAS SOUPS 401221 WITH SCORE 401846.544
AT ITER 1593 NEW BEST:: SOT 1344446 SOS 625544 HAS SOPS 625544 HAS SOUS 400891 HAS SOUPS 400891 WITH SCORE 401516.544
AT ITER 1594 NEW BEST:: SOT 1344398 SOS 625390 HAS SOPS 625390 HAS SOUS 400737 HAS SOUPS 400737 WITH SCORE 401362.39
AT ITER 1598 NEW BEST:: SOT 1344462 SOS 625345 HAS SOPS 625345 HAS SOUS 400429 HAS SOUPS 400429 WITH SCORE 401054.345
AT ITER 1600 NEW BEST:: SOT 1344206 SOS 624991 HAS SOPS 624991 HAS SOUS 400366 HAS SOUPS 400366 WITH SCORE 400990.991
AT ITER 1601 NEW BEST:: SOT 1344284 SOS 625147 HAS SOPS 625147 HAS SOUS 400183 HAS SOUPS 400183 WITH SCORE 400808.147
AT ITER 1602 NEW BEST:: SOT 1344230 SOS 625093 HAS SOPS 625093 HAS SOUS 400075 HAS SOUPS 400075 WITH SCORE 400700.093
AT ITER 1607 NEW BEST:: SOT 1343624 SOS 624266 HAS SOPS 624266 HAS SOUS 399518 HAS SOUPS 399518 WITH SCORE 400142.266
AT ITER 1613 NEW BEST:: SOT 1343368 SOS 623754 HAS SOPS 623754 HAS SOUS 399208 HAS SOUPS 399208 WITH SCORE 399831.754
AT ITER 1615 NEW BEST:: SOT 1342630 SOS 622802 HAS SOPS 622802 HAS SOUS 398470 HAS SOUPS 398470 WITH SCORE 399092.802
AT ITER 1616 NEW BEST:: SOT 1342505 SOS 622046 HAS SOPS 622046 HAS SOUS 398186 HAS SOUPS 398186 WITH SCORE 398808.046
AT ITER 1618 NEW BEST:: SOT 1342505 SOS 622046 HAS SOPS 622046 HAS SOUS 398155 HAS SOUPS 398155 WITH SCORE 398777.046
AT ITER 1622 NEW BEST:: SOT 1342607 SOS 621601 HAS SOPS 621601 HAS SOUS 397187 HAS SOUPS 397187 WITH SCORE 397808.601
AT ITER 1623 NEW BEST:: SOT 1342273 SOS 620933 HAS SOPS 620933 HAS SOUS 396633 HAS SOUPS 396633 WITH SCORE 397253.933
AT ITER 1627 NEW BEST:: SOT 1342352 SOS 620352 HAS SOPS 620352 HAS SOUS 395642 HAS SOUPS 395642 WITH SCORE 396262.352
AT ITER 1630 NEW BEST:: SOT 1342352 SOS 620222 HAS SOPS 620222 HAS SOUS 395642 HAS SOUPS 395642 WITH SCORE 396262.222
AT ITER 1632 NEW BEST:: SOT 1342351 SOS 620187 HAS SOPS 620187 HAS SOUS 395640 HAS SOUPS 395640 WITH SCORE 396260.187
AT ITER 1633 NEW BEST:: SOT 1342327 SOS 620328 HAS SOPS 620328 HAS SOUS 395615 HAS SOUPS 395615 WITH SCORE 396235.328
AT ITER 1643 NEW BEST:: SOT 1342315 SOS 619518 HAS SOPS 619518 HAS SOUS 395603 HAS SOUPS 395603 WITH SCORE 396222.518
AT ITER 1644 NEW BEST:: SOT 1342315 SOS 618962 HAS SOPS 618962 HAS SOUS 394838 HAS SOUPS 394838 WITH SCORE 395456.962
AT ITER 1651 NEW BEST:: SOT 1342115 SOS 618762 HAS SOPS 618762 HAS SOUS 394637 HAS SOUPS 394637 WITH SCORE 395255.762
AT ITER 1664 NEW BEST:: SOT 1341917 SOS 618366 HAS SOPS 618366 HAS SOUS 394301 HAS SOUPS 394301 WITH SCORE 394919.366
AT ITER 1675 NEW BEST:: SOT 1338864 SOS 628750 HAS SOPS 628750 HAS SOUS 391735 HAS SOUPS 391735 WITH SCORE 392363.75
AT ITER 1677 NEW BEST:: SOT 1338705 SOS 628637 HAS SOPS 628637 HAS SOUS 391562 HAS SOUPS 391562 WITH SCORE 392190.637
AT ITER 1678 NEW BEST:: SOT 1338705 SOS 628636 HAS SOPS 628636 HAS SOUS 391561 HAS SOUPS 391561 WITH SCORE 392189.636
AT ITER 1679 NEW BEST:: SOT 1338576 SOS 627911 HAS SOPS 627911 HAS SOUS 391407 HAS SOUPS 391407 WITH SCORE 392034.911
AT ITER 1683 NEW BEST:: SOT 1337934 SOS 626959 HAS SOPS 626959 HAS SOUS 391302 HAS SOUPS 391302 WITH SCORE 391928.959
AT ITER 1685 NEW BEST:: SOT 1337854 SOS 626431 HAS SOPS 626431 HAS SOUS 391142 HAS SOUPS 391142 WITH SCORE 391768.431
AT ITER 1689 NEW BEST:: SOT 1338023 SOS 625335 HAS SOPS 625335 HAS SOUS 390986 HAS SOUPS 390986 WITH SCORE 391611.335
AT ITER 1694 NEW BEST:: SOT 1338023 SOS 625222 HAS SOPS 625222 HAS SOUS 390907 HAS SOUPS 390907 WITH SCORE 391532.222
AT ITER 1713 NEW BEST:: SOT 1338098 SOS 625372 HAS SOPS 625372 HAS SOUS 390547 HAS SOUPS 390547 WITH SCORE 391172.372
AT ITER 1718 NEW BEST:: SOT 1338115 SOS 625560 HAS SOPS 625560 HAS SOUS 390427 HAS SOUPS 390427 WITH SCORE 391052.56
AT ITER 1719 NEW BEST:: SOT 1336045 SOS 642877 HAS SOPS 642877 HAS SOUS 389435 HAS SOUPS 389435 WITH SCORE 390077.877
AT ITER 1720 NEW BEST:: SOT 1336010 SOS 642842 HAS SOPS 642842 HAS SOUS 389435 HAS SOUPS 389435 WITH SCORE 390077.842
AT ITER 1721 NEW BEST:: SOT 1335779 SOS 641918 HAS SOPS 641918 HAS SOUS 388973 HAS SOUPS 388973 WITH SCORE 389614.918
AT ITER 1723 NEW BEST:: SOT 1335741 SOS 641804 HAS SOPS 641804 HAS SOUS 388935 HAS SOUPS 388935 WITH SCORE 389576.804
AT ITER 1730 NEW BEST:: SOT 1335364 SOS 640341 HAS SOPS 640341 HAS SOUS 387602 HAS SOUPS 387602 WITH SCORE 388242.341
AT ITER 1734 NEW BEST:: SOT 1334992 SOS 639955 HAS SOPS 639955 HAS SOUS 387169 HAS SOUPS 387169 WITH SCORE 387808.955
AT ITER 1740 NEW BEST:: SOT 1335090 SOS 639964 HAS SOPS 639964 HAS SOUS 387094 HAS SOUPS 387094 WITH SCORE 387733.964
AT ITER 1744 NEW BEST:: SOT 1334948 SOS 639560 HAS SOPS 639560 HAS SOUS 386744 HAS SOUPS 386744 WITH SCORE 387383.56
AT ITER 1745 NEW BEST:: SOT 1334824 SOS 639414 HAS SOPS 639414 HAS SOUS 386620 HAS SOUPS 386620 WITH SCORE 387259.414
AT ITER 1746 NEW BEST:: SOT 1334696 SOS 639158 HAS SOPS 639158 HAS SOUS 386364 HAS SOUPS 386364 WITH SCORE 387003.158
AT ITER 1749 NEW BEST:: SOT 1334696 SOS 638776 HAS SOPS 638776 HAS SOUS 386364 HAS SOUPS 386364 WITH SCORE 387002.776
AT ITER 1760 NEW BEST:: SOT 1334796 SOS 638643 HAS SOPS 638643 HAS SOUS 386294 HAS SOUPS 386294 WITH SCORE 386932.643
AT ITER 1766 NEW BEST:: SOT 1333678 SOS 640397 HAS SOPS 640397 HAS SOUS 385806 HAS SOUPS 385806 WITH SCORE 386446.397
AT ITER 1774 NEW BEST:: SOT 1333535 SOS 640254 HAS SOPS 640254 HAS SOUS 385663 HAS SOUPS 385663 WITH SCORE 386303.254
AT ITER 1776 NEW BEST:: SOT 1333483 SOS 640150 HAS SOPS 640150 HAS SOUS 385638 HAS SOUPS 385638 WITH SCORE 386278.15
AT ITER 1785 NEW BEST:: SOT 1333093 SOS 640266 HAS SOPS 640266 HAS SOUS 385272 HAS SOUPS 385272 WITH SCORE 385912.266
AT ITER 1787 NEW BEST:: SOT 1333093 SOS 640228 HAS SOPS 640228 HAS SOUS 385272 HAS SOUPS 385272 WITH SCORE 385912.228
AT ITER 1791 NEW BEST:: SOT 1333093 SOS 640277 HAS SOPS 640277 HAS SOUS 384818 HAS SOUPS 384818 WITH SCORE 385458.277
AT ITER 1793 NEW BEST:: SOT 1333093 SOS 640165 HAS SOPS 640165 HAS SOUS 384594 HAS SOUPS 384594 WITH SCORE 385234.165
AT ITER 1795 NEW BEST:: SOT 1333059 SOS 640097 HAS SOPS 640097 HAS SOUS 384560 HAS SOUPS 384560 WITH SCORE 385200.097
AT ITER 1798 NEW BEST:: SOT 1333540 SOS 639953 HAS SOPS 639953 HAS SOUS 384436 HAS SOUPS 384436 WITH SCORE 385075.953
AT ITER 1799 NEW BEST:: SOT 1333497 SOS 639867 HAS SOPS 639867 HAS SOUS 384393 HAS SOUPS 384393 WITH SCORE 385032.867
AT ITER 1807 NEW BEST:: SOT 1333509 SOS 639449 HAS SOPS 639449 HAS SOUS 383756 HAS SOUPS 383756 WITH SCORE 384395.449
AT ITER 1810 NEW BEST:: SOT 1333509 SOS 639449 HAS SOPS 639449 HAS SOUS 383667 HAS SOUPS 383667 WITH SCORE 384306.449
AT ITER 1811 NEW BEST:: SOT 1333420 SOS 639124 HAS SOPS 639124 HAS SOUS 383538 HAS SOUPS 383538 WITH SCORE 384177.124
AT ITER 1812 NEW BEST:: SOT 1329723 SOS 664400 HAS SOPS 664400 HAS SOUS 381013 HAS SOUPS 381013 WITH SCORE 381677.4
AT ITER 1817 NEW BEST:: SOT 1329690 SOS 664334 HAS SOPS 664334 HAS SOUS 380956 HAS SOUPS 380956 WITH SCORE 381620.334
AT ITER 1818 NEW BEST:: SOT 1329530 SOS 664174 HAS SOPS 664174 HAS SOUS 380955 HAS SOUPS 380955 WITH SCORE 381619.174
AT ITER 1819 NEW BEST:: SOT 1329530 SOS 664032 HAS SOPS 664032 HAS SOUS 380955 HAS SOUPS 380955 WITH SCORE 381619.032
AT ITER 1824 NEW BEST:: SOT 1329486 SOS 663471 HAS SOPS 663471 HAS SOUS 380705 HAS SOUPS 380705 WITH SCORE 381368.471
AT ITER 1826 NEW BEST:: SOT 1329320 SOS 663222 HAS SOPS 663222 HAS SOUS 380456 HAS SOUPS 380456 WITH SCORE 381119.222
AT ITER 1829 NEW BEST:: SOT 1329268 SOS 662857 HAS SOPS 662857 HAS SOUS 380143 HAS SOUPS 380143 WITH SCORE 380805.857
AT ITER 1844 NEW BEST:: SOT 1329059 SOS 662439 HAS SOPS 662439 HAS SOUS 379661 HAS SOUPS 379661 WITH SCORE 380323.439
AT ITER 1856 NEW BEST:: SOT 1329059 SOS 662439 HAS SOPS 662439 HAS SOUS 379203 HAS SOUPS 379203 WITH SCORE 379865.439
AT ITER 1858 NEW BEST:: SOT 1329059 SOS 662336 HAS SOPS 662336 HAS SOUS 379203 HAS SOUPS 379203 WITH SCORE 379865.336
AT ITER 1861 NEW BEST:: SOT 1329056 SOS 660921 HAS SOPS 660921 HAS SOUS 379002 HAS SOUPS 379002 WITH SCORE 379662.921
AT ITER 1881 NEW BEST:: SOT 1329084 SOS 659961 HAS SOPS 659961 HAS SOUS 378547 HAS SOUPS 378547 WITH SCORE 379206.961
AT ITER 1883 NEW BEST:: SOT 1329048 SOS 659925 HAS SOPS 659925 HAS SOUS 378511 HAS SOUPS 378511 WITH SCORE 379170.925
AT ITER 1885 NEW BEST:: SOT 1329048 SOS 659925 HAS SOPS 659925 HAS SOUS 378353 HAS SOUPS 378353 WITH SCORE 379012.925
AT ITER 1890 NEW BEST:: SOT 1329012 SOS 659633 HAS SOPS 659633 HAS SOUS 378061 HAS SOUPS 378061 WITH SCORE 378720.633
AT ITER 1894 NEW BEST:: SOT 1328931 SOS 659195 HAS SOPS 659195 HAS SOUS 377899 HAS SOUPS 377899 WITH SCORE 378558.195
AT ITER 1898 NEW BEST:: SOT 1328148 SOS 658249 HAS SOPS 658249 HAS SOUS 377533 HAS SOUPS 377533 WITH SCORE 378191.249
AT ITER 1899 NEW BEST:: SOT 1328057 SOS 658067 HAS SOPS 658067 HAS SOUS 377442 HAS SOUPS 377442 WITH SCORE 378100.067
AT ITER 1905 NEW BEST:: SOT 1328021 SOS 658012 HAS SOPS 658012 HAS SOUS 377406 HAS SOUPS 377406 WITH SCORE 378064.012
AT ITER 1907 NEW BEST:: SOT 1328021 SOS 658012 HAS SOPS 658012 HAS SOUS 377172 HAS SOUPS 377172 WITH SCORE 377830.012
AT ITER 1926 NEW BEST:: SOT 1327771 SOS 657385 HAS SOPS 657385 HAS SOUS 376869 HAS SOUPS 376869 WITH SCORE 377526.385
AT ITER 1929 NEW BEST:: SOT 1327771 SOS 657358 HAS SOPS 657358 HAS SOUS 376869 HAS SOUPS 376869 WITH SCORE 377526.358
AT ITER 1930 NEW BEST:: SOT 1327611 SOS 657111 HAS SOPS 657111 HAS SOUS 376863 HAS SOUPS 376863 WITH SCORE 377520.111
AT ITER 1934 NEW BEST:: SOT 1327559 SOS 657059 HAS SOPS 657059 HAS SOUS 376811 HAS SOUPS 376811 WITH SCORE 377468.059
AT ITER 1935 NEW BEST:: SOT 1327530 SOS 657001 HAS SOPS 657001 HAS SOUS 376753 HAS SOUPS 376753 WITH SCORE 377410.001
AT ITER 1938 NEW BEST:: SOT 1327609 SOS 657045 HAS SOPS 657045 HAS SOUS 376718 HAS SOUPS 376718 WITH SCORE 377375.045
AT ITER 1949 NEW BEST:: SOT 1327609 SOS 656659 HAS SOPS 656659 HAS SOUS 376718 HAS SOUPS 376718 WITH SCORE 377374.659
AT ITER 1956 NEW BEST:: SOT 1327362 SOS 656165 HAS SOPS 656165 HAS SOUS 376467 HAS SOUPS 376467 WITH SCORE 377123.165
AT ITER 1960 NEW BEST:: SOT 1327327 SOS 656095 HAS SOPS 656095 HAS SOUS 376448 HAS SOUPS 376448 WITH SCORE 377104.095
AT ITER 1964 NEW BEST:: SOT 1327309 SOS 656059 HAS SOPS 656059 HAS SOUS 376430 HAS SOUPS 376430 WITH SCORE 377086.059
AT ITER 1967 NEW BEST:: SOT 1327176 SOS 655793 HAS SOPS 655793 HAS SOUS 376164 HAS SOUPS 376164 WITH SCORE 376819.793
AT ITER 1968 NEW BEST:: SOT 1326975 SOS 655391 HAS SOPS 655391 HAS SOUS 375963 HAS SOUPS 375963 WITH SCORE 376618.391
AT ITER 1977 NEW BEST:: SOT 1326348 SOS 654797 HAS SOPS 654797 HAS SOUS 375852 HAS SOUPS 375852 WITH SCORE 376506.797
AT ITER 1978 NEW BEST:: SOT 1326348 SOS 654664 HAS SOPS 654664 HAS SOUS 375852 HAS SOUPS 375852 WITH SCORE 376506.664
AT ITER 1980 NEW BEST:: SOT 1326347 SOS 654663 HAS SOPS 654663 HAS SOUS 375852 HAS SOUPS 375852 WITH SCORE 376506.663
AT ITER 1983 NEW BEST:: SOT 1326092 SOS 654153 HAS SOPS 654153 HAS SOUS 375597 HAS SOUPS 375597 WITH SCORE 376251.153
AT ITER 2005 NEW BEST:: SOT 1325594 SOS 653554 HAS SOPS 653554 HAS SOUS 375554 HAS SOUPS 375554 WITH SCORE 376207.554
AT ITER 2021 NEW BEST:: SOT 1325594 SOS 653424 HAS SOPS 653424 HAS SOUS 375072 HAS SOUPS 375072 WITH SCORE 375725.424
AT ITER 2024 NEW BEST:: SOT 1325584 SOS 653404 HAS SOPS 653404 HAS SOUS 375062 HAS SOUPS 375062 WITH SCORE 375715.404
AT ITER 2028 NEW BEST:: SOT 1325465 SOS 653285 HAS SOPS 653285 HAS SOUS 374943 HAS SOUPS 374943 WITH SCORE 375596.285
AT ITER 2033 NEW BEST:: SOT 1324940 SOS 651928 HAS SOPS 651928 HAS SOUS 374123 HAS SOUPS 374123 WITH SCORE 374774.928
AT ITER 2036 NEW BEST:: SOT 1324940 SOS 651928 HAS SOPS 651928 HAS SOUS 373855 HAS SOUPS 373855 WITH SCORE 374506.928
AT ITER 2042 NEW BEST:: SOT 1325181 SOS 651627 HAS SOPS 651627 HAS SOUS 373607 HAS SOUPS 373607 WITH SCORE 374258.627
AT ITER 2045 NEW BEST:: SOT 1325181 SOS 651627 HAS SOPS 651627 HAS SOUS 373240 HAS SOUPS 373240 WITH SCORE 373891.627
AT ITER 2046 NEW BEST:: SOT 1325065 SOS 651163 HAS SOPS 651163 HAS SOUS 372892 HAS SOUPS 372892 WITH SCORE 373543.163
AT ITER 2047 NEW BEST:: SOT 1324783 SOS 650827 HAS SOPS 650827 HAS SOUS 372784 HAS SOUPS 372784 WITH SCORE 373434.827
AT ITER 2050 NEW BEST:: SOT 1324783 SOS 650827 HAS SOPS 650827 HAS SOUS 372783 HAS SOUPS 372783 WITH SCORE 373433.827
AT ITER 2051 NEW BEST:: SOT 1324469 SOS 650199 HAS SOPS 650199 HAS SOUS 372056 HAS SOUPS 372056 WITH SCORE 372706.199
AT ITER 2052 NEW BEST:: SOT 1324420 SOS 650101 HAS SOPS 650101 HAS SOUS 372007 HAS SOUPS 372007 WITH SCORE 372657.101
AT ITER 2056 NEW BEST:: SOT 1324273 SOS 649807 HAS SOPS 649807 HAS SOUS 371981 HAS SOUPS 371981 WITH SCORE 372630.807
AT ITER 2057 NEW BEST:: SOT 1323997 SOS 649408 HAS SOPS 649408 HAS SOUS 371705 HAS SOUPS 371705 WITH SCORE 372354.408
AT ITER 2058 NEW BEST:: SOT 1323977 SOS 649368 HAS SOPS 649368 HAS SOUS 371665 HAS SOUPS 371665 WITH SCORE 372314.368
AT ITER 2059 NEW BEST:: SOT 1324024 SOS 649462 HAS SOPS 649462 HAS SOUS 371642 HAS SOUPS 371642 WITH SCORE 372291.462
AT ITER 2062 NEW BEST:: SOT 1323895 SOS 649004 HAS SOPS 649004 HAS SOUS 371565 HAS SOUPS 371565 WITH SCORE 372214.004
AT ITER 2067 NEW BEST:: SOT 1323551 SOS 648796 HAS SOPS 648796 HAS SOUS 371384 HAS SOUPS 371384 WITH SCORE 372032.796
AT ITER 2070 NEW BEST:: SOT 1323404 SOS 648649 HAS SOPS 648649 HAS SOUS 371237 HAS SOUPS 371237 WITH SCORE 371885.649
AT ITER 2077 NEW BEST:: SOT 1323508 SOS 648314 HAS SOPS 648314 HAS SOUS 370902 HAS SOUPS 370902 WITH SCORE 371550.314
AT ITER 2091 NEW BEST:: SOT 1323641 SOS 648305 HAS SOPS 648305 HAS SOUS 370629 HAS SOUPS 370629 WITH SCORE 371277.305
AT ITER 2097 NEW BEST:: SOT 1322852 SOS 646183 HAS SOPS 646183 HAS SOUS 369313 HAS SOUPS 369313 WITH SCORE 369959.183
AT ITER 2102 NEW BEST:: SOT 1322852 SOS 646098 HAS SOPS 646098 HAS SOUS 369228 HAS SOUPS 369228 WITH SCORE 369874.098
AT ITER 2103 NEW BEST:: SOT 1322781 SOS 645956 HAS SOPS 645956 HAS SOUS 369157 HAS SOUPS 369157 WITH SCORE 369802.956
AT ITER 2104 NEW BEST:: SOT 1322579 SOS 645742 HAS SOPS 645742 HAS SOUS 368943 HAS SOUPS 368943 WITH SCORE 369588.742
AT ITER 2106 NEW BEST:: SOT 1322579 SOS 645742 HAS SOPS 645742 HAS SOUS 368737 HAS SOUPS 368737 WITH SCORE 369382.742
AT ITER 2109 NEW BEST:: SOT 1322579 SOS 645742 HAS SOPS 645742 HAS SOUS 368735 HAS SOUPS 368735 WITH SCORE 369380.742
AT ITER 2112 NEW BEST:: SOT 1322591 SOS 645386 HAS SOPS 645386 HAS SOUS 368722 HAS SOUPS 368722 WITH SCORE 369367.386
AT ITER 2117 NEW BEST:: SOT 1321993 SOS 644795 HAS SOPS 644795 HAS SOUS 368080 HAS SOUPS 368080 WITH SCORE 368724.795
AT ITER 2124 NEW BEST:: SOT 1321935 SOS 644650 HAS SOPS 644650 HAS SOUS 367993 HAS SOUPS 367993 WITH SCORE 368637.65
AT ITER 2125 NEW BEST:: SOT 1321766 SOS 644481 HAS SOPS 644481 HAS SOUS 367824 HAS SOUPS 367824 WITH SCORE 368468.481
AT ITER 2137 NEW BEST:: SOT 1321765 SOS 644479 HAS SOPS 644479 HAS SOUS 367822 HAS SOUPS 367822 WITH SCORE 368466.479
AT ITER 2139 NEW BEST:: SOT 1321143 SOS 642548 HAS SOPS 642548 HAS SOUS 366546 HAS SOUPS 366546 WITH SCORE 367188.548
AT ITER 2156 NEW BEST:: SOT 1320318 SOS 640937 HAS SOPS 640937 HAS SOUS 366051 HAS SOUPS 366051 WITH SCORE 366691.937
AT ITER 2157 NEW BEST:: SOT 1320057 SOS 640415 HAS SOPS 640415 HAS SOUS 365408 HAS SOUPS 365408 WITH SCORE 366048.415
AT ITER 2159 NEW BEST:: SOT 1319857 SOS 640015 HAS SOPS 640015 HAS SOUS 365208 HAS SOUPS 365208 WITH SCORE 365848.015
AT ITER 2161 NEW BEST:: SOT 1319379 SOS 638539 HAS SOPS 638539 HAS SOUS 364466 HAS SOUPS 364466 WITH SCORE 365104.539
AT ITER 2162 NEW BEST:: SOT 1319198 SOS 638358 HAS SOPS 638358 HAS SOUS 364285 HAS SOUPS 364285 WITH SCORE 364923.358
AT ITER 2166 NEW BEST:: SOT 1319133 SOS 638179 HAS SOPS 638179 HAS SOUS 364200 HAS SOUPS 364200 WITH SCORE 364838.179
AT ITER 2169 NEW BEST:: SOT 1319133 SOS 638179 HAS SOPS 638179 HAS SOUS 364171 HAS SOUPS 364171 WITH SCORE 364809.179
AT ITER 2170 NEW BEST:: SOT 1319062 SOS 638183 HAS SOPS 638183 HAS SOUS 363960 HAS SOUPS 363960 WITH SCORE 364598.183
AT ITER 2179 NEW BEST:: SOT 1319045 SOS 637893 HAS SOPS 637893 HAS SOUS 363943 HAS SOUPS 363943 WITH SCORE 364580.893
AT ITER 2185 NEW BEST:: SOT 1318946 SOS 637794 HAS SOPS 637794 HAS SOUS 363873 HAS SOUPS 363873 WITH SCORE 364510.794
AT ITER 2186 NEW BEST:: SOT 1318348 SOS 637145 HAS SOPS 637145 HAS SOUS 363708 HAS SOUPS 363708 WITH SCORE 364345.145
AT ITER 2188 NEW BEST:: SOT 1318242 SOS 637039 HAS SOPS 637039 HAS SOUS 363602 HAS SOUPS 363602 WITH SCORE 364239.039
AT ITER 2189 NEW BEST:: SOT 1318180 SOS 636977 HAS SOPS 636977 HAS SOUS 363540 HAS SOUPS 363540 WITH SCORE 364176.977
AT ITER 2194 NEW BEST:: SOT 1318236 SOS 636855 HAS SOPS 636855 HAS SOUS 363418 HAS SOUPS 363418 WITH SCORE 364054.855
AT ITER 2198 NEW BEST:: SOT 1318236 SOS 636835 HAS SOPS 636835 HAS SOUS 363398 HAS SOUPS 363398 WITH SCORE 364034.835
AT ITER 2202 NEW BEST:: SOT 1318236 SOS 636235 HAS SOPS 636235 HAS SOUS 363398 HAS SOUPS 363398 WITH SCORE 364034.235
AT ITER 2209 NEW BEST:: SOT 1318236 SOS 636204 HAS SOPS 636204 HAS SOUS 363390 HAS SOUPS 363390 WITH SCORE 364026.204
AT ITER 2214 NEW BEST:: SOT 1318238 SOS 636208 HAS SOPS 636208 HAS SOUS 363384 HAS SOUPS 363384 WITH SCORE 364020.208
AT ITER 2215 NEW BEST:: SOT 1318486 SOS 635207 HAS SOPS 635207 HAS SOUS 363185 HAS SOUPS 363185 WITH SCORE 363820.207
AT ITER 2216 NEW BEST:: SOT 1318470 SOS 635191 HAS SOPS 635191 HAS SOUS 363169 HAS SOUPS 363169 WITH SCORE 363804.191
AT ITER 2223 NEW BEST:: SOT 1318136 SOS 634685 HAS SOPS 634685 HAS SOUS 362809 HAS SOUPS 362809 WITH SCORE 363443.685
AT ITER 2233 NEW BEST:: SOT 1318038 SOS 634489 HAS SOPS 634489 HAS SOUS 362613 HAS SOUPS 362613 WITH SCORE 363247.489
AT ITER 2238 NEW BEST:: SOT 1318257 SOS 634604 HAS SOPS 634604 HAS SOUS 362509 HAS SOUPS 362509 WITH SCORE 363143.604
AT ITER 2248 NEW BEST:: SOT 1316228 SOS 633476 HAS SOPS 633476 HAS SOUS 360929 HAS SOUPS 360929 WITH SCORE 361562.476
AT ITER 2250 NEW BEST:: SOT 1316598 SOS 633250 HAS SOPS 633250 HAS SOUS 360853 HAS SOUPS 360853 WITH SCORE 361486.25
AT ITER 2251 NEW BEST:: SOT 1316545 SOS 633197 HAS SOPS 633197 HAS SOUS 360839 HAS SOUPS 360839 WITH SCORE 361472.197
AT ITER 2252 NEW BEST:: SOT 1316545 SOS 633197 HAS SOPS 633197 HAS SOUS 360718 HAS SOUPS 360718 WITH SCORE 361351.197
AT ITER 2254 NEW BEST:: SOT 1316486 SOS 633177 HAS SOPS 633177 HAS SOUS 360633 HAS SOUPS 360633 WITH SCORE 361266.177
AT ITER 2262 NEW BEST:: SOT 1316417 SOS 633108 HAS SOPS 633108 HAS SOUS 360564 HAS SOUPS 360564 WITH SCORE 361197.108
AT ITER 2263 NEW BEST:: SOT 1316261 SOS 632726 HAS SOPS 632726 HAS SOUS 360443 HAS SOUPS 360443 WITH SCORE 361075.726
AT ITER 2265 NEW BEST:: SOT 1316252 SOS 632717 HAS SOPS 632717 HAS SOUS 360434 HAS SOUPS 360434 WITH SCORE 361066.717
AT ITER 2266 NEW BEST:: SOT 1316200 SOS 632654 HAS SOPS 632654 HAS SOUS 360371 HAS SOUPS 360371 WITH SCORE 361003.654
AT ITER 2273 NEW BEST:: SOT 1315773 SOS 632254 HAS SOPS 632254 HAS SOUS 360268 HAS SOUPS 360268 WITH SCORE 360900.254
AT ITER 2283 NEW BEST:: SOT 1315773 SOS 632089 HAS SOPS 632089 HAS SOUS 360103 HAS SOUPS 360103 WITH SCORE 360735.089
AT ITER 2293 NEW BEST:: SOT 1315380 SOS 642295 HAS SOPS 642295 HAS SOUS 359983 HAS SOUPS 359983 WITH SCORE 360625.295
AT ITER 2296 NEW BEST:: SOT 1315349 SOS 642264 HAS SOPS 642264 HAS SOUS 359982 HAS SOUPS 359982 WITH SCORE 360624.264
AT ITER 2297 NEW BEST:: SOT 1315343 SOS 642264 HAS SOPS 642264 HAS SOUS 359976 HAS SOUPS 359976 WITH SCORE 360618.264
AT ITER 2299 NEW BEST:: SOT 1315494 SOS 641245 HAS SOPS 641245 HAS SOUS 359878 HAS SOUPS 359878 WITH SCORE 360519.245
AT ITER 2305 NEW BEST:: SOT 1315489 SOS 641235 HAS SOPS 641235 HAS SOUS 359873 HAS SOUPS 359873 WITH SCORE 360514.235
AT ITER 2306 NEW BEST:: SOT 1315521 SOS 640520 HAS SOPS 640520 HAS SOUS 359681 HAS SOUPS 359681 WITH SCORE 360321.52
AT ITER 2309 NEW BEST:: SOT 1315616 SOS 640615 HAS SOPS 640615 HAS SOUS 359664 HAS SOUPS 359664 WITH SCORE 360304.615
AT ITER 2319 NEW BEST:: SOT 1312723 SOS 649330 HAS SOPS 649330 HAS SOUS 358334 HAS SOUPS 358334 WITH SCORE 358983.33
AT ITER 2320 NEW BEST:: SOT 1312687 SOS 649361 HAS SOPS 649361 HAS SOUS 358295 HAS SOUPS 358295 WITH SCORE 358944.361
AT ITER 2326 NEW BEST:: SOT 1312305 SOS 649083 HAS SOPS 649083 HAS SOUS 357645 HAS SOUPS 357645 WITH SCORE 358294.083
AT ITER 2327 NEW BEST:: SOT 1311967 SOS 647420 HAS SOPS 647420 HAS SOUS 357424 HAS SOUPS 357424 WITH SCORE 358071.42
AT ITER 2333 NEW BEST:: SOT 1311967 SOS 647420 HAS SOPS 647420 HAS SOUS 357415 HAS SOUPS 357415 WITH SCORE 358062.42
AT ITER 2348 NEW BEST:: SOT 1311945 SOS 647398 HAS SOPS 647398 HAS SOUS 357412 HAS SOUPS 357412 WITH SCORE 358059.398
AT ITER 2359 NEW BEST:: SOT 1311894 SOS 647422 HAS SOPS 647422 HAS SOUS 357310 HAS SOUPS 357310 WITH SCORE 357957.422
AT ITER 2378 NEW BEST:: SOT 1311872 SOS 647156 HAS SOPS 647156 HAS SOUS 357039 HAS SOUPS 357039 WITH SCORE 357686.156
AT ITER 2404 NEW BEST:: SOT 1311717 SOS 646536 HAS SOPS 646536 HAS SOUS 356729 HAS SOUPS 356729 WITH SCORE 357375.536
AT ITER 2409 NEW BEST:: SOT 1311705 SOS 646524 HAS SOPS 646524 HAS SOUS 356635 HAS SOUPS 356635 WITH SCORE 357281.524
AT ITER 2412 NEW BEST:: SOT 1305842 SOS 647752 HAS SOPS 647752 HAS SOUS 351236 HAS SOUPS 351236 WITH SCORE 351883.752
AT ITER 2414 NEW BEST:: SOT 1305180 SOS 645632 HAS SOPS 645632 HAS SOUS 350245 HAS SOUPS 350245 WITH SCORE 350890.632
AT ITER 2421 NEW BEST:: SOT 1305239 SOS 645750 HAS SOPS 645750 HAS SOUS 350238 HAS SOUPS 350238 WITH SCORE 350883.75
AT ITER 2422 NEW BEST:: SOT 1304965 SOS 644549 HAS SOPS 644549 HAS SOUS 349972 HAS SOUPS 349972 WITH SCORE 350616.549
AT ITER 2439 NEW BEST:: SOT 1304965 SOS 644557 HAS SOPS 644557 HAS SOUS 349940 HAS SOUPS 349940 WITH SCORE 350584.557
AT ITER 2450 NEW BEST:: SOT 1304965 SOS 644557 HAS SOPS 644557 HAS SOUS 349839 HAS SOUPS 349839 WITH SCORE 350483.557
AT ITER 2456 NEW BEST:: SOT 1304965 SOS 644513 HAS SOPS 644513 HAS SOUS 349702 HAS SOUPS 349702 WITH SCORE 350346.513
AT ITER 2457 NEW BEST:: SOT 1304950 SOS 644498 HAS SOPS 644498 HAS SOUS 349687 HAS SOUPS 349687 WITH SCORE 350331.498
AT ITER 2462 NEW BEST:: SOT 1304950 SOS 644394 HAS SOPS 644394 HAS SOUS 349583 HAS SOUPS 349583 WITH SCORE 350227.394
AT ITER 2463 NEW BEST:: SOT 1304950 SOS 644108 HAS SOPS 644108 HAS SOUS 349440 HAS SOUPS 349440 WITH SCORE 350084.108
AT ITER 2464 NEW BEST:: SOT 1304788 SOS 643316 HAS SOPS 643316 HAS SOUS 349078 HAS SOUPS 349078 WITH SCORE 349721.316
AT ITER 2469 NEW BEST:: SOT 1304683 SOS 643106 HAS SOPS 643106 HAS SOUS 348870 HAS SOUPS 348870 WITH SCORE 349513.106
AT ITER 2473 NEW BEST:: SOT 1304586 SOS 642404 HAS SOPS 642404 HAS SOUS 348519 HAS SOUPS 348519 WITH SCORE 349161.404
AT ITER 2475 NEW BEST:: SOT 1304460 SOS 642152 HAS SOPS 642152 HAS SOUS 347582 HAS SOUPS 347582 WITH SCORE 348224.152
AT ITER 2482 NEW BEST:: SOT 1304415 SOS 642062 HAS SOPS 642062 HAS SOUS 347537 HAS SOUPS 347537 WITH SCORE 348179.062
AT ITER 2490 NEW BEST:: SOT 1304120 SOS 641767 HAS SOPS 641767 HAS SOUS 347537 HAS SOUPS 347537 WITH SCORE 348178.767
AT ITER 2503 NEW BEST:: SOT 1303970 SOS 641617 HAS SOPS 641617 HAS SOUS 347387 HAS SOUPS 347387 WITH SCORE 348028.617
AT ITER 2506 NEW BEST:: SOT 1303887 SOS 641534 HAS SOPS 641534 HAS SOUS 347358 HAS SOUPS 347358 WITH SCORE 347999.534
AT ITER 2510 NEW BEST:: SOT 1303887 SOS 641323 HAS SOPS 641323 HAS SOUS 347358 HAS SOUPS 347358 WITH SCORE 347999.323
AT ITER 2520 NEW BEST:: SOT 1303838 SOS 641225 HAS SOPS 641225 HAS SOUS 347309 HAS SOUPS 347309 WITH SCORE 347950.225
AT ITER 2521 NEW BEST:: SOT 1303838 SOS 641221 HAS SOPS 641221 HAS SOUS 347309 HAS SOUPS 347309 WITH SCORE 347950.221
AT ITER 2533 NEW BEST:: SOT 1303724 SOS 640993 HAS SOPS 640993 HAS SOUS 347081 HAS SOUPS 347081 WITH SCORE 347721.993
AT ITER 2545 NEW BEST:: SOT 1303633 SOS 640948 HAS SOPS 640948 HAS SOUS 347022 HAS SOUPS 347022 WITH SCORE 347662.948
AT ITER 2548 NEW BEST:: SOT 1303510 SOS 641122 HAS SOPS 641122 HAS SOUS 346664 HAS SOUPS 346664 WITH SCORE 347305.122
AT ITER 2552 NEW BEST:: SOT 1303452 SOS 640948 HAS SOPS 640948 HAS SOUS 346490 HAS SOUPS 346490 WITH SCORE 347130.948
AT ITER 2558 NEW BEST:: SOT 1303147 SOS 640643 HAS SOPS 640643 HAS SOUS 346472 HAS SOUPS 346472 WITH SCORE 347112.643
AT ITER 2559 NEW BEST:: SOT 1303146 SOS 640203 HAS SOPS 640203 HAS SOUS 346032 HAS SOUPS 346032 WITH SCORE 346672.203
AT ITER 2565 NEW BEST:: SOT 1303188 SOS 637025 HAS SOPS 637025 HAS SOUS 345965 HAS SOUPS 345965 WITH SCORE 346602.025
AT ITER 2569 NEW BEST:: SOT 1303190 SOS 636562 HAS SOPS 636562 HAS SOUS 345502 HAS SOUPS 345502 WITH SCORE 346138.562
AT ITER 2585 NEW BEST:: SOT 1303176 SOS 636548 HAS SOPS 636548 HAS SOUS 345488 HAS SOUPS 345488 WITH SCORE 346124.548
AT ITER 2590 NEW BEST:: SOT 1303176 SOS 636444 HAS SOPS 636444 HAS SOUS 345384 HAS SOUPS 345384 WITH SCORE 346020.444
AT ITER 2598 NEW BEST:: SOT 1303176 SOS 636427 HAS SOPS 636427 HAS SOUS 345367 HAS SOUPS 345367 WITH SCORE 346003.427
AT ITER 2607 NEW BEST:: SOT 1302987 SOS 636346 HAS SOPS 636346 HAS SOUS 344735 HAS SOUPS 344735 WITH SCORE 345371.346
AT ITER 2608 NEW BEST:: SOT 1302987 SOS 635864 HAS SOPS 635864 HAS SOUS 344253 HAS SOUPS 344253 WITH SCORE 344888.864
AT ITER 2610 NEW BEST:: SOT 1302943 SOS 635776 HAS SOPS 635776 HAS SOUS 344231 HAS SOUPS 344231 WITH SCORE 344866.776
AT ITER 2616 NEW BEST:: SOT 1302943 SOS 635542 HAS SOPS 635542 HAS SOUS 344231 HAS SOUPS 344231 WITH SCORE 344866.542
AT ITER 2619 NEW BEST:: SOT 1302851 SOS 635358 HAS SOPS 635358 HAS SOUS 344210 HAS SOUPS 344210 WITH SCORE 344845.358
AT ITER 2630 NEW BEST:: SOT 1303138 SOS 635635 HAS SOPS 635635 HAS SOUS 344026 HAS SOUPS 344026 WITH SCORE 344661.635
AT ITER 2631 NEW BEST:: SOT 1303138 SOS 635464 HAS SOPS 635464 HAS SOUS 343653 HAS SOUPS 343653 WITH SCORE 344288.464
AT ITER 2636 NEW BEST:: SOT 1303138 SOS 635432 HAS SOPS 635432 HAS SOUS 343637 HAS SOUPS 343637 WITH SCORE 344272.432
AT ITER 2641 NEW BEST:: SOT 1303064 SOS 635284 HAS SOPS 635284 HAS SOUS 343526 HAS SOUPS 343526 WITH SCORE 344161.284
AT ITER 2650 NEW BEST:: SOT 1303062 SOS 635282 HAS SOPS 635282 HAS SOUS 343524 HAS SOUPS 343524 WITH SCORE 344159.282
AT ITER 2651 NEW BEST:: SOT 1302796 SOS 634739 HAS SOPS 634739 HAS SOUS 343286 HAS SOUPS 343286 WITH SCORE 343920.739
AT ITER 2652 NEW BEST:: SOT 1301893 SOS 633781 HAS SOPS 633781 HAS SOUS 342421 HAS SOUPS 342421 WITH SCORE 343054.781
AT ITER 2660 NEW BEST:: SOT 1301300 SOS 633286 HAS SOPS 633286 HAS SOUS 341857 HAS SOUPS 341857 WITH SCORE 342490.286
AT ITER 2662 NEW BEST:: SOT 1301267 SOS 633253 HAS SOPS 633253 HAS SOUS 341791 HAS SOUPS 341791 WITH SCORE 342424.253
AT ITER 2668 NEW BEST:: SOT 1301267 SOS 633357 HAS SOPS 633357 HAS SOUS 341724 HAS SOUPS 341724 WITH SCORE 342357.357
AT ITER 2673 NEW BEST:: SOT 1301170 SOS 632971 HAS SOPS 632971 HAS SOUS 341687 HAS SOUPS 341687 WITH SCORE 342319.971
AT ITER 2681 NEW BEST:: SOT 1301190 SOS 632984 HAS SOPS 632984 HAS SOUS 341680 HAS SOUPS 341680 WITH SCORE 342312.984
AT ITER 2683 NEW BEST:: SOT 1301231 SOS 632803 HAS SOPS 632803 HAS SOUS 341354 HAS SOUPS 341354 WITH SCORE 341986.803
AT ITER 2684 NEW BEST:: SOT 1300893 SOS 632491 HAS SOPS 632491 HAS SOUS 341161 HAS SOUPS 341161 WITH SCORE 341793.491
AT ITER 2689 NEW BEST:: SOT 1300813 SOS 632368 HAS SOPS 632368 HAS SOUS 341116 HAS SOUPS 341116 WITH SCORE 341748.368
AT ITER 2699 NEW BEST:: SOT 1300637 SOS 632016 HAS SOPS 632016 HAS SOUS 340852 HAS SOUPS 340852 WITH SCORE 341484.016
AT ITER 2700 NEW BEST:: SOT 1301375 SOS 632679 HAS SOPS 632679 HAS SOUS 340738 HAS SOUPS 340738 WITH SCORE 341370.679
AT ITER 2702 NEW BEST:: SOT 1301375 SOS 633154 HAS SOPS 633154 HAS SOUS 340636 HAS SOUPS 340636 WITH SCORE 341269.154
AT ITER 2704 NEW BEST:: SOT 1301104 SOS 632883 HAS SOPS 632883 HAS SOUS 340478 HAS SOUPS 340478 WITH SCORE 341110.883
AT ITER 2705 NEW BEST:: SOT 1301104 SOS 632883 HAS SOPS 632883 HAS SOUS 340394 HAS SOUPS 340394 WITH SCORE 341026.883
AT ITER 2733 NEW BEST:: SOT 1301104 SOS 632377 HAS SOPS 632377 HAS SOUS 340352 HAS SOUPS 340352 WITH SCORE 340984.377
AT ITER 2770 NEW BEST:: SOT 1301104 SOS 632342 HAS SOPS 632342 HAS SOUS 340302 HAS SOUPS 340302 WITH SCORE 340934.342
AT ITER 2771 NEW BEST:: SOT 1301104 SOS 632342 HAS SOPS 632342 HAS SOUS 340249 HAS SOUPS 340249 WITH SCORE 340881.342
AT ITER 2775 NEW BEST:: SOT 1301104 SOS 632203 HAS SOPS 632203 HAS SOUS 340110 HAS SOUPS 340110 WITH SCORE 340742.203
AT ITER 2776 NEW BEST:: SOT 1300807 SOS 631807 HAS SOPS 631807 HAS SOUS 339811 HAS SOUPS 339811 WITH SCORE 340442.807
AT ITER 2782 NEW BEST:: SOT 1300785 SOS 631709 HAS SOPS 631709 HAS SOUS 339735 HAS SOUPS 339735 WITH SCORE 340366.709
AT ITER 2804 NEW BEST:: SOT 1300822 SOS 631783 HAS SOPS 631783 HAS SOUS 339633 HAS SOUPS 339633 WITH SCORE 340264.783
AT ITER 2810 NEW BEST:: SOT 1300786 SOS 631580 HAS SOPS 631580 HAS SOUS 339561 HAS SOUPS 339561 WITH SCORE 340192.58
AT ITER 2811 NEW BEST:: SOT 1300754 SOS 631484 HAS SOPS 631484 HAS SOUS 339497 HAS SOUPS 339497 WITH SCORE 340128.484
AT ITER 2841 NEW BEST:: SOT 1300427 SOS 630338 HAS SOPS 630338 HAS SOUS 339343 HAS SOUPS 339343 WITH SCORE 339973.338
AT ITER 2854 NEW BEST:: SOT 1300415 SOS 630314 HAS SOPS 630314 HAS SOUS 339319 HAS SOUPS 339319 WITH SCORE 339949.314
AT ITER 2855 NEW BEST:: SOT 1300415 SOS 630314 HAS SOPS 630314 HAS SOUS 338498 HAS SOUPS 338498 WITH SCORE 339128.314
AT ITER 2859 NEW BEST:: SOT 1300238 SOS 630100 HAS SOPS 630100 HAS SOUS 338181 HAS SOUPS 338181 WITH SCORE 338811.1
AT ITER 2861 NEW BEST:: SOT 1300147 SOS 629911 HAS SOPS 629911 HAS SOUS 338089 HAS SOUPS 338089 WITH SCORE 338718.911
AT ITER 2865 NEW BEST:: SOT 1299918 SOS 629699 HAS SOPS 629699 HAS SOUS 337812 HAS SOUPS 337812 WITH SCORE 338441.699
AT ITER 2883 NEW BEST:: SOT 1299768 SOS 629549 HAS SOPS 629549 HAS SOUS 337633 HAS SOUPS 337633 WITH SCORE 338262.549
AT ITER 2891 NEW BEST:: SOT 1299753 SOS 629534 HAS SOPS 629534 HAS SOUS 337618 HAS SOUPS 337618 WITH SCORE 338247.534
AT ITER 2894 NEW BEST:: SOT 1299753 SOS 627964 HAS SOPS 627964 HAS SOUS 337562 HAS SOUPS 337562 WITH SCORE 338189.964
AT ITER 2896 NEW BEST:: SOT 1299528 SOS 627739 HAS SOPS 627739 HAS SOUS 337176 HAS SOUPS 337176 WITH SCORE 337803.739
AT ITER 2899 NEW BEST:: SOT 1299227 SOS 627581 HAS SOPS 627581 HAS SOUS 337166 HAS SOUPS 337166 WITH SCORE 337793.581
AT ITER 2901 NEW BEST:: SOT 1299227 SOS 626650 HAS SOPS 626650 HAS SOUS 337009 HAS SOUPS 337009 WITH SCORE 337635.65
AT ITER 2910 NEW BEST:: SOT 1298196 SOS 624026 HAS SOPS 624026 HAS SOUS 335231 HAS SOUPS 335231 WITH SCORE 335855.026
AT ITER 2929 NEW BEST:: SOT 1298240 SOS 624819 HAS SOPS 624819 HAS SOUS 335222 HAS SOUPS 335222 WITH SCORE 335846.819
AT ITER 2930 NEW BEST:: SOT 1298240 SOS 624437 HAS SOPS 624437 HAS SOUS 334935 HAS SOUPS 334935 WITH SCORE 335559.437
AT ITER 2942 NEW BEST:: SOT 1298383 SOS 624367 HAS SOPS 624367 HAS SOUS 334544 HAS SOUPS 334544 WITH SCORE 335168.367
AT ITER 2952 NEW BEST:: SOT 1298264 SOS 624248 HAS SOPS 624248 HAS SOUS 334425 HAS SOUPS 334425 WITH SCORE 335049.248
AT ITER 2953 NEW BEST:: SOT 1298162 SOS 624240 HAS SOPS 624240 HAS SOUS 334323 HAS SOUPS 334323 WITH SCORE 334947.24
AT ITER 2960 NEW BEST:: SOT 1298082 SOS 623863 HAS SOPS 623863 HAS SOUS 334243 HAS SOUPS 334243 WITH SCORE 334866.863
AT ITER 2962 NEW BEST:: SOT 1298264 SOS 624081 HAS SOPS 624081 HAS SOUS 334147 HAS SOUPS 334147 WITH SCORE 334771.081
AT ITER 2963 NEW BEST:: SOT 1298347 SOS 624125 HAS SOPS 624125 HAS SOUS 334108 HAS SOUPS 334108 WITH SCORE 334732.125
AT ITER 2972 NEW BEST:: SOT 1298347 SOS 621218 HAS SOPS 621218 HAS SOUS 334108 HAS SOUPS 334108 WITH SCORE 334729.218
AT ITER 2973 NEW BEST:: SOT 1298347 SOS 621108 HAS SOPS 621108 HAS SOUS 334108 HAS SOUPS 334108 WITH SCORE 334729.108
AT ITER 2975 NEW BEST:: SOT 1297861 SOS 619923 HAS SOPS 619923 HAS SOUS 334001 HAS SOUPS 334001 WITH SCORE 334620.923
AT ITER 2976 NEW BEST:: SOT 1297847 SOS 619895 HAS SOPS 619895 HAS SOUS 333987 HAS SOUPS 333987 WITH SCORE 334606.895
AT ITER 2977 NEW BEST:: SOT 1297847 SOS 619895 HAS SOPS 619895 HAS SOUS 333933 HAS SOUPS 333933 WITH SCORE 334552.895
AT ITER 2991 NEW BEST:: SOT 1297730 SOS 619778 HAS SOPS 619778 HAS SOUS 333871 HAS SOUPS 333871 WITH SCORE 334490.778
AT ITER 2992 NEW BEST:: SOT 1297491 SOS 619300 HAS SOPS 619300 HAS SOUS 333279 HAS SOUPS 333279 WITH SCORE 333898.3
AT ITER 3008 NEW BEST:: SOT 1297616 SOS 619425 HAS SOPS 619425 HAS SOUS 333144 HAS SOUPS 333144 WITH SCORE 333763.425
AT ITER 3011 NEW BEST:: SOT 1297616 SOS 619329 HAS SOPS 619329 HAS SOUS 333144 HAS SOUPS 333144 WITH SCORE 333763.329
AT ITER 3036 NEW BEST:: SOT 1297736 SOS 619292 HAS SOPS 619292 HAS SOUS 332763 HAS SOUPS 332763 WITH SCORE 333382.292
AT ITER 3037 NEW BEST:: SOT 1298110 SOS 619662 HAS SOPS 619662 HAS SOUS 332372 HAS SOUPS 332372 WITH SCORE 332991.662
AT ITER 3041 NEW BEST:: SOT 1298074 SOS 619614 HAS SOPS 619614 HAS SOUS 332324 HAS SOUPS 332324 WITH SCORE 332943.614
AT ITER 3049 NEW BEST:: SOT 1298018 SOS 619558 HAS SOPS 619558 HAS SOUS 332268 HAS SOUPS 332268 WITH SCORE 332887.558
AT ITER 3052 NEW BEST:: SOT 1297945 SOS 619485 HAS SOPS 619485 HAS SOUS 332195 HAS SOUPS 332195 WITH SCORE 332814.485
AT ITER 3054 NEW BEST:: SOT 1297643 SOS 619121 HAS SOPS 619121 HAS SOUS 331831 HAS SOUPS 331831 WITH SCORE 332450.121
AT ITER 3080 NEW BEST:: SOT 1297634 SOS 619112 HAS SOPS 619112 HAS SOUS 331813 HAS SOUPS 331813 WITH SCORE 332432.112
AT ITER 3083 NEW BEST:: SOT 1297560 SOS 618886 HAS SOPS 618886 HAS SOUS 331780 HAS SOUPS 331780 WITH SCORE 332398.886
AT ITER 3085 NEW BEST:: SOT 1297559 SOS 618885 HAS SOPS 618885 HAS SOUS 331778 HAS SOUPS 331778 WITH SCORE 332396.885
AT ITER 3086 NEW BEST:: SOT 1297559 SOS 618885 HAS SOPS 618885 HAS SOUS 331707 HAS SOUPS 331707 WITH SCORE 332325.885
AT ITER 3088 NEW BEST:: SOT 1297559 SOS 618885 HAS SOPS 618885 HAS SOUS 331589 HAS SOUPS 331589 WITH SCORE 332207.885
AT ITER 3100 NEW BEST:: SOT 1297347 SOS 618504 HAS SOPS 618504 HAS SOUS 331377 HAS SOUPS 331377 WITH SCORE 331995.504
AT ITER 3104 NEW BEST:: SOT 1296695 SOS 617189 HAS SOPS 617189 HAS SOUS 330863 HAS SOUPS 330863 WITH SCORE 331480.189
AT ITER 3105 NEW BEST:: SOT 1297245 SOS 617561 HAS SOPS 617561 HAS SOUS 330323 HAS SOUPS 330323 WITH SCORE 330940.561
AT ITER 3106 NEW BEST:: SOT 1296755 SOS 617045 HAS SOPS 617045 HAS SOUS 330297 HAS SOUPS 330297 WITH SCORE 330914.045
AT ITER 3107 NEW BEST:: SOT 1296755 SOS 617045 HAS SOPS 617045 HAS SOUS 330275 HAS SOUPS 330275 WITH SCORE 330892.045
AT ITER 3112 NEW BEST:: SOT 1295969 SOS 615757 HAS SOPS 615757 HAS SOUS 328987 HAS SOUPS 328987 WITH SCORE 329602.757
AT ITER 3114 NEW BEST:: SOT 1295706 SOS 615231 HAS SOPS 615231 HAS SOUS 328724 HAS SOUPS 328724 WITH SCORE 329339.231
AT ITER 3122 NEW BEST:: SOT 1295706 SOS 615231 HAS SOPS 615231 HAS SOUS 328711 HAS SOUPS 328711 WITH SCORE 329326.231
AT ITER 3129 NEW BEST:: SOT 1295664 SOS 615189 HAS SOPS 615189 HAS SOUS 328564 HAS SOUPS 328564 WITH SCORE 329179.189
AT ITER 3134 NEW BEST:: SOT 1295614 SOS 614828 HAS SOPS 614828 HAS SOUS 328280 HAS SOUPS 328280 WITH SCORE 328894.828
AT ITER 3135 NEW BEST:: SOT 1295524 SOS 613975 HAS SOPS 613975 HAS SOUS 327821 HAS SOUPS 327821 WITH SCORE 328434.975
AT ITER 3138 NEW BEST:: SOT 1295024 SOS 613663 HAS SOPS 613663 HAS SOUS 327494 HAS SOUPS 327494 WITH SCORE 328107.663
AT ITER 3140 NEW BEST:: SOT 1294781 SOS 613511 HAS SOPS 613511 HAS SOUS 327426 HAS SOUPS 327426 WITH SCORE 328039.511
AT ITER 3152 NEW BEST:: SOT 1294781 SOS 613368 HAS SOPS 613368 HAS SOUS 327283 HAS SOUPS 327283 WITH SCORE 327896.368
AT ITER 3153 NEW BEST:: SOT 1294776 SOS 613363 HAS SOPS 613363 HAS SOUS 327273 HAS SOUPS 327273 WITH SCORE 327886.363
AT ITER 3165 NEW BEST:: SOT 1294695 SOS 613201 HAS SOPS 613201 HAS SOUS 327111 HAS SOUPS 327111 WITH SCORE 327724.201
AT ITER 3170 NEW BEST:: SOT 1294621 SOS 613053 HAS SOPS 613053 HAS SOUS 326963 HAS SOUPS 326963 WITH SCORE 327576.053
AT ITER 3175 NEW BEST:: SOT 1294726 SOS 613042 HAS SOPS 613042 HAS SOUS 326952 HAS SOUPS 326952 WITH SCORE 327565.042
AT ITER 3185 NEW BEST:: SOT 1294719 SOS 613021 HAS SOPS 613021 HAS SOUS 326938 HAS SOUPS 326938 WITH SCORE 327551.021
AT ITER 3197 NEW BEST:: SOT 1294748 SOS 613079 HAS SOPS 613079 HAS SOUS 326706 HAS SOUPS 326706 WITH SCORE 327319.079
AT ITER 3208 NEW BEST:: SOT 1294322 SOS 611980 HAS SOPS 611980 HAS SOUS 326280 HAS SOUPS 326280 WITH SCORE 326891.98
AT ITER 3225 NEW BEST:: SOT 1294344 SOS 611710 HAS SOPS 611710 HAS SOUS 325956 HAS SOUPS 325956 WITH SCORE 326567.71
AT ITER 3227 NEW BEST:: SOT 1294104 SOS 611610 HAS SOPS 611610 HAS SOUS 325856 HAS SOUPS 325856 WITH SCORE 326467.61
AT ITER 3245 NEW BEST:: SOT 1294079 SOS 611560 HAS SOPS 611560 HAS SOUS 325806 HAS SOUPS 325806 WITH SCORE 326417.56
AT ITER 3251 NEW BEST:: SOT 1294128 SOS 611430 HAS SOPS 611430 HAS SOUS 325795 HAS SOUPS 325795 WITH SCORE 326406.43
AT ITER 3254 NEW BEST:: SOT 1293756 SOS 611058 HAS SOPS 611058 HAS SOUS 325668 HAS SOUPS 325668 WITH SCORE 326279.058
AT ITER 3256 NEW BEST:: SOT 1293705 SOS 609984 HAS SOPS 609984 HAS SOUS 325566 HAS SOUPS 325566 WITH SCORE 326175.984
AT ITER 3275 NEW BEST:: SOT 1293689 SOS 609968 HAS SOPS 609968 HAS SOUS 325550 HAS SOUPS 325550 WITH SCORE 326159.968
AT ITER 3280 NEW BEST:: SOT 1293991 SOS 610270 HAS SOPS 610270 HAS SOUS 325413 HAS SOUPS 325413 WITH SCORE 326023.27
AT ITER 3282 NEW BEST:: SOT 1293913 SOS 609765 HAS SOPS 609765 HAS SOUS 325298 HAS SOUPS 325298 WITH SCORE 325907.765
AT ITER 3283 NEW BEST:: SOT 1293872 SOS 609683 HAS SOPS 609683 HAS SOUS 325257 HAS SOUPS 325257 WITH SCORE 325866.683
AT ITER 3285 NEW BEST:: SOT 1293872 SOS 609683 HAS SOPS 609683 HAS SOUS 325229 HAS SOUPS 325229 WITH SCORE 325838.683
AT ITER 3309 NEW BEST:: SOT 1293855 SOS 609649 HAS SOPS 609649 HAS SOUS 325195 HAS SOUPS 325195 WITH SCORE 325804.649
AT ITER 3319 NEW BEST:: SOT 1294230 SOS 609416 HAS SOPS 609416 HAS SOUS 324962 HAS SOUPS 324962 WITH SCORE 325571.416
AT ITER 3332 NEW BEST:: SOT 1294230 SOS 609568 HAS SOPS 609568 HAS SOUS 324881 HAS SOUPS 324881 WITH SCORE 325490.568
AT ITER 3336 NEW BEST:: SOT 1294219 SOS 609359 HAS SOPS 609359 HAS SOUS 324870 HAS SOUPS 324870 WITH SCORE 325479.359
AT ITER 3337 NEW BEST:: SOT 1294062 SOS 609202 HAS SOPS 609202 HAS SOUS 324741 HAS SOUPS 324741 WITH SCORE 325350.202
AT ITER 3339 NEW BEST:: SOT 1294056 SOS 609196 HAS SOPS 609196 HAS SOUS 324729 HAS SOUPS 324729 WITH SCORE 325338.196
AT ITER 3349 NEW BEST:: SOT 1294039 SOS 609147 HAS SOPS 609147 HAS SOUS 323959 HAS SOUPS 323959 WITH SCORE 324568.147
AT ITER 3366 NEW BEST:: SOT 1294098 SOS 609001 HAS SOPS 609001 HAS SOUS 323912 HAS SOUPS 323912 WITH SCORE 324521.001
AT ITER 3367 NEW BEST:: SOT 1293734 SOS 608071 HAS SOPS 608071 HAS SOUS 323343 HAS SOUPS 323343 WITH SCORE 323951.071
AT ITER 3376 NEW BEST:: SOT 1293683 SOS 607969 HAS SOPS 607969 HAS SOUS 323241 HAS SOUPS 323241 WITH SCORE 323848.969
AT ITER 3378 NEW BEST:: SOT 1293474 SOS 607969 HAS SOPS 607969 HAS SOUS 323032 HAS SOUPS 323032 WITH SCORE 323639.969
AT ITER 3379 NEW BEST:: SOT 1293025 SOS 607520 HAS SOPS 607520 HAS SOUS 322639 HAS SOUPS 322639 WITH SCORE 323246.52
AT ITER 3392 NEW BEST:: SOT 1292828 SOS 607118 HAS SOPS 607118 HAS SOUS 322484 HAS SOUPS 322484 WITH SCORE 323091.118
AT ITER 3396 NEW BEST:: SOT 1292812 SOS 607118 HAS SOPS 607118 HAS SOUS 322468 HAS SOUPS 322468 WITH SCORE 323075.118
AT ITER 3397 NEW BEST:: SOT 1292812 SOS 605650 HAS SOPS 605650 HAS SOUS 322277 HAS SOUPS 322277 WITH SCORE 322882.65
AT ITER 3398 NEW BEST:: SOT 1292329 SOS 604729 HAS SOPS 604729 HAS SOUS 321593 HAS SOUPS 321593 WITH SCORE 322197.729
AT ITER 3399 NEW BEST:: SOT 1292329 SOS 604729 HAS SOPS 604729 HAS SOUS 321421 HAS SOUPS 321421 WITH SCORE 322025.729
AT ITER 3402 NEW BEST:: SOT 1292228 SOS 604078 HAS SOPS 604078 HAS SOUS 321102 HAS SOUPS 321102 WITH SCORE 321706.078
AT ITER 3409 NEW BEST:: SOT 1292245 SOS 604016 HAS SOPS 604016 HAS SOUS 320999 HAS SOUPS 320999 WITH SCORE 321603.016
AT ITER 3420 NEW BEST:: SOT 1292245 SOS 604016 HAS SOPS 604016 HAS SOUS 320971 HAS SOUPS 320971 WITH SCORE 321575.016
AT ITER 3433 NEW BEST:: SOT 1292138 SOS 603817 HAS SOPS 603817 HAS SOUS 320864 HAS SOUPS 320864 WITH SCORE 321467.817
AT ITER 3442 NEW BEST:: SOT 1292126 SOS 603805 HAS SOPS 603805 HAS SOUS 320863 HAS SOUPS 320863 WITH SCORE 321466.805
AT ITER 3451 NEW BEST:: SOT 1291798 SOS 603296 HAS SOPS 603296 HAS SOUS 320649 HAS SOUPS 320649 WITH SCORE 321252.296
AT ITER 3460 NEW BEST:: SOT 1291798 SOS 603296 HAS SOPS 603296 HAS SOUS 320429 HAS SOUPS 320429 WITH SCORE 321032.296
AT ITER 3461 NEW BEST:: SOT 1291483 SOS 603912 HAS SOPS 603912 HAS SOUS 320355 HAS SOUPS 320355 WITH SCORE 320958.912
AT ITER 3465 NEW BEST:: SOT 1291483 SOS 603912 HAS SOPS 603912 HAS SOUS 320182 HAS SOUPS 320182 WITH SCORE 320785.912
AT ITER 3466 NEW BEST:: SOT 1291451 SOS 603848 HAS SOPS 603848 HAS SOUS 320140 HAS SOUPS 320140 WITH SCORE 320743.848
AT ITER 3474 NEW BEST:: SOT 1291451 SOS 603790 HAS SOPS 603790 HAS SOUS 320101 HAS SOUPS 320101 WITH SCORE 320704.79
AT ITER 3482 NEW BEST:: SOT 1291422 SOS 603580 HAS SOPS 603580 HAS SOUS 320032 HAS SOUPS 320032 WITH SCORE 320635.58
AT ITER 3485 NEW BEST:: SOT 1291302 SOS 603400 HAS SOPS 603400 HAS SOUS 319912 HAS SOUPS 319912 WITH SCORE 320515.4
AT ITER 3492 NEW BEST:: SOT 1291241 SOS 602786 HAS SOPS 602786 HAS SOUS 319885 HAS SOUPS 319885 WITH SCORE 320487.786
AT ITER 3500 NEW BEST:: SOT 1291221 SOS 602739 HAS SOPS 602739 HAS SOUS 319858 HAS SOUPS 319858 WITH SCORE 320460.739
AT ITER 3501 NEW BEST:: SOT 1291064 SOS 602582 HAS SOPS 602582 HAS SOUS 319701 HAS SOUPS 319701 WITH SCORE 320303.582
AT ITER 3503 NEW BEST:: SOT 1291066 SOS 599900 HAS SOPS 599900 HAS SOUS 319703 HAS SOUPS 319703 WITH SCORE 320302.9
AT ITER 3505 NEW BEST:: SOT 1291034 SOS 599836 HAS SOPS 599836 HAS SOUS 319671 HAS SOUPS 319671 WITH SCORE 320270.836
AT ITER 3508 NEW BEST:: SOT 1290469 SOS 599310 HAS SOPS 599310 HAS SOUS 319227 HAS SOUPS 319227 WITH SCORE 319826.31
AT ITER 3526 NEW BEST:: SOT 1290469 SOS 599489 HAS SOPS 599489 HAS SOUS 319179 HAS SOUPS 319179 WITH SCORE 319778.489
AT ITER 3531 NEW BEST:: SOT 1290457 SOS 599594 HAS SOPS 599594 HAS SOUS 319166 HAS SOUPS 319166 WITH SCORE 319765.594
AT ITER 3545 NEW BEST:: SOT 1290303 SOS 599286 HAS SOPS 599286 HAS SOUS 319012 HAS SOUPS 319012 WITH SCORE 319611.286
AT ITER 3554 NEW BEST:: SOT 1290282 SOS 599244 HAS SOPS 599244 HAS SOUS 318991 HAS SOUPS 318991 WITH SCORE 319590.244
AT ITER 3555 NEW BEST:: SOT 1290282 SOS 599244 HAS SOPS 599244 HAS SOUS 318858 HAS SOUPS 318858 WITH SCORE 319457.244
AT ITER 3562 NEW BEST:: SOT 1290282 SOS 599244 HAS SOPS 599244 HAS SOUS 318799 HAS SOUPS 318799 WITH SCORE 319398.244
AT ITER 3567 NEW BEST:: SOT 1290243 SOS 599205 HAS SOPS 599205 HAS SOUS 318760 HAS SOUPS 318760 WITH SCORE 319359.205
AT ITER 3579 NEW BEST:: SOT 1290478 SOS 599598 HAS SOPS 599598 HAS SOUS 318736 HAS SOUPS 318736 WITH SCORE 319335.598
AT ITER 3603 NEW BEST:: SOT 1290421 SOS 599769 HAS SOPS 599769 HAS SOUS 318535 HAS SOUPS 318535 WITH SCORE 319134.769
AT ITER 3605 NEW BEST:: SOT 1290359 SOS 599707 HAS SOPS 599707 HAS SOUS 318520 HAS SOUPS 318520 WITH SCORE 319119.707
AT ITER 3613 NEW BEST:: SOT 1290313 SOS 599850 HAS SOPS 599850 HAS SOUS 318370 HAS SOUPS 318370 WITH SCORE 318969.85
AT ITER 3637 NEW BEST:: SOT 1290313 SOS 599782 HAS SOPS 599782 HAS SOUS 318370 HAS SOUPS 318370 WITH SCORE 318969.782
AT ITER 3659 NEW BEST:: SOT 1290162 SOS 599631 HAS SOPS 599631 HAS SOUS 318242 HAS SOUPS 318242 WITH SCORE 318841.631
AT ITER 3662 NEW BEST:: SOT 1290210 SOS 599455 HAS SOPS 599455 HAS SOUS 318202 HAS SOUPS 318202 WITH SCORE 318801.455
AT ITER 3670 NEW BEST:: SOT 1290177 SOS 599393 HAS SOPS 599393 HAS SOUS 318169 HAS SOUPS 318169 WITH SCORE 318768.393
AT ITER 3671 NEW BEST:: SOT 1289908 SOS 598846 HAS SOPS 598846 HAS SOUS 317626 HAS SOUPS 317626 WITH SCORE 318224.846
AT ITER 3694 NEW BEST:: SOT 1289736 SOS 598502 HAS SOPS 598502 HAS SOUS 317436 HAS SOUPS 317436 WITH SCORE 318034.502
AT ITER 3696 NEW BEST:: SOT 1289736 SOS 598429 HAS SOPS 598429 HAS SOUS 317427 HAS SOUPS 317427 WITH SCORE 318025.429
AT ITER 3700 NEW BEST:: SOT 1289683 SOS 598330 HAS SOPS 598330 HAS SOUS 317367 HAS SOUPS 317367 WITH SCORE 317965.33
AT ITER 3707 NEW BEST:: SOT 1289319 SOS 597602 HAS SOPS 597602 HAS SOUS 317002 HAS SOUPS 317002 WITH SCORE 317599.602
AT ITER 3726 NEW BEST:: SOT 1289339 SOS 597290 HAS SOPS 597290 HAS SOUS 316823 HAS SOUPS 316823 WITH SCORE 317420.29
AT ITER 3739 NEW BEST:: SOT 1288987 SOS 596956 HAS SOPS 596956 HAS SOUS 316574 HAS SOUPS 316574 WITH SCORE 317170.956
AT ITER 3740 NEW BEST:: SOT 1288884 SOS 595844 HAS SOPS 595844 HAS SOUS 316368 HAS SOUPS 316368 WITH SCORE 316963.844
AT ITER 3743 NEW BEST:: SOT 1289025 SOS 596126 HAS SOPS 596126 HAS SOUS 316366 HAS SOUPS 316366 WITH SCORE 316962.126
AT ITER 3752 NEW BEST:: SOT 1288946 SOS 595832 HAS SOPS 595832 HAS SOUS 316230 HAS SOUPS 316230 WITH SCORE 316825.832
AT ITER 3761 NEW BEST:: SOT 1288838 SOS 595724 HAS SOPS 595724 HAS SOUS 316136 HAS SOUPS 316136 WITH SCORE 316731.724
AT ITER 3773 NEW BEST:: SOT 1288914 SOS 595893 HAS SOPS 595893 HAS SOUS 316130 HAS SOUPS 316130 WITH SCORE 316725.893
AT ITER 3781 NEW BEST:: SOT 1288914 SOS 595859 HAS SOPS 595859 HAS SOUS 316130 HAS SOUPS 316130 WITH SCORE 316725.859
AT ITER 3783 NEW BEST:: SOT 1288242 SOS 596324 HAS SOPS 596324 HAS SOUS 316023 HAS SOUPS 316023 WITH SCORE 316619.324
AT ITER 3791 NEW BEST:: SOT 1288148 SOS 596086 HAS SOPS 596086 HAS SOUS 315879 HAS SOUPS 315879 WITH SCORE 316475.086
AT ITER 3795 NEW BEST:: SOT 1288148 SOS 595437 HAS SOPS 595437 HAS SOUS 315595 HAS SOUPS 315595 WITH SCORE 316190.437
AT ITER 3803 NEW BEST:: SOT 1288156 SOS 595683 HAS SOPS 595683 HAS SOUS 315407 HAS SOUPS 315407 WITH SCORE 316002.683
AT ITER 3805 NEW BEST:: SOT 1287970 SOS 595497 HAS SOPS 595497 HAS SOUS 315296 HAS SOUPS 315296 WITH SCORE 315891.497
AT ITER 3807 NEW BEST:: SOT 1287942 SOS 595441 HAS SOPS 595441 HAS SOUS 315268 HAS SOUPS 315268 WITH SCORE 315863.441
AT ITER 3808 NEW BEST:: SOT 1288020 SOS 595564 HAS SOPS 595564 HAS SOUS 315225 HAS SOUPS 315225 WITH SCORE 315820.564
AT ITER 3821 NEW BEST:: SOT 1288215 SOS 595670 HAS SOPS 595670 HAS SOUS 315047 HAS SOUPS 315047 WITH SCORE 315642.67
AT ITER 3823 NEW BEST:: SOT 1287963 SOS 595504 HAS SOPS 595504 HAS SOUS 314795 HAS SOUPS 314795 WITH SCORE 315390.504
AT ITER 3835 NEW BEST:: SOT 1287963 SOS 595402 HAS SOPS 595402 HAS SOUS 314693 HAS SOUPS 314693 WITH SCORE 315288.402
AT ITER 3836 NEW BEST:: SOT 1287973 SOS 595296 HAS SOPS 595296 HAS SOUS 314640 HAS SOUPS 314640 WITH SCORE 315235.296
AT ITER 3841 NEW BEST:: SOT 1287712 SOS 599544 HAS SOPS 599544 HAS SOUS 314497 HAS SOUPS 314497 WITH SCORE 315096.544
AT ITER 3843 NEW BEST:: SOT 1287669 SOS 599534 HAS SOPS 599534 HAS SOUS 314472 HAS SOUPS 314472 WITH SCORE 315071.534
AT ITER 3852 NEW BEST:: SOT 1287494 SOS 598596 HAS SOPS 598596 HAS SOUS 314295 HAS SOUPS 314295 WITH SCORE 314893.596
AT ITER 3856 NEW BEST:: SOT 1287482 SOS 598328 HAS SOPS 598328 HAS SOUS 314185 HAS SOUPS 314185 WITH SCORE 314783.328
AT ITER 3858 NEW BEST:: SOT 1287514 SOS 598320 HAS SOPS 598320 HAS SOUS 314105 HAS SOUPS 314105 WITH SCORE 314703.32
AT ITER 3860 NEW BEST:: SOT 1287660 SOS 598612 HAS SOPS 598612 HAS SOUS 313982 HAS SOUPS 313982 WITH SCORE 314580.612
AT ITER 3864 NEW BEST:: SOT 1287587 SOS 598492 HAS SOPS 598492 HAS SOUS 313967 HAS SOUPS 313967 WITH SCORE 314565.492
AT ITER 3865 NEW BEST:: SOT 1287239 SOS 598050 HAS SOPS 598050 HAS SOUS 313619 HAS SOUPS 313619 WITH SCORE 314217.05
AT ITER 3870 NEW BEST:: SOT 1287239 SOS 598050 HAS SOPS 598050 HAS SOUS 313618 HAS SOUPS 313618 WITH SCORE 314216.05
AT ITER 3872 NEW BEST:: SOT 1287199 SOS 597970 HAS SOPS 597970 HAS SOUS 313578 HAS SOUPS 313578 WITH SCORE 314175.97
AT ITER 3873 NEW BEST:: SOT 1287199 SOS 597887 HAS SOPS 597887 HAS SOUS 313495 HAS SOUPS 313495 WITH SCORE 314092.887
AT ITER 3874 NEW BEST:: SOT 1287143 SOS 597658 HAS SOPS 597658 HAS SOUS 313439 HAS SOUPS 313439 WITH SCORE 314036.658
AT ITER 3879 NEW BEST:: SOT 1287143 SOS 597640 HAS SOPS 597640 HAS SOUS 313439 HAS SOUPS 313439 WITH SCORE 314036.64
AT ITER 3885 NEW BEST:: SOT 1287143 SOS 597640 HAS SOPS 597640 HAS SOUS 313252 HAS SOUPS 313252 WITH SCORE 313849.64
AT ITER 3900 NEW BEST:: SOT 1287261 SOS 597150 HAS SOPS 597150 HAS SOUS 313186 HAS SOUPS 313186 WITH SCORE 313783.15
AT ITER 3902 NEW BEST:: SOT 1287224 SOS 597039 HAS SOPS 597039 HAS SOUS 313149 HAS SOUPS 313149 WITH SCORE 313746.039
AT ITER 3903 NEW BEST:: SOT 1287142 SOS 596957 HAS SOPS 596957 HAS SOUS 313067 HAS SOUPS 313067 WITH SCORE 313663.957
AT ITER 3909 NEW BEST:: SOT 1287142 SOS 596673 HAS SOPS 596673 HAS SOUS 312964 HAS SOUPS 312964 WITH SCORE 313560.673
AT ITER 3911 NEW BEST:: SOT 1286960 SOS 596218 HAS SOPS 596218 HAS SOUS 312782 HAS SOUPS 312782 WITH SCORE 313378.218
AT ITER 3913 NEW BEST:: SOT 1286960 SOS 596220 HAS SOPS 596220 HAS SOUS 312763 HAS SOUPS 312763 WITH SCORE 313359.22
AT ITER 3916 NEW BEST:: SOT 1287104 SOS 596161 HAS SOPS 596161 HAS SOUS 312560 HAS SOUPS 312560 WITH SCORE 313156.161
AT ITER 3919 NEW BEST:: SOT 1287053 SOS 596110 HAS SOPS 596110 HAS SOUS 312509 HAS SOUPS 312509 WITH SCORE 313105.11
AT ITER 3940 NEW BEST:: SOT 1287053 SOS 596061 HAS SOPS 596061 HAS SOUS 312422 HAS SOUPS 312422 WITH SCORE 313018.061
AT ITER 3949 NEW BEST:: SOT 1287111 SOS 596177 HAS SOPS 596177 HAS SOUS 312392 HAS SOUPS 312392 WITH SCORE 312988.177
AT ITER 3951 NEW BEST:: SOT 1287171 SOS 596297 HAS SOPS 596297 HAS SOUS 312367 HAS SOUPS 312367 WITH SCORE 312963.297
AT ITER 3961 NEW BEST:: SOT 1286950 SOS 595732 HAS SOPS 595732 HAS SOUS 312367 HAS SOUPS 312367 WITH SCORE 312962.732
AT ITER 3968 NEW BEST:: SOT 1286831 SOS 595664 HAS SOPS 595664 HAS SOUS 312248 HAS SOUPS 312248 WITH SCORE 312843.664
AT ITER 3969 NEW BEST:: SOT 1286388 SOS 595041 HAS SOPS 595041 HAS SOUS 312147 HAS SOUPS 312147 WITH SCORE 312742.041
AT ITER 3977 NEW BEST:: SOT 1286339 SOS 594992 HAS SOPS 594992 HAS SOUS 312098 HAS SOUPS 312098 WITH SCORE 312692.992
AT ITER 3982 NEW BEST:: SOT 1286560 SOS 595242 HAS SOPS 595242 HAS SOUS 311950 HAS SOUPS 311950 WITH SCORE 312545.242
AT ITER 3989 NEW BEST:: SOT 1286127 SOS 594900 HAS SOPS 594900 HAS SOUS 311877 HAS SOUPS 311877 WITH SCORE 312471.9
AT ITER 3994 NEW BEST:: SOT 1286163 SOS 594558 HAS SOPS 594558 HAS SOUS 311535 HAS SOUPS 311535 WITH SCORE 312129.558
AT ITER 3997 NEW BEST:: SOT 1286213 SOS 594505 HAS SOPS 594505 HAS SOUS 311482 HAS SOUPS 311482 WITH SCORE 312076.505
AT ITER 4010 NEW BEST:: SOT 1286142 SOS 594221 HAS SOPS 594221 HAS SOUS 311340 HAS SOUPS 311340 WITH SCORE 311934.221
AT ITER 4016 NEW BEST:: SOT 1285996 SOS 593779 HAS SOPS 593779 HAS SOUS 311048 HAS SOUPS 311048 WITH SCORE 311641.779
AT ITER 4020 NEW BEST:: SOT 1284605 SOS 604373 HAS SOPS 604373 HAS SOUS 310341 HAS SOUPS 310341 WITH SCORE 310945.373
AT ITER 4043 NEW BEST:: SOT 1284586 SOS 604354 HAS SOPS 604354 HAS SOUS 310322 HAS SOUPS 310322 WITH SCORE 310926.354
AT ITER 4046 NEW BEST:: SOT 1284832 SOS 604313 HAS SOPS 604313 HAS SOUS 310281 HAS SOUPS 310281 WITH SCORE 310885.313
AT ITER 4055 NEW BEST:: SOT 1284353 SOS 603867 HAS SOPS 603867 HAS SOUS 310080 HAS SOUPS 310080 WITH SCORE 310683.867
AT ITER 4056 NEW BEST:: SOT 1284136 SOS 603619 HAS SOPS 603619 HAS SOUS 309832 HAS SOUPS 309832 WITH SCORE 310435.619
AT ITER 4066 NEW BEST:: SOT 1284043 SOS 603479 HAS SOPS 603479 HAS SOUS 309784 HAS SOUPS 309784 WITH SCORE 310387.479
AT ITER 4068 NEW BEST:: SOT 1283951 SOS 603361 HAS SOPS 603361 HAS SOUS 309732 HAS SOUPS 309732 WITH SCORE 310335.361
AT ITER 4094 NEW BEST:: SOT 1283918 SOS 603328 HAS SOPS 603328 HAS SOUS 309699 HAS SOUPS 309699 WITH SCORE 310302.328
AT ITER 4097 NEW BEST:: SOT 1283519 SOS 602929 HAS SOPS 602929 HAS SOUS 309429 HAS SOUPS 309429 WITH SCORE 310031.929
AT ITER 4098 NEW BEST:: SOT 1283463 SOS 602817 HAS SOPS 602817 HAS SOUS 309373 HAS SOUPS 309373 WITH SCORE 309975.817
AT ITER 4101 NEW BEST:: SOT 1282828 SOS 601961 HAS SOPS 601961 HAS SOUS 309112 HAS SOUPS 309112 WITH SCORE 309713.961
AT ITER 4111 NEW BEST:: SOT 1282828 SOS 601961 HAS SOPS 601961 HAS SOUS 309100 HAS SOUPS 309100 WITH SCORE 309701.961
AT ITER 4112 NEW BEST:: SOT 1282587 SOS 601720 HAS SOPS 601720 HAS SOUS 308859 HAS SOUPS 308859 WITH SCORE 309460.72
AT ITER 4131 NEW BEST:: SOT 1282573 SOS 601692 HAS SOPS 601692 HAS SOUS 308831 HAS SOUPS 308831 WITH SCORE 309432.692
AT ITER 4159 NEW BEST:: SOT 1282613 SOS 601598 HAS SOPS 601598 HAS SOUS 308824 HAS SOUPS 308824 WITH SCORE 309425.598
AT ITER 4163 NEW BEST:: SOT 1282330 SOS 601112 HAS SOPS 601112 HAS SOUS 308530 HAS SOUPS 308530 WITH SCORE 309131.112
AT ITER 4169 NEW BEST:: SOT 1282302 SOS 601084 HAS SOPS 601084 HAS SOUS 308502 HAS SOUPS 308502 WITH SCORE 309103.084
AT ITER 4179 NEW BEST:: SOT 1282162 SOS 600524 HAS SOPS 600524 HAS SOUS 308437 HAS SOUPS 308437 WITH SCORE 309037.524
AT ITER 4183 NEW BEST:: SOT 1282104 SOS 600517 HAS SOPS 600517 HAS SOUS 308379 HAS SOUPS 308379 WITH SCORE 308979.517
AT ITER 4185 NEW BEST:: SOT 1282094 SOS 600497 HAS SOPS 600497 HAS SOUS 308359 HAS SOUPS 308359 WITH SCORE 308959.497
AT ITER 4187 NEW BEST:: SOT 1282074 SOS 600797 HAS SOPS 600797 HAS SOUS 308339 HAS SOUPS 308339 WITH SCORE 308939.797
AT ITER 4188 NEW BEST:: SOT 1282074 SOS 600753 HAS SOPS 600753 HAS SOUS 308295 HAS SOUPS 308295 WITH SCORE 308895.753
AT ITER 4189 NEW BEST:: SOT 1282025 SOS 600569 HAS SOPS 600569 HAS SOUS 308206 HAS SOUPS 308206 WITH SCORE 308806.569
AT ITER 4205 NEW BEST:: SOT 1281732 SOS 600678 HAS SOPS 600678 HAS SOUS 308148 HAS SOUPS 308148 WITH SCORE 308748.678
AT ITER 4207 NEW BEST:: SOT 1281305 SOS 599824 HAS SOPS 599824 HAS SOUS 307702 HAS SOUPS 307702 WITH SCORE 308301.824
AT ITER 4216 NEW BEST:: SOT 1281014 SOS 599312 HAS SOPS 599312 HAS SOUS 307311 HAS SOUPS 307311 WITH SCORE 307910.312
AT ITER 4239 NEW BEST:: SOT 1280927 SOS 599418 HAS SOPS 599418 HAS SOUS 307277 HAS SOUPS 307277 WITH SCORE 307876.418
AT ITER 4242 NEW BEST:: SOT 1280927 SOS 599418 HAS SOPS 599418 HAS SOUS 307108 HAS SOUPS 307108 WITH SCORE 307707.418
AT ITER 4245 NEW BEST:: SOT 1280852 SOS 599401 HAS SOPS 599401 HAS SOUS 307091 HAS SOUPS 307091 WITH SCORE 307690.401
AT ITER 4258 NEW BEST:: SOT 1280698 SOS 599113 HAS SOPS 599113 HAS SOUS 306795 HAS SOUPS 306795 WITH SCORE 307394.113
AT ITER 4263 NEW BEST:: SOT 1280662 SOS 599041 HAS SOPS 599041 HAS SOUS 306723 HAS SOUPS 306723 WITH SCORE 307322.041
AT ITER 4286 NEW BEST:: SOT 1280662 SOS 599041 HAS SOPS 599041 HAS SOUS 306670 HAS SOUPS 306670 WITH SCORE 307269.041
AT ITER 4287 NEW BEST:: SOT 1280662 SOS 599018 HAS SOPS 599018 HAS SOUS 306647 HAS SOUPS 306647 WITH SCORE 307246.018
AT ITER 4292 NEW BEST:: SOT 1280650 SOS 599030 HAS SOPS 599030 HAS SOUS 306623 HAS SOUPS 306623 WITH SCORE 307222.03
AT ITER 4300 NEW BEST:: SOT 1280727 SOS 599553 HAS SOPS 599553 HAS SOUS 306617 HAS SOUPS 306617 WITH SCORE 307216.553
AT ITER 4301 NEW BEST:: SOT 1280727 SOS 599553 HAS SOPS 599553 HAS SOUS 306608 HAS SOUPS 306608 WITH SCORE 307207.553
AT ITER 4307 NEW BEST:: SOT 1280669 SOS 598953 HAS SOPS 598953 HAS SOUS 306565 HAS SOUPS 306565 WITH SCORE 307163.953
AT ITER 4314 NEW BEST:: SOT 1280405 SOS 597679 HAS SOPS 597679 HAS SOUS 306278 HAS SOUPS 306278 WITH SCORE 306875.679
AT ITER 4320 NEW BEST:: SOT 1280207 SOS 597481 HAS SOPS 597481 HAS SOUS 306080 HAS SOUPS 306080 WITH SCORE 306677.481
AT ITER 4321 NEW BEST:: SOT 1280207 SOS 597475 HAS SOPS 597475 HAS SOUS 305876 HAS SOUPS 305876 WITH SCORE 306473.475
AT ITER 4327 NEW BEST:: SOT 1280071 SOS 596854 HAS SOPS 596854 HAS SOUS 305604 HAS SOUPS 305604 WITH SCORE 306200.854
AT ITER 4338 NEW BEST:: SOT 1280054 SOS 596820 HAS SOPS 596820 HAS SOUS 305577 HAS SOUPS 305577 WITH SCORE 306173.82
AT ITER 4355 NEW BEST:: SOT 1279965 SOS 598647 HAS SOPS 598647 HAS SOUS 305489 HAS SOUPS 305489 WITH SCORE 306087.647
AT ITER 4381 NEW BEST:: SOT 1279571 SOS 597468 HAS SOPS 597468 HAS SOUS 304881 HAS SOUPS 304881 WITH SCORE 305478.468
AT ITER 4397 NEW BEST:: SOT 1279962 SOS 597297 HAS SOPS 597297 HAS SOUS 304513 HAS SOUPS 304513 WITH SCORE 305110.297
AT ITER 4405 NEW BEST:: SOT 1279939 SOS 597274 HAS SOPS 597274 HAS SOUS 304490 HAS SOUPS 304490 WITH SCORE 305087.274
AT ITER 4410 NEW BEST:: SOT 1279821 SOS 597156 HAS SOPS 597156 HAS SOUS 304372 HAS SOUPS 304372 WITH SCORE 304969.156
AT ITER 4417 NEW BEST:: SOT 1279599 SOS 596533 HAS SOPS 596533 HAS SOUS 303943 HAS SOUPS 303943 WITH SCORE 304539.533
AT ITER 4434 NEW BEST:: SOT 1279599 SOS 596533 HAS SOPS 596533 HAS SOUS 303919 HAS SOUPS 303919 WITH SCORE 304515.533
AT ITER 4435 NEW BEST:: SOT 1279356 SOS 596290 HAS SOPS 596290 HAS SOUS 303570 HAS SOUPS 303570 WITH SCORE 304166.29
AT ITER 4438 NEW BEST:: SOT 1278900 SOS 595592 HAS SOPS 595592 HAS SOUS 302872 HAS SOUPS 302872 WITH SCORE 303467.592
AT ITER 4448 NEW BEST:: SOT 1278900 SOS 595528 HAS SOPS 595528 HAS SOUS 302808 HAS SOUPS 302808 WITH SCORE 303403.528
AT ITER 4474 NEW BEST:: SOT 1278900 SOS 595528 HAS SOPS 595528 HAS SOUS 302571 HAS SOUPS 302571 WITH SCORE 303166.528
AT ITER 4479 NEW BEST:: SOT 1278900 SOS 595528 HAS SOPS 595528 HAS SOUS 302464 HAS SOUPS 302464 WITH SCORE 303059.528
AT ITER 4482 NEW BEST:: SOT 1278852 SOS 595432 HAS SOPS 595432 HAS SOUS 302416 HAS SOUPS 302416 WITH SCORE 303011.432
AT ITER 4483 NEW BEST:: SOT 1278594 SOS 595174 HAS SOPS 595174 HAS SOUS 302158 HAS SOUPS 302158 WITH SCORE 302753.174
AT ITER 4486 NEW BEST:: SOT 1278594 SOS 595139 HAS SOPS 595139 HAS SOUS 302158 HAS SOUPS 302158 WITH SCORE 302753.139
AT ITER 4487 NEW BEST:: SOT 1278395 SOS 594874 HAS SOPS 594874 HAS SOUS 302001 HAS SOUPS 302001 WITH SCORE 302595.874
AT ITER 4488 NEW BEST:: SOT 1278335 SOS 594939 HAS SOPS 594939 HAS SOUS 301881 HAS SOUPS 301881 WITH SCORE 302475.939
AT ITER 4495 NEW BEST:: SOT 1278192 SOS 594711 HAS SOPS 594711 HAS SOUS 301632 HAS SOUPS 301632 WITH SCORE 302226.711
AT ITER 4501 NEW BEST:: SOT 1278192 SOS 594711 HAS SOPS 594711 HAS SOUS 301616 HAS SOUPS 301616 WITH SCORE 302210.711
AT ITER 4509 NEW BEST:: SOT 1278077 SOS 594581 HAS SOPS 594581 HAS SOUS 301501 HAS SOUPS 301501 WITH SCORE 302095.581
AT ITER 4512 NEW BEST:: SOT 1278077 SOS 594345 HAS SOPS 594345 HAS SOUS 301265 HAS SOUPS 301265 WITH SCORE 301859.345
AT ITER 4514 NEW BEST:: SOT 1278076 SOS 594344 HAS SOPS 594344 HAS SOUS 301264 HAS SOUPS 301264 WITH SCORE 301858.344
AT ITER 4518 NEW BEST:: SOT 1278128 SOS 594254 HAS SOPS 594254 HAS SOUS 300784 HAS SOUPS 300784 WITH SCORE 301378.254
AT ITER 4521 NEW BEST:: SOT 1278130 SOS 594193 HAS SOPS 594193 HAS SOUS 300723 HAS SOUPS 300723 WITH SCORE 301317.193
AT ITER 4523 NEW BEST:: SOT 1278182 SOS 594159 HAS SOPS 594159 HAS SOUS 300689 HAS SOUPS 300689 WITH SCORE 301283.159
AT ITER 4534 NEW BEST:: SOT 1277847 SOS 593242 HAS SOPS 593242 HAS SOUS 300057 HAS SOUPS 300057 WITH SCORE 300650.242
AT ITER 4543 NEW BEST:: SOT 1278066 SOS 593437 HAS SOPS 593437 HAS SOUS 299722 HAS SOUPS 299722 WITH SCORE 300315.437
AT ITER 4552 NEW BEST:: SOT 1277926 SOS 593157 HAS SOPS 593157 HAS SOUS 299523 HAS SOUPS 299523 WITH SCORE 300116.157
AT ITER 4560 NEW BEST:: SOT 1277891 SOS 593122 HAS SOPS 593122 HAS SOUS 299453 HAS SOUPS 299453 WITH SCORE 300046.122
AT ITER 4600 NEW BEST:: SOT 1277775 SOS 592890 HAS SOPS 592890 HAS SOUS 299229 HAS SOUPS 299229 WITH SCORE 299821.89
AT ITER 4624 NEW BEST:: SOT 1277734 SOS 592849 HAS SOPS 592849 HAS SOUS 299188 HAS SOUPS 299188 WITH SCORE 299780.849
AT ITER 4647 NEW BEST:: SOT 1277699 SOS 592775 HAS SOPS 592775 HAS SOUS 299118 HAS SOUPS 299118 WITH SCORE 299710.775
AT ITER 4654 NEW BEST:: SOT 1277756 SOS 592685 HAS SOPS 592685 HAS SOUS 299028 HAS SOUPS 299028 WITH SCORE 299620.685
AT ITER 4658 NEW BEST:: SOT 1277656 SOS 592730 HAS SOPS 592730 HAS SOUS 298815 HAS SOUPS 298815 WITH SCORE 299407.73
AT ITER 4660 NEW BEST:: SOT 1277612 SOS 592686 HAS SOPS 592686 HAS SOUS 298742 HAS SOUPS 298742 WITH SCORE 299334.686
AT ITER 4661 NEW BEST:: SOT 1277497 SOS 592497 HAS SOPS 592497 HAS SOUS 298742 HAS SOUPS 298742 WITH SCORE 299334.497
AT ITER 4666 NEW BEST:: SOT 1277508 SOS 592551 HAS SOPS 592551 HAS SOUS 298614 HAS SOUPS 298614 WITH SCORE 299206.551
AT ITER 4669 NEW BEST:: SOT 1277164 SOS 592207 HAS SOPS 592207 HAS SOUS 298613 HAS SOUPS 298613 WITH SCORE 299205.207
AT ITER 4681 NEW BEST:: SOT 1276487 SOS 591624 HAS SOPS 591624 HAS SOUS 298157 HAS SOUPS 298157 WITH SCORE 298748.624
AT ITER 4682 NEW BEST:: SOT 1276416 SOS 591111 HAS SOPS 591111 HAS SOUS 298015 HAS SOUPS 298015 WITH SCORE 298606.111
AT ITER 4683 NEW BEST:: SOT 1276368 SOS 591063 HAS SOPS 591063 HAS SOUS 297970 HAS SOUPS 297970 WITH SCORE 298561.063
AT ITER 4695 NEW BEST:: SOT 1276368 SOS 591063 HAS SOPS 591063 HAS SOUS 297886 HAS SOUPS 297886 WITH SCORE 298477.063
AT ITER 4697 NEW BEST:: SOT 1276368 SOS 591243 HAS SOPS 591243 HAS SOUS 297871 HAS SOUPS 297871 WITH SCORE 298462.243
AT ITER 4703 NEW BEST:: SOT 1276267 SOS 591088 HAS SOPS 591088 HAS SOUS 297716 HAS SOUPS 297716 WITH SCORE 298307.088
AT ITER 4706 NEW BEST:: SOT 1276265 SOS 591086 HAS SOPS 591086 HAS SOUS 297716 HAS SOUPS 297716 WITH SCORE 298307.086
AT ITER 4718 NEW BEST:: SOT 1276237 SOS 591030 HAS SOPS 591030 HAS SOUS 297688 HAS SOUPS 297688 WITH SCORE 298279.03
AT ITER 4724 NEW BEST:: SOT 1276238 SOS 590883 HAS SOPS 590883 HAS SOUS 297603 HAS SOUPS 297603 WITH SCORE 298193.883
AT ITER 4728 NEW BEST:: SOT 1276214 SOS 590859 HAS SOPS 590859 HAS SOUS 297578 HAS SOUPS 297578 WITH SCORE 298168.859
AT ITER 4733 NEW BEST:: SOT 1276206 SOS 590843 HAS SOPS 590843 HAS SOUS 297554 HAS SOUPS 297554 WITH SCORE 298144.843
AT ITER 4736 NEW BEST:: SOT 1276129 SOS 590536 HAS SOPS 590536 HAS SOUS 297247 HAS SOUPS 297247 WITH SCORE 297837.536
AT ITER 4741 NEW BEST:: SOT 1276047 SOS 590372 HAS SOPS 590372 HAS SOUS 297156 HAS SOUPS 297156 WITH SCORE 297746.372
AT ITER 4746 NEW BEST:: SOT 1276307 SOS 590492 HAS SOPS 590492 HAS SOUS 297016 HAS SOUPS 297016 WITH SCORE 297606.492
AT ITER 4750 NEW BEST:: SOT 1276273 SOS 590395 HAS SOPS 590395 HAS SOUS 296919 HAS SOUPS 296919 WITH SCORE 297509.395
AT ITER 4753 NEW BEST:: SOT 1276254 SOS 590318 HAS SOPS 590318 HAS SOUS 296881 HAS SOUPS 296881 WITH SCORE 297471.318
AT ITER 4761 NEW BEST:: SOT 1276315 SOS 590311 HAS SOPS 590311 HAS SOUS 296874 HAS SOUPS 296874 WITH SCORE 297464.311
AT ITER 4763 NEW BEST:: SOT 1276290 SOS 590286 HAS SOPS 590286 HAS SOUS 296849 HAS SOUPS 296849 WITH SCORE 297439.286
AT ITER 4769 NEW BEST:: SOT 1276290 SOS 589913 HAS SOPS 589913 HAS SOUS 296849 HAS SOUPS 296849 WITH SCORE 297438.913
AT ITER 4777 NEW BEST:: SOT 1276148 SOS 589601 HAS SOPS 589601 HAS SOUS 296821 HAS SOUPS 296821 WITH SCORE 297410.601
AT ITER 4787 NEW BEST:: SOT 1276148 SOS 589220 HAS SOPS 589220 HAS SOUS 296821 HAS SOUPS 296821 WITH SCORE 297410.22
AT ITER 4788 NEW BEST:: SOT 1276148 SOS 589220 HAS SOPS 589220 HAS SOUS 296502 HAS SOUPS 296502 WITH SCORE 297091.22
AT ITER 4791 NEW BEST:: SOT 1276207 SOS 589240 HAS SOPS 589240 HAS SOUS 296403 HAS SOUPS 296403 WITH SCORE 296992.24
AT ITER 4804 NEW BEST:: SOT 1276175 SOS 589176 HAS SOPS 589176 HAS SOUS 296339 HAS SOUPS 296339 WITH SCORE 296928.176
AT ITER 4805 NEW BEST:: SOT 1276169 SOS 589020 HAS SOPS 589020 HAS SOUS 296333 HAS SOUPS 296333 WITH SCORE 296922.02
AT ITER 4806 NEW BEST:: SOT 1275961 SOS 587649 HAS SOPS 587649 HAS SOUS 295578 HAS SOUPS 295578 WITH SCORE 296165.649
AT ITER 4817 NEW BEST:: SOT 1275904 SOS 587592 HAS SOPS 587592 HAS SOUS 295467 HAS SOUPS 295467 WITH SCORE 296054.592
AT ITER 4818 NEW BEST:: SOT 1275896 SOS 587584 HAS SOPS 587584 HAS SOUS 295451 HAS SOUPS 295451 WITH SCORE 296038.584
AT ITER 4829 NEW BEST:: SOT 1275881 SOS 587539 HAS SOPS 587539 HAS SOUS 295436 HAS SOUPS 295436 WITH SCORE 296023.539
AT ITER 4840 NEW BEST:: SOT 1275788 SOS 587629 HAS SOPS 587629 HAS SOUS 295427 HAS SOUPS 295427 WITH SCORE 296014.629
AT ITER 4844 NEW BEST:: SOT 1275788 SOS 587627 HAS SOPS 587627 HAS SOUS 295427 HAS SOUPS 295427 WITH SCORE 296014.627
AT ITER 4847 NEW BEST:: SOT 1275367 SOS 587038 HAS SOPS 587038 HAS SOUS 295076 HAS SOUPS 295076 WITH SCORE 295663.038
AT ITER 4857 NEW BEST:: SOT 1274988 SOS 586598 HAS SOPS 586598 HAS SOUS 295015 HAS SOUPS 295015 WITH SCORE 295601.598
AT ITER 4858 NEW BEST:: SOT 1274733 SOS 586103 HAS SOPS 586103 HAS SOUS 294922 HAS SOUPS 294922 WITH SCORE 295508.103
AT ITER 4868 NEW BEST:: SOT 1274256 SOS 584014 HAS SOPS 584014 HAS SOUS 294150 HAS SOUPS 294150 WITH SCORE 294734.014
AT ITER 4869 NEW BEST:: SOT 1274251 SOS 583951 HAS SOPS 583951 HAS SOUS 294091 HAS SOUPS 294091 WITH SCORE 294674.951
AT ITER 4885 NEW BEST:: SOT 1274186 SOS 583777 HAS SOPS 583777 HAS SOUS 293967 HAS SOUPS 293967 WITH SCORE 294550.777
AT ITER 4892 NEW BEST:: SOT 1274186 SOS 583777 HAS SOPS 583777 HAS SOUS 293944 HAS SOUPS 293944 WITH SCORE 294527.777
AT ITER 4903 NEW BEST:: SOT 1274029 SOS 583349 HAS SOPS 583349 HAS SOUS 293496 HAS SOUPS 293496 WITH SCORE 294079.349
AT ITER 4909 NEW BEST:: SOT 1273929 SOS 583249 HAS SOPS 583249 HAS SOUS 293396 HAS SOUPS 293396 WITH SCORE 293979.249
AT ITER 4918 NEW BEST:: SOT 1274139 SOS 583478 HAS SOPS 583478 HAS SOUS 293084 HAS SOUPS 293084 WITH SCORE 293667.478
AT ITER 4921 NEW BEST:: SOT 1274139 SOS 583412 HAS SOPS 583412 HAS SOUS 293051 HAS SOUPS 293051 WITH SCORE 293634.412
AT ITER 4937 NEW BEST:: SOT 1274000 SOS 582997 HAS SOPS 582997 HAS SOUS 292773 HAS SOUPS 292773 WITH SCORE 293355.997
AT ITER 4938 NEW BEST:: SOT 1273922 SOS 582885 HAS SOPS 582885 HAS SOUS 292695 HAS SOUPS 292695 WITH SCORE 293277.885
AT ITER 4947 NEW BEST:: SOT 1273922 SOS 582804 HAS SOPS 582804 HAS SOUS 292614 HAS SOUPS 292614 WITH SCORE 293196.804
AT ITER 4963 NEW BEST:: SOT 1273922 SOS 582701 HAS SOPS 582701 HAS SOUS 292408 HAS SOUPS 292408 WITH SCORE 292990.701
AT ITER 4964 NEW BEST:: SOT 1273922 SOS 582715 HAS SOPS 582715 HAS SOUS 292062 HAS SOUPS 292062 WITH SCORE 292644.715
AT ITER 4973 NEW BEST:: SOT 1273922 SOS 582579 HAS SOPS 582579 HAS SOUS 292062 HAS SOUPS 292062 WITH SCORE 292644.579
AT ITER 4977 NEW BEST:: SOT 1273912 SOS 582559 HAS SOPS 582559 HAS SOUS 291998 HAS SOUPS 291998 WITH SCORE 292580.559
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-00 (EU( (! (AX( ((potential((tk(P602)>=1))))))) , ((potential((tk(P846)>=1)))) ))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-01 (! ( (! ( (EF( ((potential((tk(P796)>=1) & (tk(P1399)>=1)))))) | ( ( ((potential((tk(P543)>=1)))) | ((potential((tk(P525)>=1)))) ) | ((potential((tk(P807)>=1) & (tk(P274)>=1) & (tk(P1094)>=1)))) ) )) | (AF( ( ( ((potential((tk(P902)>=1)))) & ((potential((tk(P654)>=1) & (tk(P207)>=1) & (tk(P1229)>=1)))) ) & ( ((potential((tk(P143)>=1)))) & ((potential((tk(P11)>=1)))) ) ))) ))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-02 (AF( ( (! (EF( ((potential((tk(P896)>=1) & (tk(P1399)>=1))))))) & ((potential((tk(P143)>=1)))) )))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-03 (AX( (! (EG( (! ((potential((tk(P624)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-04 (EF( ( ((potential((tk(P1008)>=1)))) & ( ( ( ((potential((tk(P36)>=1)))) & ((potential((tk(P83)>=1) & (tk(P1400)>=1)))) ) & ( ((potential((tk(P567)>=1)))) & ((potential((tk(P662)>=1) & (tk(P407)>=1) & (tk(P1239)>=1)))) ) ) | (EF( ((potential((tk(P477)>=1)))))) ) )))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-05 (AF( ( ( (EX( ((potential((tk(P1321)>=1)))))) & (AX( ((potential((tk(P1388)>=1)))))) ) | (EG( (! ((potential((tk(P1388)>=1))))))) )))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-06 ( ( ( (! ((potential((tk(P1173)>=1))))) & ( ( ((potential((tk(P282)>=1)))) & ( ((potential((tk(P1065)>=1)))) | ((potential((tk(P1388)>=1)))) ) ) & ( ((potential((tk(P88)>=1)))) & ((potential((tk(P1153)>=1)))) ) ) ) & (! (AU( ((potential((tk(P1388)>=1)))) , ((potential((tk(P564)>=1) & (tk(P507)>=1) & (tk(P1204)>=1)))) ))) ) | ( (! (AF( ((potential((tk(P1121)>=1))))))) & (AF( ( ( ((potential((tk(P105)>=1)))) & ((potential((tk(P432)>=1)))) ) & (! ((potential((tk(P772)>=1) & (tk(P707)>=1) & (tk(P1294)>=1))))) ))) ) )
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-07 (AG( (EU( (! ((potential((tk(P807)>=1) & (tk(P672)>=1) & (tk(P1254)>=1))))) , ( ((potential((tk(P402)>=1)))) & ((potential((tk(P807)>=1) & (tk(P272)>=1) & (tk(P1094)>=1)))) ) ))))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-08 (AF( (! (! (AX( ((potential((tk(P1071)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-09 (! (EF( ((potential((tk(P456)>=1) & (tk(P307)>=1) & (tk(P1154)>=1)))))))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-10 (AF( ( ((potential((tk(P715)>=1)))) & (! ( ((potential((tk(P215)>=1)))) & (! ((potential((tk(P208)>=1))))) )) )))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-11 ( ((potential((tk(P75)>=1)))) | (! (! (AF( ( ((potential((tk(P210)>=1)))) & ((potential((tk(P302)>=1)))) ))))) )
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-12 ( (AF( ((potential((tk(P1230)>=1)))))) | ((potential((tk(P484)>=1)))) )
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-13 ( (AU( (EF( ((potential((tk(P815)>=1)))))) , (AX( ((potential((tk(P930)>=1) & (tk(P507)>=1) & (tk(P1364)>=1)))))) )) | ( (AX( (! ((potential((tk(P702)>=1))))))) & ((potential((tk(P972)>=1)))) ) )
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-14 (EU( (! (EG( ((potential((tk(P1246)>=1))))))) , ( (EG( ((potential((tk(P630)>=1)))))) | (EX( ((potential((tk(P743)>=1)))))) ) ))
PROPERTY: FlexibleBarrier-PT-10b-CTLFireability-15 (AG( (EF( (EG( ((potential((tk(P1273)>=1))))))))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-10b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-10b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972400316"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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