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-158922972400315.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400315
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-01
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-02
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-03
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-04
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-05
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-06
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-07
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-08
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-09
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-10
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-11
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-12
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-13
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-14
FORMULA_NAME FlexibleBarrier-PT-10b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589413091101

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 10b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 1483630 SOS 790239 HAS SOPS 790239 HAS SOUS 584546 HAS SOUPS 584546 WITH SCORE 585336.239
AT ITER 5 NEW BEST:: SOT 1483630 SOS 789947 HAS SOPS 789947 HAS SOUS 584546 HAS SOUPS 584546 WITH SCORE 585335.947
AT ITER 10 NEW BEST:: SOT 1483630 SOS 789942 HAS SOPS 789942 HAS SOUS 584546 HAS SOUPS 584546 WITH SCORE 585335.942
AT ITER 11 NEW BEST:: SOT 1484074 SOS 789053 HAS SOPS 789053 HAS SOUS 584400 HAS SOUPS 584400 WITH SCORE 585189.053
AT ITER 14 NEW BEST:: SOT 1483755 SOS 787452 HAS SOPS 787452 HAS SOUS 583366 HAS SOUPS 583366 WITH SCORE 584153.452
AT ITER 16 NEW BEST:: SOT 1483499 SOS 785918 HAS SOPS 785918 HAS SOUS 582470 HAS SOUPS 582470 WITH SCORE 583255.918
AT ITER 20 NEW BEST:: SOT 1483499 SOS 785236 HAS SOPS 785236 HAS SOUS 582179 HAS SOUPS 582179 WITH SCORE 582964.236
AT ITER 25 NEW BEST:: SOT 1483102 SOS 783449 HAS SOPS 783449 HAS SOUS 581086 HAS SOUPS 581086 WITH SCORE 581869.449
AT ITER 26 NEW BEST:: SOT 1483302 SOS 782513 HAS SOPS 782513 HAS SOUS 580979 HAS SOUPS 580979 WITH SCORE 581761.513
AT ITER 28 NEW BEST:: SOT 1482838 SOS 781585 HAS SOPS 781585 HAS SOUS 580750 HAS SOUPS 580750 WITH SCORE 581531.585
AT ITER 29 NEW BEST:: SOT 1482239 SOS 781111 HAS SOPS 781111 HAS SOUS 579853 HAS SOUPS 579853 WITH SCORE 580634.111
AT ITER 31 NEW BEST:: SOT 1472260 SOS 771719 HAS SOPS 771719 HAS SOUS 570461 HAS SOUPS 570461 WITH SCORE 571232.719
AT ITER 32 NEW BEST:: SOT 1471927 SOS 771053 HAS SOPS 771053 HAS SOUS 570126 HAS SOUPS 570126 WITH SCORE 570897.053
AT ITER 36 NEW BEST:: SOT 1471261 SOS 768389 HAS SOPS 768389 HAS SOUS 569040 HAS SOUPS 569040 WITH SCORE 569808.389
AT ITER 39 NEW BEST:: SOT 1471261 SOS 768389 HAS SOPS 768389 HAS SOUS 569039 HAS SOUPS 569039 WITH SCORE 569807.389
AT ITER 45 NEW BEST:: SOT 1470966 SOS 768343 HAS SOPS 768343 HAS SOUS 568979 HAS SOUPS 568979 WITH SCORE 569747.343
AT ITER 51 NEW BEST:: SOT 1470743 SOS 767897 HAS SOPS 767897 HAS SOUS 568760 HAS SOUPS 568760 WITH SCORE 569527.897
AT ITER 57 NEW BEST:: SOT 1470743 SOS 767561 HAS SOPS 767561 HAS SOUS 568550 HAS SOUPS 568550 WITH SCORE 569317.561
AT ITER 59 NEW BEST:: SOT 1470743 SOS 767561 HAS SOPS 767561 HAS SOUS 568524 HAS SOUPS 568524 WITH SCORE 569291.561
AT ITER 72 NEW BEST:: SOT 1470474 SOS 765971 HAS SOPS 765971 HAS SOUS 567621 HAS SOUPS 567621 WITH SCORE 568386.971
AT ITER 79 NEW BEST:: SOT 1470211 SOS 765396 HAS SOPS 765396 HAS SOUS 567219 HAS SOUPS 567219 WITH SCORE 567984.396
AT ITER 80 NEW BEST:: SOT 1470358 SOS 765144 HAS SOPS 765144 HAS SOUS 566967 HAS SOUPS 566967 WITH SCORE 567732.144
AT ITER 84 NEW BEST:: SOT 1470152 SOS 764732 HAS SOPS 764732 HAS SOUS 566555 HAS SOUPS 566555 WITH SCORE 567319.732
AT ITER 86 NEW BEST:: SOT 1469854 SOS 763838 HAS SOPS 763838 HAS SOUS 565959 HAS SOUPS 565959 WITH SCORE 566722.838
AT ITER 89 NEW BEST:: SOT 1463401 SOS 764090 HAS SOPS 764090 HAS SOUS 559736 HAS SOUPS 559736 WITH SCORE 560500.09
AT ITER 92 NEW BEST:: SOT 1463214 SOS 763342 HAS SOPS 763342 HAS SOUS 559362 HAS SOUPS 559362 WITH SCORE 560125.342
AT ITER 93 NEW BEST:: SOT 1463214 SOS 762993 HAS SOPS 762993 HAS SOUS 558942 HAS SOUPS 558942 WITH SCORE 559704.993
AT ITER 96 NEW BEST:: SOT 1463214 SOS 762015 HAS SOPS 762015 HAS SOUS 558942 HAS SOUPS 558942 WITH SCORE 559704.015
AT ITER 97 NEW BEST:: SOT 1462857 SOS 760298 HAS SOPS 760298 HAS SOUS 557904 HAS SOUPS 557904 WITH SCORE 558664.298
AT ITER 100 NEW BEST:: SOT 1462216 SOS 757734 HAS SOPS 757734 HAS SOUS 556841 HAS SOUPS 556841 WITH SCORE 557598.734
AT ITER 103 NEW BEST:: SOT 1462229 SOS 757350 HAS SOPS 757350 HAS SOUS 556829 HAS SOUPS 556829 WITH SCORE 557586.35
AT ITER 105 NEW BEST:: SOT 1461987 SOS 756866 HAS SOPS 756866 HAS SOUS 556587 HAS SOUPS 556587 WITH SCORE 557343.866
AT ITER 106 NEW BEST:: SOT 1461937 SOS 756716 HAS SOPS 756716 HAS SOUS 556487 HAS SOUPS 556487 WITH SCORE 557243.716
AT ITER 109 NEW BEST:: SOT 1461866 SOS 756574 HAS SOPS 756574 HAS SOUS 556469 HAS SOUPS 556469 WITH SCORE 557225.574
AT ITER 113 NEW BEST:: SOT 1461348 SOS 755538 HAS SOPS 755538 HAS SOUS 556098 HAS SOUPS 556098 WITH SCORE 556853.538
AT ITER 118 NEW BEST:: SOT 1460996 SOS 755261 HAS SOPS 755261 HAS SOUS 555409 HAS SOUPS 555409 WITH SCORE 556164.261
AT ITER 119 NEW BEST:: SOT 1461050 SOS 754287 HAS SOPS 754287 HAS SOUS 555170 HAS SOUPS 555170 WITH SCORE 555924.287
AT ITER 120 NEW BEST:: SOT 1461050 SOS 753725 HAS SOPS 753725 HAS SOUS 555170 HAS SOUPS 555170 WITH SCORE 555923.725
AT ITER 129 NEW BEST:: SOT 1461050 SOS 753437 HAS SOPS 753437 HAS SOUS 554926 HAS SOUPS 554926 WITH SCORE 555679.437
AT ITER 133 NEW BEST:: SOT 1460985 SOS 753248 HAS SOPS 753248 HAS SOUS 554861 HAS SOUPS 554861 WITH SCORE 555614.248
AT ITER 136 NEW BEST:: SOT 1460943 SOS 753164 HAS SOPS 753164 HAS SOUS 554818 HAS SOUPS 554818 WITH SCORE 555571.164
AT ITER 137 NEW BEST:: SOT 1460933 SOS 752654 HAS SOPS 752654 HAS SOUS 554452 HAS SOUPS 554452 WITH SCORE 555204.654
AT ITER 141 NEW BEST:: SOT 1460269 SOS 752797 HAS SOPS 752797 HAS SOUS 554268 HAS SOUPS 554268 WITH SCORE 555020.797
AT ITER 143 NEW BEST:: SOT 1459853 SOS 751133 HAS SOPS 751133 HAS SOUS 553851 HAS SOUPS 553851 WITH SCORE 554602.133
AT ITER 144 NEW BEST:: SOT 1459790 SOS 751007 HAS SOPS 751007 HAS SOUS 553788 HAS SOUPS 553788 WITH SCORE 554539.007
AT ITER 146 NEW BEST:: SOT 1459706 SOS 751007 HAS SOPS 751007 HAS SOUS 553787 HAS SOUPS 553787 WITH SCORE 554538.007
AT ITER 149 NEW BEST:: SOT 1459496 SOS 750377 HAS SOPS 750377 HAS SOUS 553367 HAS SOUPS 553367 WITH SCORE 554117.377
AT ITER 151 NEW BEST:: SOT 1459447 SOS 750279 HAS SOPS 750279 HAS SOUS 553220 HAS SOUPS 553220 WITH SCORE 553970.279
AT ITER 152 NEW BEST:: SOT 1459044 SOS 749882 HAS SOPS 749882 HAS SOUS 553104 HAS SOUPS 553104 WITH SCORE 553853.882
AT ITER 156 NEW BEST:: SOT 1458767 SOS 748774 HAS SOPS 748774 HAS SOUS 552550 HAS SOUPS 552550 WITH SCORE 553298.774
AT ITER 162 NEW BEST:: SOT 1458767 SOS 747346 HAS SOPS 747346 HAS SOUS 552550 HAS SOUPS 552550 WITH SCORE 553297.346
AT ITER 163 NEW BEST:: SOT 1458767 SOS 747278 HAS SOPS 747278 HAS SOUS 552516 HAS SOUPS 552516 WITH SCORE 553263.278
AT ITER 166 NEW BEST:: SOT 1457231 SOS 745840 HAS SOPS 745840 HAS SOUS 550980 HAS SOUPS 550980 WITH SCORE 551725.84
AT ITER 167 NEW BEST:: SOT 1456773 SOS 744924 HAS SOPS 744924 HAS SOUS 550521 HAS SOUPS 550521 WITH SCORE 551265.924
AT ITER 172 NEW BEST:: SOT 1456511 SOS 744400 HAS SOPS 744400 HAS SOUS 550259 HAS SOUPS 550259 WITH SCORE 551003.4
AT ITER 178 NEW BEST:: SOT 1456511 SOS 744184 HAS SOPS 744184 HAS SOUS 550256 HAS SOUPS 550256 WITH SCORE 551000.184
AT ITER 180 NEW BEST:: SOT 1456511 SOS 743931 HAS SOPS 743931 HAS SOUS 550094 HAS SOUPS 550094 WITH SCORE 550837.931
AT ITER 182 NEW BEST:: SOT 1456511 SOS 743572 HAS SOPS 743572 HAS SOUS 549925 HAS SOUPS 549925 WITH SCORE 550668.572
AT ITER 185 NEW BEST:: SOT 1455943 SOS 741300 HAS SOPS 741300 HAS SOUS 548999 HAS SOUPS 548999 WITH SCORE 549740.3
AT ITER 186 NEW BEST:: SOT 1451886 SOS 740463 HAS SOPS 740463 HAS SOUS 545427 HAS SOUPS 545427 WITH SCORE 546167.463
AT ITER 187 NEW BEST:: SOT 1451855 SOS 740401 HAS SOPS 740401 HAS SOUS 545238 HAS SOUPS 545238 WITH SCORE 545978.401
AT ITER 188 NEW BEST:: SOT 1451695 SOS 738927 HAS SOPS 738927 HAS SOUS 544913 HAS SOUPS 544913 WITH SCORE 545651.927
AT ITER 192 NEW BEST:: SOT 1440737 SOS 728373 HAS SOPS 728373 HAS SOUS 533954 HAS SOUPS 533954 WITH SCORE 534682.373
AT ITER 198 NEW BEST:: SOT 1440667 SOS 728233 HAS SOPS 728233 HAS SOUS 533916 HAS SOUPS 533916 WITH SCORE 534644.233
AT ITER 202 NEW BEST:: SOT 1440258 SOS 726931 HAS SOPS 726931 HAS SOUS 533901 HAS SOUPS 533901 WITH SCORE 534627.931
AT ITER 203 NEW BEST:: SOT 1440175 SOS 726765 HAS SOPS 726765 HAS SOUS 533818 HAS SOUPS 533818 WITH SCORE 534544.765
AT ITER 204 NEW BEST:: SOT 1440175 SOS 726765 HAS SOPS 726765 HAS SOUS 533250 HAS SOUPS 533250 WITH SCORE 533976.765
AT ITER 207 NEW BEST:: SOT 1440188 SOS 726244 HAS SOPS 726244 HAS SOUS 532680 HAS SOUPS 532680 WITH SCORE 533406.244
AT ITER 214 NEW BEST:: SOT 1440188 SOS 726244 HAS SOPS 726244 HAS SOUS 532679 HAS SOUPS 532679 WITH SCORE 533405.244
AT ITER 215 NEW BEST:: SOT 1440188 SOS 726173 HAS SOPS 726173 HAS SOUS 532663 HAS SOUPS 532663 WITH SCORE 533389.173
AT ITER 217 NEW BEST:: SOT 1440188 SOS 725959 HAS SOPS 725959 HAS SOUS 532662 HAS SOUPS 532662 WITH SCORE 533387.959
AT ITER 220 NEW BEST:: SOT 1440188 SOS 725959 HAS SOPS 725959 HAS SOUS 532660 HAS SOUPS 532660 WITH SCORE 533385.959
AT ITER 223 NEW BEST:: SOT 1434281 SOS 721042 HAS SOPS 721042 HAS SOUS 526753 HAS SOUPS 526753 WITH SCORE 527474.042
AT ITER 227 NEW BEST:: SOT 1434281 SOS 721042 HAS SOPS 721042 HAS SOUS 526735 HAS SOUPS 526735 WITH SCORE 527456.042
AT ITER 235 NEW BEST:: SOT 1434322 SOS 720640 HAS SOPS 720640 HAS SOUS 526542 HAS SOUPS 526542 WITH SCORE 527262.64
AT ITER 236 NEW BEST:: SOT 1434168 SOS 720178 HAS SOPS 720178 HAS SOUS 526388 HAS SOUPS 526388 WITH SCORE 527108.178
AT ITER 240 NEW BEST:: SOT 1434168 SOS 719525 HAS SOPS 719525 HAS SOUS 526388 HAS SOUPS 526388 WITH SCORE 527107.525
AT ITER 242 NEW BEST:: SOT 1434531 SOS 718505 HAS SOPS 718505 HAS SOUS 526123 HAS SOUPS 526123 WITH SCORE 526841.505
AT ITER 243 NEW BEST:: SOT 1434189 SOS 717071 HAS SOPS 717071 HAS SOUS 525420 HAS SOUPS 525420 WITH SCORE 526137.071
AT ITER 247 NEW BEST:: SOT 1433554 SOS 714485 HAS SOPS 714485 HAS SOUS 524250 HAS SOUPS 524250 WITH SCORE 524964.485
AT ITER 250 NEW BEST:: SOT 1433542 SOS 714907 HAS SOPS 714907 HAS SOUS 524237 HAS SOUPS 524237 WITH SCORE 524951.907
AT ITER 267 NEW BEST:: SOT 1433465 SOS 714753 HAS SOPS 714753 HAS SOUS 523681 HAS SOUPS 523681 WITH SCORE 524395.753
AT ITER 269 NEW BEST:: SOT 1433423 SOS 714346 HAS SOPS 714346 HAS SOUS 523442 HAS SOUPS 523442 WITH SCORE 524156.346
AT ITER 270 NEW BEST:: SOT 1433330 SOS 714160 HAS SOPS 714160 HAS SOUS 523438 HAS SOUPS 523438 WITH SCORE 524152.16
AT ITER 273 NEW BEST:: SOT 1433085 SOS 713670 HAS SOPS 713670 HAS SOUS 523193 HAS SOUPS 523193 WITH SCORE 523906.67
AT ITER 274 NEW BEST:: SOT 1433085 SOS 713670 HAS SOPS 713670 HAS SOUS 522937 HAS SOUPS 522937 WITH SCORE 523650.67
AT ITER 284 NEW BEST:: SOT 1432476 SOS 713201 HAS SOPS 713201 HAS SOUS 522001 HAS SOUPS 522001 WITH SCORE 522714.201
AT ITER 287 NEW BEST:: SOT 1432317 SOS 713249 HAS SOPS 713249 HAS SOUS 521953 HAS SOUPS 521953 WITH SCORE 522666.249
AT ITER 289 NEW BEST:: SOT 1432035 SOS 713068 HAS SOPS 713068 HAS SOUS 521671 HAS SOUPS 521671 WITH SCORE 522384.068
AT ITER 292 NEW BEST:: SOT 1431885 SOS 712768 HAS SOPS 712768 HAS SOUS 521371 HAS SOUPS 521371 WITH SCORE 522083.768
AT ITER 294 NEW BEST:: SOT 1431510 SOS 711622 HAS SOPS 711622 HAS SOUS 521018 HAS SOUPS 521018 WITH SCORE 521729.622
AT ITER 297 NEW BEST:: SOT 1431461 SOS 711524 HAS SOPS 711524 HAS SOUS 520967 HAS SOUPS 520967 WITH SCORE 521678.524
AT ITER 298 NEW BEST:: SOT 1428475 SOS 729359 HAS SOPS 729359 HAS SOUS 520212 HAS SOUPS 520212 WITH SCORE 520941.359
AT ITER 301 NEW BEST:: SOT 1428598 SOS 728420 HAS SOPS 728420 HAS SOUS 519921 HAS SOUPS 519921 WITH SCORE 520649.42
AT ITER 310 NEW BEST:: SOT 1428373 SOS 728391 HAS SOPS 728391 HAS SOUS 519722 HAS SOUPS 519722 WITH SCORE 520450.391
AT ITER 316 NEW BEST:: SOT 1428128 SOS 728154 HAS SOPS 728154 HAS SOUS 519522 HAS SOUPS 519522 WITH SCORE 520250.154
AT ITER 320 NEW BEST:: SOT 1427686 SOS 725728 HAS SOPS 725728 HAS SOUS 518833 HAS SOUPS 518833 WITH SCORE 519558.728
AT ITER 321 NEW BEST:: SOT 1427198 SOS 723776 HAS SOPS 723776 HAS SOUS 518180 HAS SOUPS 518180 WITH SCORE 518903.776
AT ITER 329 NEW BEST:: SOT 1427287 SOS 723865 HAS SOPS 723865 HAS SOUS 517852 HAS SOUPS 517852 WITH SCORE 518575.865
AT ITER 332 NEW BEST:: SOT 1427287 SOS 723865 HAS SOPS 723865 HAS SOUS 517851 HAS SOUPS 517851 WITH SCORE 518574.865
AT ITER 333 NEW BEST:: SOT 1427241 SOS 723773 HAS SOPS 723773 HAS SOUS 517759 HAS SOUPS 517759 WITH SCORE 518482.773
AT ITER 334 NEW BEST:: SOT 1427432 SOS 723251 HAS SOPS 723251 HAS SOUS 517733 HAS SOUPS 517733 WITH SCORE 518456.251
AT ITER 337 NEW BEST:: SOT 1427432 SOS 722846 HAS SOPS 722846 HAS SOUS 517395 HAS SOUPS 517395 WITH SCORE 518117.846
AT ITER 348 NEW BEST:: SOT 1427107 SOS 722846 HAS SOPS 722846 HAS SOUS 517072 HAS SOUPS 517072 WITH SCORE 517794.846
AT ITER 355 NEW BEST:: SOT 1426659 SOS 721502 HAS SOPS 721502 HAS SOUS 515891 HAS SOUPS 515891 WITH SCORE 516612.502
AT ITER 362 NEW BEST:: SOT 1425858 SOS 720374 HAS SOPS 720374 HAS SOUS 514919 HAS SOUPS 514919 WITH SCORE 515639.374
AT ITER 366 NEW BEST:: SOT 1425763 SOS 719775 HAS SOPS 719775 HAS SOUS 514559 HAS SOUPS 514559 WITH SCORE 515278.775
AT ITER 368 NEW BEST:: SOT 1425212 SOS 718673 HAS SOPS 718673 HAS SOUS 514250 HAS SOUPS 514250 WITH SCORE 514968.673
AT ITER 371 NEW BEST:: SOT 1425212 SOS 718673 HAS SOPS 718673 HAS SOUS 514162 HAS SOUPS 514162 WITH SCORE 514880.673
AT ITER 372 NEW BEST:: SOT 1418738 SOS 736183 HAS SOPS 736183 HAS SOUS 508532 HAS SOUPS 508532 WITH SCORE 509268.183
AT ITER 374 NEW BEST:: SOT 1418816 SOS 736160 HAS SOPS 736160 HAS SOUS 508431 HAS SOUPS 508431 WITH SCORE 509167.16
AT ITER 380 NEW BEST:: SOT 1417642 SOS 740000 HAS SOPS 740000 HAS SOUS 507208 HAS SOUPS 507208 WITH SCORE 507948.0
AT ITER 382 NEW BEST:: SOT 1417571 SOS 739914 HAS SOPS 739914 HAS SOUS 507089 HAS SOUPS 507089 WITH SCORE 507828.914
AT ITER 387 NEW BEST:: SOT 1417449 SOS 739426 HAS SOPS 739426 HAS SOUS 506723 HAS SOUPS 506723 WITH SCORE 507462.426
AT ITER 388 NEW BEST:: SOT 1417080 SOS 739068 HAS SOPS 739068 HAS SOUS 506339 HAS SOUPS 506339 WITH SCORE 507078.068
AT ITER 391 NEW BEST:: SOT 1417306 SOS 738525 HAS SOPS 738525 HAS SOUS 505944 HAS SOUPS 505944 WITH SCORE 506682.525
AT ITER 393 NEW BEST:: SOT 1417306 SOS 738525 HAS SOPS 738525 HAS SOUS 505667 HAS SOUPS 505667 WITH SCORE 506405.525
AT ITER 397 NEW BEST:: SOT 1417306 SOS 738525 HAS SOPS 738525 HAS SOUS 505253 HAS SOUPS 505253 WITH SCORE 505991.525
AT ITER 407 NEW BEST:: SOT 1417202 SOS 738317 HAS SOPS 738317 HAS SOUS 505148 HAS SOUPS 505148 WITH SCORE 505886.317
AT ITER 410 NEW BEST:: SOT 1417142 SOS 737625 HAS SOPS 737625 HAS SOUS 504539 HAS SOUPS 504539 WITH SCORE 505276.625
AT ITER 417 NEW BEST:: SOT 1417142 SOS 737381 HAS SOPS 737381 HAS SOUS 504417 HAS SOUPS 504417 WITH SCORE 505154.381
AT ITER 421 NEW BEST:: SOT 1416666 SOS 736429 HAS SOPS 736429 HAS SOUS 503941 HAS SOUPS 503941 WITH SCORE 504677.429
AT ITER 425 NEW BEST:: SOT 1416666 SOS 736429 HAS SOPS 736429 HAS SOUS 503939 HAS SOUPS 503939 WITH SCORE 504675.429
AT ITER 427 NEW BEST:: SOT 1416778 SOS 736295 HAS SOPS 736295 HAS SOUS 503449 HAS SOUPS 503449 WITH SCORE 504185.295
AT ITER 430 NEW BEST:: SOT 1416580 SOS 734877 HAS SOPS 734877 HAS SOUS 503432 HAS SOUPS 503432 WITH SCORE 504166.877
AT ITER 432 NEW BEST:: SOT 1416080 SOS 732345 HAS SOPS 732345 HAS SOUS 502701 HAS SOUPS 502701 WITH SCORE 503433.345
AT ITER 439 NEW BEST:: SOT 1416383 SOS 731887 HAS SOPS 731887 HAS SOUS 502648 HAS SOUPS 502648 WITH SCORE 503379.887
AT ITER 444 NEW BEST:: SOT 1416383 SOS 731887 HAS SOPS 731887 HAS SOUS 502645 HAS SOUPS 502645 WITH SCORE 503376.887
AT ITER 445 NEW BEST:: SOT 1416383 SOS 731239 HAS SOPS 731239 HAS SOUS 502358 HAS SOUPS 502358 WITH SCORE 503089.239
AT ITER 446 NEW BEST:: SOT 1416346 SOS 730690 HAS SOPS 730690 HAS SOUS 501709 HAS SOUPS 501709 WITH SCORE 502439.69
AT ITER 452 NEW BEST:: SOT 1416165 SOS 729130 HAS SOPS 729130 HAS SOUS 501065 HAS SOUPS 501065 WITH SCORE 501794.13
AT ITER 453 NEW BEST:: SOT 1416105 SOS 728304 HAS SOPS 728304 HAS SOUS 500837 HAS SOUPS 500837 WITH SCORE 501565.304
AT ITER 454 NEW BEST:: SOT 1415952 SOS 726734 HAS SOPS 726734 HAS SOUS 500111 HAS SOUPS 500111 WITH SCORE 500837.734
AT ITER 455 NEW BEST:: SOT 1416097 SOS 726507 HAS SOPS 726507 HAS SOUS 500100 HAS SOUPS 500100 WITH SCORE 500826.507
AT ITER 461 NEW BEST:: SOT 1416097 SOS 726507 HAS SOPS 726507 HAS SOUS 500071 HAS SOUPS 500071 WITH SCORE 500797.507
AT ITER 462 NEW BEST:: SOT 1415888 SOS 725357 HAS SOPS 725357 HAS SOUS 499130 HAS SOUPS 499130 WITH SCORE 499855.357
AT ITER 464 NEW BEST:: SOT 1414789 SOS 724085 HAS SOPS 724085 HAS SOUS 498072 HAS SOUPS 498072 WITH SCORE 498796.085
AT ITER 473 NEW BEST:: SOT 1414743 SOS 724039 HAS SOPS 724039 HAS SOUS 498026 HAS SOUPS 498026 WITH SCORE 498750.039
AT ITER 478 NEW BEST:: SOT 1414540 SOS 723836 HAS SOPS 723836 HAS SOUS 497823 HAS SOUPS 497823 WITH SCORE 498546.836
AT ITER 488 NEW BEST:: SOT 1414262 SOS 723008 HAS SOPS 723008 HAS SOUS 497757 HAS SOUPS 497757 WITH SCORE 498480.008
AT ITER 495 NEW BEST:: SOT 1413833 SOS 722150 HAS SOPS 722150 HAS SOUS 497621 HAS SOUPS 497621 WITH SCORE 498343.15
AT ITER 501 NEW BEST:: SOT 1413833 SOS 722150 HAS SOPS 722150 HAS SOUS 497495 HAS SOUPS 497495 WITH SCORE 498217.15
AT ITER 516 NEW BEST:: SOT 1413160 SOS 721494 HAS SOPS 721494 HAS SOUS 496943 HAS SOUPS 496943 WITH SCORE 497664.494
AT ITER 517 NEW BEST:: SOT 1412604 SOS 720404 HAS SOPS 720404 HAS SOUS 496546 HAS SOUPS 496546 WITH SCORE 497266.404
AT ITER 530 NEW BEST:: SOT 1412604 SOS 720404 HAS SOPS 720404 HAS SOUS 495942 HAS SOUPS 495942 WITH SCORE 496662.404
AT ITER 532 NEW BEST:: SOT 1412604 SOS 720071 HAS SOPS 720071 HAS SOUS 495933 HAS SOUPS 495933 WITH SCORE 496653.071
AT ITER 534 NEW BEST:: SOT 1412195 SOS 719253 HAS SOPS 719253 HAS SOUS 495523 HAS SOUPS 495523 WITH SCORE 496242.253
AT ITER 535 NEW BEST:: SOT 1412195 SOS 719248 HAS SOPS 719248 HAS SOUS 495518 HAS SOUPS 495518 WITH SCORE 496237.248
AT ITER 539 NEW BEST:: SOT 1412195 SOS 718712 HAS SOPS 718712 HAS SOUS 495413 HAS SOUPS 495413 WITH SCORE 496131.712
AT ITER 541 NEW BEST:: SOT 1412183 SOS 716189 HAS SOPS 716189 HAS SOUS 495389 HAS SOUPS 495389 WITH SCORE 496105.189
AT ITER 546 NEW BEST:: SOT 1412183 SOS 716189 HAS SOPS 716189 HAS SOUS 495371 HAS SOUPS 495371 WITH SCORE 496087.189
AT ITER 552 NEW BEST:: SOT 1407591 SOS 712088 HAS SOPS 712088 HAS SOUS 490779 HAS SOUPS 490779 WITH SCORE 491491.088
AT ITER 560 NEW BEST:: SOT 1407294 SOS 711494 HAS SOPS 711494 HAS SOUS 490481 HAS SOUPS 490481 WITH SCORE 491192.494
AT ITER 562 NEW BEST:: SOT 1407189 SOS 711341 HAS SOPS 711341 HAS SOUS 490328 HAS SOUPS 490328 WITH SCORE 491039.341
AT ITER 568 NEW BEST:: SOT 1406909 SOS 709704 HAS SOPS 709704 HAS SOUS 489751 HAS SOUPS 489751 WITH SCORE 490460.704
AT ITER 580 NEW BEST:: SOT 1406937 SOS 708250 HAS SOPS 708250 HAS SOUS 489570 HAS SOUPS 489570 WITH SCORE 490278.25
AT ITER 582 NEW BEST:: SOT 1406516 SOS 706566 HAS SOPS 706566 HAS SOUS 488916 HAS SOUPS 488916 WITH SCORE 489622.566
AT ITER 584 NEW BEST:: SOT 1405962 SOS 705458 HAS SOPS 705458 HAS SOUS 487618 HAS SOUPS 487618 WITH SCORE 488323.458
AT ITER 586 NEW BEST:: SOT 1405946 SOS 705176 HAS SOPS 705176 HAS SOUS 487585 HAS SOUPS 487585 WITH SCORE 488290.176
AT ITER 587 NEW BEST:: SOT 1405603 SOS 704490 HAS SOPS 704490 HAS SOUS 487577 HAS SOUPS 487577 WITH SCORE 488281.49
AT ITER 589 NEW BEST:: SOT 1405600 SOS 704481 HAS SOPS 704481 HAS SOUS 487571 HAS SOUPS 487571 WITH SCORE 488275.481
AT ITER 590 NEW BEST:: SOT 1405600 SOS 704139 HAS SOPS 704139 HAS SOUS 487571 HAS SOUPS 487571 WITH SCORE 488275.139
AT ITER 595 NEW BEST:: SOT 1405494 SOS 704033 HAS SOPS 704033 HAS SOUS 487465 HAS SOUPS 487465 WITH SCORE 488169.033
AT ITER 611 NEW BEST:: SOT 1405275 SOS 703157 HAS SOPS 703157 HAS SOUS 487094 HAS SOUPS 487094 WITH SCORE 487797.157
AT ITER 616 NEW BEST:: SOT 1405275 SOS 702886 HAS SOPS 702886 HAS SOUS 486552 HAS SOUPS 486552 WITH SCORE 487254.886
AT ITER 617 NEW BEST:: SOT 1405275 SOS 702367 HAS SOPS 702367 HAS SOUS 486516 HAS SOUPS 486516 WITH SCORE 487218.367
AT ITER 621 NEW BEST:: SOT 1405336 SOS 702276 HAS SOPS 702276 HAS SOUS 486425 HAS SOUPS 486425 WITH SCORE 487127.276
AT ITER 623 NEW BEST:: SOT 1405310 SOS 701862 HAS SOPS 701862 HAS SOUS 486364 HAS SOUPS 486364 WITH SCORE 487065.862
AT ITER 624 NEW BEST:: SOT 1405310 SOS 701488 HAS SOPS 701488 HAS SOUS 486099 HAS SOUPS 486099 WITH SCORE 486800.488
AT ITER 625 NEW BEST:: SOT 1405159 SOS 699594 HAS SOPS 699594 HAS SOUS 485753 HAS SOUPS 485753 WITH SCORE 486452.594
AT ITER 629 NEW BEST:: SOT 1405064 SOS 699499 HAS SOPS 699499 HAS SOUS 485658 HAS SOUPS 485658 WITH SCORE 486357.499
AT ITER 631 NEW BEST:: SOT 1405123 SOS 698293 HAS SOPS 698293 HAS SOUS 484554 HAS SOUPS 484554 WITH SCORE 485252.293
AT ITER 636 NEW BEST:: SOT 1405007 SOS 697829 HAS SOPS 697829 HAS SOUS 484322 HAS SOUPS 484322 WITH SCORE 485019.829
AT ITER 639 NEW BEST:: SOT 1404721 SOS 696685 HAS SOPS 696685 HAS SOUS 483750 HAS SOUPS 483750 WITH SCORE 484446.685
AT ITER 643 NEW BEST:: SOT 1404721 SOS 695849 HAS SOPS 695849 HAS SOUS 483332 HAS SOUPS 483332 WITH SCORE 484027.849
AT ITER 653 NEW BEST:: SOT 1404269 SOS 694041 HAS SOPS 694041 HAS SOUS 482428 HAS SOUPS 482428 WITH SCORE 483122.041
AT ITER 657 NEW BEST:: SOT 1404431 SOS 694222 HAS SOPS 694222 HAS SOUS 482396 HAS SOUPS 482396 WITH SCORE 483090.222
AT ITER 658 NEW BEST:: SOT 1404216 SOS 693792 HAS SOPS 693792 HAS SOUS 482042 HAS SOUPS 482042 WITH SCORE 482735.792
AT ITER 666 NEW BEST:: SOT 1403992 SOS 693344 HAS SOPS 693344 HAS SOUS 481649 HAS SOUPS 481649 WITH SCORE 482342.344
AT ITER 673 NEW BEST:: SOT 1403979 SOS 693318 HAS SOPS 693318 HAS SOUS 481638 HAS SOUPS 481638 WITH SCORE 482331.318
AT ITER 677 NEW BEST:: SOT 1403949 SOS 693258 HAS SOPS 693258 HAS SOUS 481578 HAS SOUPS 481578 WITH SCORE 482271.258
AT ITER 679 NEW BEST:: SOT 1403958 SOS 690981 HAS SOPS 690981 HAS SOUS 481459 HAS SOUPS 481459 WITH SCORE 482149.981
AT ITER 681 NEW BEST:: SOT 1403810 SOS 690661 HAS SOPS 690661 HAS SOUS 480353 HAS SOUPS 480353 WITH SCORE 481043.661
AT ITER 683 NEW BEST:: SOT 1400886 SOS 688509 HAS SOPS 688509 HAS SOUS 477781 HAS SOUPS 477781 WITH SCORE 478469.509
AT ITER 685 NEW BEST:: SOT 1400886 SOS 688509 HAS SOPS 688509 HAS SOUS 477766 HAS SOUPS 477766 WITH SCORE 478454.509
AT ITER 691 NEW BEST:: SOT 1400818 SOS 688373 HAS SOPS 688373 HAS SOUS 477693 HAS SOUPS 477693 WITH SCORE 478381.373
AT ITER 692 NEW BEST:: SOT 1400246 SOS 687557 HAS SOPS 687557 HAS SOUS 477449 HAS SOUPS 477449 WITH SCORE 478136.557
AT ITER 693 NEW BEST:: SOT 1399793 SOS 687542 HAS SOPS 687542 HAS SOUS 477111 HAS SOUPS 477111 WITH SCORE 477798.542
AT ITER 694 NEW BEST:: SOT 1399612 SOS 687001 HAS SOPS 687001 HAS SOUS 476676 HAS SOUPS 476676 WITH SCORE 477363.001
AT ITER 700 NEW BEST:: SOT 1399612 SOS 686782 HAS SOPS 686782 HAS SOUS 476330 HAS SOUPS 476330 WITH SCORE 477016.782
AT ITER 714 NEW BEST:: SOT 1399612 SOS 686782 HAS SOPS 686782 HAS SOUS 476148 HAS SOUPS 476148 WITH SCORE 476834.782
AT ITER 717 NEW BEST:: SOT 1399129 SOS 681838 HAS SOPS 681838 HAS SOUS 475288 HAS SOUPS 475288 WITH SCORE 475969.838
AT ITER 719 NEW BEST:: SOT 1399115 SOS 681824 HAS SOPS 681824 HAS SOUS 475274 HAS SOUPS 475274 WITH SCORE 475955.824
AT ITER 723 NEW BEST:: SOT 1398743 SOS 680894 HAS SOPS 680894 HAS SOUS 474902 HAS SOUPS 474902 WITH SCORE 475582.894
AT ITER 728 NEW BEST:: SOT 1398874 SOS 680789 HAS SOPS 680789 HAS SOUS 474884 HAS SOUPS 474884 WITH SCORE 475564.789
AT ITER 736 NEW BEST:: SOT 1398810 SOS 680725 HAS SOPS 680725 HAS SOUS 474820 HAS SOUPS 474820 WITH SCORE 475500.725
AT ITER 738 NEW BEST:: SOT 1398791 SOS 680687 HAS SOPS 680687 HAS SOUS 474801 HAS SOUPS 474801 WITH SCORE 475481.687
AT ITER 745 NEW BEST:: SOT 1398791 SOS 680415 HAS SOPS 680415 HAS SOUS 474498 HAS SOUPS 474498 WITH SCORE 475178.415
AT ITER 762 NEW BEST:: SOT 1398313 SOS 678981 HAS SOPS 678981 HAS SOUS 473541 HAS SOUPS 473541 WITH SCORE 474219.981
AT ITER 767 NEW BEST:: SOT 1398389 SOS 678648 HAS SOPS 678648 HAS SOUS 473247 HAS SOUPS 473247 WITH SCORE 473925.648
AT ITER 770 NEW BEST:: SOT 1398389 SOS 678648 HAS SOPS 678648 HAS SOUS 473028 HAS SOUPS 473028 WITH SCORE 473706.648
AT ITER 771 NEW BEST:: SOT 1398374 SOS 678618 HAS SOPS 678618 HAS SOUS 473013 HAS SOUPS 473013 WITH SCORE 473691.618
AT ITER 772 NEW BEST:: SOT 1397985 SOS 677857 HAS SOPS 677857 HAS SOUS 472839 HAS SOUPS 472839 WITH SCORE 473516.857
AT ITER 777 NEW BEST:: SOT 1397905 SOS 677697 HAS SOPS 677697 HAS SOUS 472570 HAS SOUPS 472570 WITH SCORE 473247.697
AT ITER 782 NEW BEST:: SOT 1397785 SOS 677577 HAS SOPS 677577 HAS SOUS 472568 HAS SOUPS 472568 WITH SCORE 473245.577
AT ITER 783 NEW BEST:: SOT 1397680 SOS 677367 HAS SOPS 677367 HAS SOUS 472358 HAS SOUPS 472358 WITH SCORE 473035.367
AT ITER 785 NEW BEST:: SOT 1397674 SOS 677355 HAS SOPS 677355 HAS SOUS 472351 HAS SOUPS 472351 WITH SCORE 473028.355
AT ITER 795 NEW BEST:: SOT 1397387 SOS 676781 HAS SOPS 676781 HAS SOUS 472059 HAS SOUPS 472059 WITH SCORE 472735.781
AT ITER 805 NEW BEST:: SOT 1397355 SOS 675947 HAS SOPS 675947 HAS SOUS 471608 HAS SOUPS 471608 WITH SCORE 472283.947
AT ITER 807 NEW BEST:: SOT 1397355 SOS 675689 HAS SOPS 675689 HAS SOUS 471509 HAS SOUPS 471509 WITH SCORE 472184.689
AT ITER 808 NEW BEST:: SOT 1397331 SOS 675641 HAS SOPS 675641 HAS SOUS 471461 HAS SOUPS 471461 WITH SCORE 472136.641
AT ITER 813 NEW BEST:: SOT 1397270 SOS 675519 HAS SOPS 675519 HAS SOUS 471459 HAS SOUPS 471459 WITH SCORE 472134.519
AT ITER 820 NEW BEST:: SOT 1396990 SOS 674959 HAS SOPS 674959 HAS SOUS 470942 HAS SOUPS 470942 WITH SCORE 471616.959
AT ITER 824 NEW BEST:: SOT 1396994 SOS 674967 HAS SOPS 674967 HAS SOUS 470810 HAS SOUPS 470810 WITH SCORE 471484.967
AT ITER 834 NEW BEST:: SOT 1396994 SOS 674967 HAS SOPS 674967 HAS SOUS 470600 HAS SOUPS 470600 WITH SCORE 471274.967
AT ITER 839 NEW BEST:: SOT 1396782 SOS 674741 HAS SOPS 674741 HAS SOUS 470574 HAS SOUPS 470574 WITH SCORE 471248.741
AT ITER 847 NEW BEST:: SOT 1396782 SOS 674484 HAS SOPS 674484 HAS SOUS 469787 HAS SOUPS 469787 WITH SCORE 470461.484
AT ITER 852 NEW BEST:: SOT 1396324 SOS 673988 HAS SOPS 673988 HAS SOUS 469761 HAS SOUPS 469761 WITH SCORE 470434.988
AT ITER 855 NEW BEST:: SOT 1396324 SOS 673988 HAS SOPS 673988 HAS SOUS 469738 HAS SOUPS 469738 WITH SCORE 470411.988
AT ITER 863 NEW BEST:: SOT 1396197 SOS 671864 HAS SOPS 671864 HAS SOUS 469594 HAS SOUPS 469594 WITH SCORE 470265.864
AT ITER 866 NEW BEST:: SOT 1396197 SOS 671864 HAS SOPS 671864 HAS SOUS 469592 HAS SOUPS 469592 WITH SCORE 470263.864
AT ITER 868 NEW BEST:: SOT 1396065 SOS 671693 HAS SOPS 671693 HAS SOUS 469399 HAS SOUPS 469399 WITH SCORE 470070.693
AT ITER 870 NEW BEST:: SOT 1395950 SOS 671630 HAS SOPS 671630 HAS SOUS 469248 HAS SOUPS 469248 WITH SCORE 469919.63
AT ITER 875 NEW BEST:: SOT 1396627 SOS 671316 HAS SOPS 671316 HAS SOUS 469111 HAS SOUPS 469111 WITH SCORE 469782.316
AT ITER 877 NEW BEST:: SOT 1396600 SOS 671289 HAS SOPS 671289 HAS SOUS 469084 HAS SOUPS 469084 WITH SCORE 469755.289
AT ITER 888 NEW BEST:: SOT 1396371 SOS 670831 HAS SOPS 670831 HAS SOUS 468855 HAS SOUPS 468855 WITH SCORE 469525.831
AT ITER 895 NEW BEST:: SOT 1396371 SOS 670678 HAS SOPS 670678 HAS SOUS 468702 HAS SOUPS 468702 WITH SCORE 469372.678
AT ITER 899 NEW BEST:: SOT 1395710 SOS 670101 HAS SOPS 670101 HAS SOUS 468702 HAS SOUPS 468702 WITH SCORE 469372.101
AT ITER 900 NEW BEST:: SOT 1395872 SOS 670425 HAS SOPS 670425 HAS SOUS 468488 HAS SOUPS 468488 WITH SCORE 469158.425
AT ITER 903 NEW BEST:: SOT 1395816 SOS 670312 HAS SOPS 670312 HAS SOUS 468216 HAS SOUPS 468216 WITH SCORE 468886.312
AT ITER 910 NEW BEST:: SOT 1395816 SOS 670236 HAS SOPS 670236 HAS SOUS 468213 HAS SOUPS 468213 WITH SCORE 468883.236
AT ITER 914 NEW BEST:: SOT 1395850 SOS 669964 HAS SOPS 669964 HAS SOUS 467941 HAS SOUPS 467941 WITH SCORE 468610.964
AT ITER 930 NEW BEST:: SOT 1395813 SOS 669890 HAS SOPS 669890 HAS SOUS 467904 HAS SOUPS 467904 WITH SCORE 468573.89
AT ITER 931 NEW BEST:: SOT 1395734 SOS 668378 HAS SOPS 668378 HAS SOUS 467108 HAS SOUPS 467108 WITH SCORE 467776.378
AT ITER 937 NEW BEST:: SOT 1395796 SOS 668343 HAS SOPS 668343 HAS SOUS 467073 HAS SOUPS 467073 WITH SCORE 467741.343
AT ITER 943 NEW BEST:: SOT 1395780 SOS 668311 HAS SOPS 668311 HAS SOUS 467057 HAS SOUPS 467057 WITH SCORE 467725.311
AT ITER 950 NEW BEST:: SOT 1395780 SOS 668311 HAS SOPS 668311 HAS SOUS 467055 HAS SOUPS 467055 WITH SCORE 467723.311
AT ITER 953 NEW BEST:: SOT 1395780 SOS 667867 HAS SOPS 667867 HAS SOUS 466820 HAS SOUPS 466820 WITH SCORE 467487.867
AT ITER 956 NEW BEST:: SOT 1395780 SOS 667856 HAS SOPS 667856 HAS SOUS 466809 HAS SOUPS 466809 WITH SCORE 467476.856
AT ITER 959 NEW BEST:: SOT 1395989 SOS 668274 HAS SOPS 668274 HAS SOUS 466784 HAS SOUPS 466784 WITH SCORE 467452.274
AT ITER 960 NEW BEST:: SOT 1396003 SOS 667938 HAS SOPS 667938 HAS SOUS 466563 HAS SOUPS 466563 WITH SCORE 467230.938
AT ITER 963 NEW BEST:: SOT 1395804 SOS 667540 HAS SOPS 667540 HAS SOUS 466165 HAS SOUPS 466165 WITH SCORE 466832.54
AT ITER 965 NEW BEST:: SOT 1395449 SOS 666120 HAS SOPS 666120 HAS SOUS 465513 HAS SOUPS 465513 WITH SCORE 466179.12
AT ITER 968 NEW BEST:: SOT 1395375 SOS 665972 HAS SOPS 665972 HAS SOUS 465058 HAS SOUPS 465058 WITH SCORE 465723.972
AT ITER 979 NEW BEST:: SOT 1393912 SOS 667340 HAS SOPS 667340 HAS SOUS 463773 HAS SOUPS 463773 WITH SCORE 464440.34
AT ITER 984 NEW BEST:: SOT 1393928 SOS 667132 HAS SOPS 667132 HAS SOUS 463773 HAS SOUPS 463773 WITH SCORE 464440.132
AT ITER 986 NEW BEST:: SOT 1394147 SOS 667570 HAS SOPS 667570 HAS SOUS 463751 HAS SOUPS 463751 WITH SCORE 464418.57
AT ITER 988 NEW BEST:: SOT 1393722 SOS 670273 HAS SOPS 670273 HAS SOUS 463700 HAS SOUPS 463700 WITH SCORE 464370.273
AT ITER 992 NEW BEST:: SOT 1393595 SOS 667068 HAS SOPS 667068 HAS SOUS 463065 HAS SOUPS 463065 WITH SCORE 463732.068
AT ITER 1003 NEW BEST:: SOT 1393596 SOS 666926 HAS SOPS 666926 HAS SOUS 462894 HAS SOUPS 462894 WITH SCORE 463560.926
AT ITER 1004 NEW BEST:: SOT 1393596 SOS 651854 HAS SOPS 651854 HAS SOUS 462516 HAS SOUPS 462516 WITH SCORE 463167.854
AT ITER 1009 NEW BEST:: SOT 1393454 SOS 651979 HAS SOPS 651979 HAS SOUS 462463 HAS SOUPS 462463 WITH SCORE 463114.979
AT ITER 1014 NEW BEST:: SOT 1393402 SOS 651927 HAS SOPS 651927 HAS SOUS 462411 HAS SOUPS 462411 WITH SCORE 463062.927
AT ITER 1026 NEW BEST:: SOT 1387172 SOS 651143 HAS SOPS 651143 HAS SOUS 456992 HAS SOUPS 456992 WITH SCORE 457643.143
AT ITER 1027 NEW BEST:: SOT 1386875 SOS 650755 HAS SOPS 650755 HAS SOUS 456808 HAS SOUPS 456808 WITH SCORE 457458.755
AT ITER 1029 NEW BEST:: SOT 1386692 SOS 650389 HAS SOPS 650389 HAS SOUS 456625 HAS SOUPS 456625 WITH SCORE 457275.389
AT ITER 1039 NEW BEST:: SOT 1386692 SOS 650674 HAS SOPS 650674 HAS SOUS 456462 HAS SOUPS 456462 WITH SCORE 457112.674
AT ITER 1041 NEW BEST:: SOT 1386692 SOS 650367 HAS SOPS 650367 HAS SOUS 456361 HAS SOUPS 456361 WITH SCORE 457011.367
AT ITER 1044 NEW BEST:: SOT 1386519 SOS 649822 HAS SOPS 649822 HAS SOUS 456188 HAS SOUPS 456188 WITH SCORE 456837.822
AT ITER 1046 NEW BEST:: SOT 1386485 SOS 649788 HAS SOPS 649788 HAS SOUS 456188 HAS SOUPS 456188 WITH SCORE 456837.788
AT ITER 1048 NEW BEST:: SOT 1386306 SOS 649753 HAS SOPS 649753 HAS SOUS 456009 HAS SOUPS 456009 WITH SCORE 456658.753
AT ITER 1051 NEW BEST:: SOT 1386250 SOS 650184 HAS SOPS 650184 HAS SOUS 455953 HAS SOUPS 455953 WITH SCORE 456603.184
AT ITER 1054 NEW BEST:: SOT 1385918 SOS 648796 HAS SOPS 648796 HAS SOUS 455280 HAS SOUPS 455280 WITH SCORE 455928.796
AT ITER 1055 NEW BEST:: SOT 1385637 SOS 648530 HAS SOPS 648530 HAS SOUS 455014 HAS SOUPS 455014 WITH SCORE 455662.53
AT ITER 1057 NEW BEST:: SOT 1385637 SOS 648232 HAS SOPS 648232 HAS SOUS 454790 HAS SOUPS 454790 WITH SCORE 455438.232
AT ITER 1058 NEW BEST:: SOT 1385637 SOS 648232 HAS SOPS 648232 HAS SOUS 454570 HAS SOUPS 454570 WITH SCORE 455218.232
AT ITER 1061 NEW BEST:: SOT 1379584 SOS 647029 HAS SOPS 647029 HAS SOUS 448538 HAS SOUPS 448538 WITH SCORE 449185.029
AT ITER 1065 NEW BEST:: SOT 1377188 SOS 646987 HAS SOPS 646987 HAS SOUS 446539 HAS SOUPS 446539 WITH SCORE 447185.987
AT ITER 1070 NEW BEST:: SOT 1376853 SOS 646502 HAS SOPS 646502 HAS SOUS 446204 HAS SOUPS 446204 WITH SCORE 446850.502
AT ITER 1071 NEW BEST:: SOT 1376453 SOS 644628 HAS SOPS 644628 HAS SOUS 445403 HAS SOUPS 445403 WITH SCORE 446047.628
AT ITER 1077 NEW BEST:: SOT 1376221 SOS 644278 HAS SOPS 644278 HAS SOUS 445281 HAS SOUPS 445281 WITH SCORE 445925.278
AT ITER 1080 NEW BEST:: SOT 1376221 SOS 644567 HAS SOPS 644567 HAS SOUS 444884 HAS SOUPS 444884 WITH SCORE 445528.567
AT ITER 1085 NEW BEST:: SOT 1375984 SOS 644863 HAS SOPS 644863 HAS SOUS 444704 HAS SOUPS 444704 WITH SCORE 445348.863
AT ITER 1089 NEW BEST:: SOT 1375984 SOS 644863 HAS SOPS 644863 HAS SOUS 444301 HAS SOUPS 444301 WITH SCORE 444945.863
AT ITER 1098 NEW BEST:: SOT 1375935 SOS 644765 HAS SOPS 644765 HAS SOUS 444203 HAS SOUPS 444203 WITH SCORE 444847.765
AT ITER 1104 NEW BEST:: SOT 1376020 SOS 643870 HAS SOPS 643870 HAS SOUS 443962 HAS SOUPS 443962 WITH SCORE 444605.87
AT ITER 1111 NEW BEST:: SOT 1341468 SOS 806426 HAS SOPS 806426 HAS SOUS 416445 HAS SOUPS 416445 WITH SCORE 417251.426
AT ITER 1127 NEW BEST:: SOT 1341113 SOS 806293 HAS SOPS 806293 HAS SOUS 416336 HAS SOUPS 416336 WITH SCORE 417142.293
AT ITER 1129 NEW BEST:: SOT 1340756 SOS 805936 HAS SOPS 805936 HAS SOUS 415979 HAS SOUPS 415979 WITH SCORE 416784.936
AT ITER 1132 NEW BEST:: SOT 1340695 SOS 805875 HAS SOPS 805875 HAS SOUS 415978 HAS SOUPS 415978 WITH SCORE 416783.875
AT ITER 1138 NEW BEST:: SOT 1340648 SOS 805784 HAS SOPS 805784 HAS SOUS 415931 HAS SOUPS 415931 WITH SCORE 416736.784
AT ITER 1141 NEW BEST:: SOT 1340648 SOS 805784 HAS SOPS 805784 HAS SOUS 415876 HAS SOUPS 415876 WITH SCORE 416681.784
AT ITER 1150 NEW BEST:: SOT 1339946 SOS 805082 HAS SOPS 805082 HAS SOUS 415366 HAS SOUPS 415366 WITH SCORE 416171.082
AT ITER 1153 NEW BEST:: SOT 1339946 SOS 805082 HAS SOPS 805082 HAS SOUS 415358 HAS SOUPS 415358 WITH SCORE 416163.082
AT ITER 1160 NEW BEST:: SOT 1339776 SOS 801502 HAS SOPS 801502 HAS SOUS 415007 HAS SOUPS 415007 WITH SCORE 415808.502
AT ITER 1162 NEW BEST:: SOT 1339633 SOS 801359 HAS SOPS 801359 HAS SOUS 415007 HAS SOUPS 415007 WITH SCORE 415808.359
AT ITER 1169 NEW BEST:: SOT 1339633 SOS 801738 HAS SOPS 801738 HAS SOUS 414936 HAS SOUPS 414936 WITH SCORE 415737.738
AT ITER 1176 NEW BEST:: SOT 1339546 SOS 801564 HAS SOPS 801564 HAS SOUS 414806 HAS SOUPS 414806 WITH SCORE 415607.564
AT ITER 1186 NEW BEST:: SOT 1339520 SOS 801512 HAS SOPS 801512 HAS SOUS 414592 HAS SOUPS 414592 WITH SCORE 415393.512
AT ITER 1191 NEW BEST:: SOT 1339499 SOS 801183 HAS SOPS 801183 HAS SOUS 414550 HAS SOUPS 414550 WITH SCORE 415351.183
AT ITER 1193 NEW BEST:: SOT 1339450 SOS 801301 HAS SOPS 801301 HAS SOUS 414527 HAS SOUPS 414527 WITH SCORE 415328.301
AT ITER 1194 NEW BEST:: SOT 1339729 SOS 791667 HAS SOPS 791667 HAS SOUS 414060 HAS SOUPS 414060 WITH SCORE 414851.667
AT ITER 1196 NEW BEST:: SOT 1339745 SOS 791699 HAS SOPS 791699 HAS SOUS 413787 HAS SOUPS 413787 WITH SCORE 414578.699
AT ITER 1199 NEW BEST:: SOT 1339071 SOS 790351 HAS SOPS 790351 HAS SOUS 413143 HAS SOUPS 413143 WITH SCORE 413933.351
AT ITER 1206 NEW BEST:: SOT 1338767 SOS 790199 HAS SOPS 790199 HAS SOUS 412974 HAS SOUPS 412974 WITH SCORE 413764.199
AT ITER 1208 NEW BEST:: SOT 1338767 SOS 790199 HAS SOPS 790199 HAS SOUS 412933 HAS SOUPS 412933 WITH SCORE 413723.199
AT ITER 1216 NEW BEST:: SOT 1338503 SOS 789731 HAS SOPS 789731 HAS SOUS 412524 HAS SOUPS 412524 WITH SCORE 413313.731
AT ITER 1217 NEW BEST:: SOT 1338486 SOS 789714 HAS SOPS 789714 HAS SOUS 412490 HAS SOUPS 412490 WITH SCORE 413279.714
AT ITER 1220 NEW BEST:: SOT 1338486 SOS 789691 HAS SOPS 789691 HAS SOUS 412467 HAS SOUPS 412467 WITH SCORE 413256.691
AT ITER 1221 NEW BEST:: SOT 1338486 SOS 789531 HAS SOPS 789531 HAS SOUS 412460 HAS SOUPS 412460 WITH SCORE 413249.531
AT ITER 1228 NEW BEST:: SOT 1338198 SOS 788955 HAS SOPS 788955 HAS SOUS 411922 HAS SOUPS 411922 WITH SCORE 412710.955
AT ITER 1231 NEW BEST:: SOT 1338148 SOS 788905 HAS SOPS 788905 HAS SOUS 411883 HAS SOUPS 411883 WITH SCORE 412671.905
AT ITER 1234 NEW BEST:: SOT 1337344 SOS 788101 HAS SOPS 788101 HAS SOUS 411616 HAS SOUPS 411616 WITH SCORE 412404.101
AT ITER 1239 NEW BEST:: SOT 1337004 SOS 787421 HAS SOPS 787421 HAS SOUS 411551 HAS SOUPS 411551 WITH SCORE 412338.421
AT ITER 1245 NEW BEST:: SOT 1336267 SOS 786684 HAS SOPS 786684 HAS SOUS 410802 HAS SOUPS 410802 WITH SCORE 411588.684
AT ITER 1246 NEW BEST:: SOT 1336341 SOS 786294 HAS SOPS 786294 HAS SOUS 410009 HAS SOUPS 410009 WITH SCORE 410795.294
AT ITER 1253 NEW BEST:: SOT 1336341 SOS 786294 HAS SOPS 786294 HAS SOUS 409525 HAS SOUPS 409525 WITH SCORE 410311.294
AT ITER 1258 NEW BEST:: SOT 1336094 SOS 785800 HAS SOPS 785800 HAS SOUS 409328 HAS SOUPS 409328 WITH SCORE 410113.8
AT ITER 1261 NEW BEST:: SOT 1336094 SOS 785800 HAS SOPS 785800 HAS SOUS 409217 HAS SOUPS 409217 WITH SCORE 410002.8
AT ITER 1265 NEW BEST:: SOT 1335443 SOS 784766 HAS SOPS 784766 HAS SOUS 408600 HAS SOUPS 408600 WITH SCORE 409384.766
AT ITER 1266 NEW BEST:: SOT 1335590 SOS 784350 HAS SOPS 784350 HAS SOUS 408382 HAS SOUPS 408382 WITH SCORE 409166.35
AT ITER 1268 NEW BEST:: SOT 1335590 SOS 784350 HAS SOPS 784350 HAS SOUS 408353 HAS SOUPS 408353 WITH SCORE 409137.35
AT ITER 1271 NEW BEST:: SOT 1335590 SOS 784226 HAS SOPS 784226 HAS SOUS 408353 HAS SOUPS 408353 WITH SCORE 409137.226
AT ITER 1275 NEW BEST:: SOT 1335396 SOS 784032 HAS SOPS 784032 HAS SOUS 408159 HAS SOUPS 408159 WITH SCORE 408943.032
AT ITER 1277 NEW BEST:: SOT 1335196 SOS 783613 HAS SOPS 783613 HAS SOUS 407959 HAS SOUPS 407959 WITH SCORE 408742.613
AT ITER 1283 NEW BEST:: SOT 1335196 SOS 783370 HAS SOPS 783370 HAS SOUS 407959 HAS SOUPS 407959 WITH SCORE 408742.37
AT ITER 1284 NEW BEST:: SOT 1334961 SOS 782900 HAS SOPS 782900 HAS SOUS 407724 HAS SOUPS 407724 WITH SCORE 408506.9
AT ITER 1289 NEW BEST:: SOT 1334961 SOS 782900 HAS SOPS 782900 HAS SOUS 407517 HAS SOUPS 407517 WITH SCORE 408299.9
AT ITER 1291 NEW BEST:: SOT 1334311 SOS 783398 HAS SOPS 783398 HAS SOUS 407420 HAS SOUPS 407420 WITH SCORE 408203.398
AT ITER 1292 NEW BEST:: SOT 1333935 SOS 781500 HAS SOPS 781500 HAS SOUS 406490 HAS SOUPS 406490 WITH SCORE 407271.5
AT ITER 1293 NEW BEST:: SOT 1333935 SOS 781500 HAS SOPS 781500 HAS SOUS 406468 HAS SOUPS 406468 WITH SCORE 407249.5
AT ITER 1298 NEW BEST:: SOT 1334010 SOS 781252 HAS SOPS 781252 HAS SOUS 406382 HAS SOUPS 406382 WITH SCORE 407163.252
AT ITER 1300 NEW BEST:: SOT 1333910 SOS 781152 HAS SOPS 781152 HAS SOUS 406282 HAS SOUPS 406282 WITH SCORE 407063.152
AT ITER 1302 NEW BEST:: SOT 1334107 SOS 781349 HAS SOPS 781349 HAS SOUS 406274 HAS SOUPS 406274 WITH SCORE 407055.349
AT ITER 1309 NEW BEST:: SOT 1334107 SOS 780125 HAS SOPS 780125 HAS SOUS 405661 HAS SOUPS 405661 WITH SCORE 406441.125
AT ITER 1310 NEW BEST:: SOT 1333756 SOS 779710 HAS SOPS 779710 HAS SOUS 405310 HAS SOUPS 405310 WITH SCORE 406089.71
AT ITER 1318 NEW BEST:: SOT 1333756 SOS 779366 HAS SOPS 779366 HAS SOUS 404983 HAS SOUPS 404983 WITH SCORE 405762.366
AT ITER 1323 NEW BEST:: SOT 1333756 SOS 779316 HAS SOPS 779316 HAS SOUS 404983 HAS SOUPS 404983 WITH SCORE 405762.316
AT ITER 1331 NEW BEST:: SOT 1327805 SOS 776756 HAS SOPS 776756 HAS SOUS 400490 HAS SOUPS 400490 WITH SCORE 401266.756
AT ITER 1333 NEW BEST:: SOT 1327805 SOS 776663 HAS SOPS 776663 HAS SOUS 400397 HAS SOUPS 400397 WITH SCORE 401173.663
AT ITER 1341 NEW BEST:: SOT 1327805 SOS 776477 HAS SOPS 776477 HAS SOUS 400396 HAS SOUPS 400396 WITH SCORE 401172.477
AT ITER 1344 NEW BEST:: SOT 1327805 SOS 775937 HAS SOPS 775937 HAS SOUS 399856 HAS SOUPS 399856 WITH SCORE 400631.937
AT ITER 1346 NEW BEST:: SOT 1327805 SOS 775837 HAS SOPS 775837 HAS SOUS 399756 HAS SOUPS 399756 WITH SCORE 400531.837
AT ITER 1348 NEW BEST:: SOT 1327805 SOS 775837 HAS SOPS 775837 HAS SOUS 399703 HAS SOUPS 399703 WITH SCORE 400478.837
AT ITER 1351 NEW BEST:: SOT 1327426 SOS 775619 HAS SOPS 775619 HAS SOUS 399689 HAS SOUPS 399689 WITH SCORE 400464.619
AT ITER 1360 NEW BEST:: SOT 1327031 SOS 773704 HAS SOPS 773704 HAS SOUS 398973 HAS SOUPS 398973 WITH SCORE 399746.704
AT ITER 1361 NEW BEST:: SOT 1327031 SOS 773533 HAS SOPS 773533 HAS SOUS 398802 HAS SOUPS 398802 WITH SCORE 399575.533
AT ITER 1362 NEW BEST:: SOT 1326950 SOS 771994 HAS SOPS 771994 HAS SOUS 398721 HAS SOUPS 398721 WITH SCORE 399492.994
AT ITER 1369 NEW BEST:: SOT 1326950 SOS 771805 HAS SOPS 771805 HAS SOUS 398500 HAS SOUPS 398500 WITH SCORE 399271.805
AT ITER 1373 NEW BEST:: SOT 1326716 SOS 771571 HAS SOPS 771571 HAS SOUS 398419 HAS SOUPS 398419 WITH SCORE 399190.571
AT ITER 1386 NEW BEST:: SOT 1326709 SOS 771557 HAS SOPS 771557 HAS SOUS 398405 HAS SOUPS 398405 WITH SCORE 399176.557
AT ITER 1389 NEW BEST:: SOT 1326686 SOS 771534 HAS SOPS 771534 HAS SOUS 398395 HAS SOUPS 398395 WITH SCORE 399166.534
AT ITER 1390 NEW BEST:: SOT 1326686 SOS 771135 HAS SOPS 771135 HAS SOUS 398369 HAS SOUPS 398369 WITH SCORE 399140.135
AT ITER 1391 NEW BEST:: SOT 1326234 SOS 770501 HAS SOPS 770501 HAS SOUS 397917 HAS SOUPS 397917 WITH SCORE 398687.501
AT ITER 1393 NEW BEST:: SOT 1326130 SOS 770189 HAS SOPS 770189 HAS SOUS 397708 HAS SOUPS 397708 WITH SCORE 398478.189
AT ITER 1395 NEW BEST:: SOT 1326098 SOS 775429 HAS SOPS 775429 HAS SOUS 397676 HAS SOUPS 397676 WITH SCORE 398451.429
AT ITER 1400 NEW BEST:: SOT 1326064 SOS 774809 HAS SOPS 774809 HAS SOUS 397366 HAS SOUPS 397366 WITH SCORE 398140.809
AT ITER 1401 NEW BEST:: SOT 1326064 SOS 774809 HAS SOPS 774809 HAS SOUS 397365 HAS SOUPS 397365 WITH SCORE 398139.809
AT ITER 1409 NEW BEST:: SOT 1325891 SOS 774512 HAS SOPS 774512 HAS SOUS 397279 HAS SOUPS 397279 WITH SCORE 398053.512
AT ITER 1418 NEW BEST:: SOT 1325743 SOS 774216 HAS SOPS 774216 HAS SOUS 397131 HAS SOUPS 397131 WITH SCORE 397905.216
AT ITER 1430 NEW BEST:: SOT 1325743 SOS 772020 HAS SOPS 772020 HAS SOUS 397003 HAS SOUPS 397003 WITH SCORE 397775.02
AT ITER 1447 NEW BEST:: SOT 1325639 SOS 771227 HAS SOPS 771227 HAS SOUS 396965 HAS SOUPS 396965 WITH SCORE 397736.227
AT ITER 1453 NEW BEST:: SOT 1325577 SOS 771103 HAS SOPS 771103 HAS SOUS 396872 HAS SOUPS 396872 WITH SCORE 397643.103
AT ITER 1456 NEW BEST:: SOT 1325631 SOS 771211 HAS SOPS 771211 HAS SOUS 396849 HAS SOUPS 396849 WITH SCORE 397620.211
AT ITER 1458 NEW BEST:: SOT 1324598 SOS 769961 HAS SOPS 769961 HAS SOUS 396080 HAS SOUPS 396080 WITH SCORE 396849.961
AT ITER 1462 NEW BEST:: SOT 1324554 SOS 768685 HAS SOPS 768685 HAS SOUS 395350 HAS SOUPS 395350 WITH SCORE 396118.685
AT ITER 1466 NEW BEST:: SOT 1324554 SOS 768685 HAS SOPS 768685 HAS SOUS 395095 HAS SOUPS 395095 WITH SCORE 395863.685
AT ITER 1471 NEW BEST:: SOT 1324422 SOS 770301 HAS SOPS 770301 HAS SOUS 395057 HAS SOUPS 395057 WITH SCORE 395827.301
AT ITER 1475 NEW BEST:: SOT 1323826 SOS 769114 HAS SOPS 769114 HAS SOUS 394601 HAS SOUPS 394601 WITH SCORE 395370.114
AT ITER 1482 NEW BEST:: SOT 1323814 SOS 769102 HAS SOPS 769102 HAS SOUS 394589 HAS SOUPS 394589 WITH SCORE 395358.102
AT ITER 1485 NEW BEST:: SOT 1323782 SOS 768917 HAS SOPS 768917 HAS SOUS 394559 HAS SOUPS 394559 WITH SCORE 395327.917
AT ITER 1495 NEW BEST:: SOT 1323689 SOS 768731 HAS SOPS 768731 HAS SOUS 394466 HAS SOUPS 394466 WITH SCORE 395234.731
AT ITER 1499 NEW BEST:: SOT 1323652 SOS 768156 HAS SOPS 768156 HAS SOUS 393847 HAS SOUPS 393847 WITH SCORE 394615.156
AT ITER 1503 NEW BEST:: SOT 1323335 SOS 767839 HAS SOPS 767839 HAS SOUS 393463 HAS SOUPS 393463 WITH SCORE 394230.839
AT ITER 1509 NEW BEST:: SOT 1323113 SOS 767561 HAS SOPS 767561 HAS SOUS 393268 HAS SOUPS 393268 WITH SCORE 394035.561
AT ITER 1515 NEW BEST:: SOT 1323017 SOS 767465 HAS SOPS 767465 HAS SOUS 393172 HAS SOUPS 393172 WITH SCORE 393939.465
AT ITER 1519 NEW BEST:: SOT 1322994 SOS 767419 HAS SOPS 767419 HAS SOUS 393157 HAS SOUPS 393157 WITH SCORE 393924.419
AT ITER 1521 NEW BEST:: SOT 1323019 SOS 767403 HAS SOPS 767403 HAS SOUS 393128 HAS SOUPS 393128 WITH SCORE 393895.403
AT ITER 1531 NEW BEST:: SOT 1322965 SOS 767295 HAS SOPS 767295 HAS SOUS 393074 HAS SOUPS 393074 WITH SCORE 393841.295
AT ITER 1533 NEW BEST:: SOT 1322965 SOS 767087 HAS SOPS 767087 HAS SOUS 392732 HAS SOUPS 392732 WITH SCORE 393499.087
AT ITER 1537 NEW BEST:: SOT 1322045 SOS 766167 HAS SOPS 766167 HAS SOUS 392511 HAS SOUPS 392511 WITH SCORE 393277.167
AT ITER 1544 NEW BEST:: SOT 1322104 SOS 766599 HAS SOPS 766599 HAS SOUS 392481 HAS SOUPS 392481 WITH SCORE 393247.599
AT ITER 1551 NEW BEST:: SOT 1322147 SOS 766820 HAS SOPS 766820 HAS SOUS 392432 HAS SOUPS 392432 WITH SCORE 393198.82
AT ITER 1554 NEW BEST:: SOT 1322147 SOS 766691 HAS SOPS 766691 HAS SOUS 392384 HAS SOUPS 392384 WITH SCORE 393150.691
AT ITER 1555 NEW BEST:: SOT 1322147 SOS 766691 HAS SOPS 766691 HAS SOUS 392361 HAS SOUPS 392361 WITH SCORE 393127.691
AT ITER 1557 NEW BEST:: SOT 1321997 SOS 766391 HAS SOPS 766391 HAS SOUS 392108 HAS SOUPS 392108 WITH SCORE 392874.391
AT ITER 1565 NEW BEST:: SOT 1321987 SOS 766381 HAS SOPS 766381 HAS SOUS 392098 HAS SOUPS 392098 WITH SCORE 392864.381
AT ITER 1571 NEW BEST:: SOT 1322009 SOS 766031 HAS SOPS 766031 HAS SOUS 391933 HAS SOUPS 391933 WITH SCORE 392699.031
AT ITER 1577 NEW BEST:: SOT 1322009 SOS 765519 HAS SOPS 765519 HAS SOUS 390909 HAS SOUPS 390909 WITH SCORE 391674.519
AT ITER 1581 NEW BEST:: SOT 1321493 SOS 765095 HAS SOPS 765095 HAS SOUS 390485 HAS SOUPS 390485 WITH SCORE 391250.095
AT ITER 1582 NEW BEST:: SOT 1321564 SOS 764851 HAS SOPS 764851 HAS SOUS 390016 HAS SOUPS 390016 WITH SCORE 390780.851
AT ITER 1588 NEW BEST:: SOT 1321564 SOS 764868 HAS SOPS 764868 HAS SOUS 389936 HAS SOUPS 389936 WITH SCORE 390700.868
AT ITER 1589 NEW BEST:: SOT 1321053 SOS 764169 HAS SOPS 764169 HAS SOUS 389767 HAS SOUPS 389767 WITH SCORE 390531.169
AT ITER 1591 NEW BEST:: SOT 1320566 SOS 763300 HAS SOPS 763300 HAS SOUS 388563 HAS SOUPS 388563 WITH SCORE 389326.3
AT ITER 1594 NEW BEST:: SOT 1320566 SOS 763300 HAS SOPS 763300 HAS SOUS 388315 HAS SOUPS 388315 WITH SCORE 389078.3
AT ITER 1595 NEW BEST:: SOT 1320566 SOS 762780 HAS SOPS 762780 HAS SOUS 388080 HAS SOUPS 388080 WITH SCORE 388842.78
AT ITER 1597 NEW BEST:: SOT 1320395 SOS 762795 HAS SOPS 762795 HAS SOUS 387579 HAS SOUPS 387579 WITH SCORE 388341.795
AT ITER 1598 NEW BEST:: SOT 1320324 SOS 762653 HAS SOPS 762653 HAS SOUS 387508 HAS SOUPS 387508 WITH SCORE 388270.653
AT ITER 1602 NEW BEST:: SOT 1320268 SOS 762541 HAS SOPS 762541 HAS SOUS 387467 HAS SOUPS 387467 WITH SCORE 388229.541
AT ITER 1603 NEW BEST:: SOT 1320268 SOS 762245 HAS SOPS 762245 HAS SOUS 387465 HAS SOUPS 387465 WITH SCORE 388227.245
AT ITER 1620 NEW BEST:: SOT 1320250 SOS 762227 HAS SOPS 762227 HAS SOUS 387465 HAS SOUPS 387465 WITH SCORE 388227.227
AT ITER 1624 NEW BEST:: SOT 1320213 SOS 762153 HAS SOPS 762153 HAS SOUS 387428 HAS SOUPS 387428 WITH SCORE 388190.153
AT ITER 1625 NEW BEST:: SOT 1315814 SOS 768264 HAS SOPS 768264 HAS SOUS 386092 HAS SOUPS 386092 WITH SCORE 386860.264
AT ITER 1630 NEW BEST:: SOT 1315814 SOS 768264 HAS SOPS 768264 HAS SOUS 386082 HAS SOUPS 386082 WITH SCORE 386850.264
AT ITER 1633 NEW BEST:: SOT 1315814 SOS 768241 HAS SOPS 768241 HAS SOUS 386059 HAS SOUPS 386059 WITH SCORE 386827.241
AT ITER 1636 NEW BEST:: SOT 1315119 SOS 766054 HAS SOPS 766054 HAS SOUS 385204 HAS SOUPS 385204 WITH SCORE 385970.054
AT ITER 1648 NEW BEST:: SOT 1315119 SOS 766054 HAS SOPS 766054 HAS SOUS 385202 HAS SOUPS 385202 WITH SCORE 385968.054
AT ITER 1650 NEW BEST:: SOT 1314482 SOS 764063 HAS SOPS 764063 HAS SOUS 384105 HAS SOUPS 384105 WITH SCORE 384869.063
AT ITER 1656 NEW BEST:: SOT 1314102 SOS 763683 HAS SOPS 763683 HAS SOUS 383800 HAS SOUPS 383800 WITH SCORE 384563.683
AT ITER 1663 NEW BEST:: SOT 1314102 SOS 763683 HAS SOPS 763683 HAS SOUS 383798 HAS SOUPS 383798 WITH SCORE 384561.683
AT ITER 1664 NEW BEST:: SOT 1314102 SOS 763619 HAS SOPS 763619 HAS SOUS 383734 HAS SOUPS 383734 WITH SCORE 384497.619
AT ITER 1667 NEW BEST:: SOT 1314211 SOS 763448 HAS SOPS 763448 HAS SOUS 383454 HAS SOUPS 383454 WITH SCORE 384217.448
AT ITER 1672 NEW BEST:: SOT 1314155 SOS 763392 HAS SOPS 763392 HAS SOUS 383434 HAS SOUPS 383434 WITH SCORE 384197.392
AT ITER 1676 NEW BEST:: SOT 1314239 SOS 763560 HAS SOPS 763560 HAS SOUS 383280 HAS SOUPS 383280 WITH SCORE 384043.56
AT ITER 1691 NEW BEST:: SOT 1313839 SOS 763062 HAS SOPS 763062 HAS SOUS 383118 HAS SOUPS 383118 WITH SCORE 383881.062
AT ITER 1697 NEW BEST:: SOT 1313811 SOS 763092 HAS SOPS 763092 HAS SOUS 383105 HAS SOUPS 383105 WITH SCORE 383868.092
AT ITER 1702 NEW BEST:: SOT 1313811 SOS 763020 HAS SOPS 763020 HAS SOUS 383105 HAS SOUPS 383105 WITH SCORE 383868.02
AT ITER 1708 NEW BEST:: SOT 1313811 SOS 763020 HAS SOPS 763020 HAS SOUS 383064 HAS SOUPS 383064 WITH SCORE 383827.02
AT ITER 1711 NEW BEST:: SOT 1313788 SOS 762882 HAS SOPS 762882 HAS SOUS 382926 HAS SOUPS 382926 WITH SCORE 383688.882
AT ITER 1712 NEW BEST:: SOT 1313788 SOS 762882 HAS SOPS 762882 HAS SOUS 382756 HAS SOUPS 382756 WITH SCORE 383518.882
AT ITER 1713 NEW BEST:: SOT 1313787 SOS 762881 HAS SOPS 762881 HAS SOUS 382754 HAS SOUPS 382754 WITH SCORE 383516.881
AT ITER 1717 NEW BEST:: SOT 1313842 SOS 763208 HAS SOPS 763208 HAS SOUS 382647 HAS SOUPS 382647 WITH SCORE 383410.208
AT ITER 1735 NEW BEST:: SOT 1313723 SOS 762970 HAS SOPS 762970 HAS SOUS 382384 HAS SOUPS 382384 WITH SCORE 383146.97
AT ITER 1736 NEW BEST:: SOT 1313723 SOS 762728 HAS SOPS 762728 HAS SOUS 382223 HAS SOUPS 382223 WITH SCORE 382985.728
AT ITER 1738 NEW BEST:: SOT 1313529 SOS 761745 HAS SOPS 761745 HAS SOUS 381814 HAS SOUPS 381814 WITH SCORE 382575.745
AT ITER 1739 NEW BEST:: SOT 1313313 SOS 761313 HAS SOPS 761313 HAS SOUS 381598 HAS SOUPS 381598 WITH SCORE 382359.313
AT ITER 1741 NEW BEST:: SOT 1312861 SOS 760409 HAS SOPS 760409 HAS SOUS 380903 HAS SOUPS 380903 WITH SCORE 381663.409
AT ITER 1752 NEW BEST:: SOT 1312677 SOS 760225 HAS SOPS 760225 HAS SOUS 380719 HAS SOUPS 380719 WITH SCORE 381479.225
AT ITER 1763 NEW BEST:: SOT 1312599 SOS 760068 HAS SOPS 760068 HAS SOUS 380640 HAS SOUPS 380640 WITH SCORE 381400.068
AT ITER 1764 NEW BEST:: SOT 1312646 SOS 760049 HAS SOPS 760049 HAS SOUS 380621 HAS SOUPS 380621 WITH SCORE 381381.049
AT ITER 1774 NEW BEST:: SOT 1312888 SOS 760128 HAS SOPS 760128 HAS SOUS 380295 HAS SOUPS 380295 WITH SCORE 381055.128
AT ITER 1777 NEW BEST:: SOT 1312619 SOS 759644 HAS SOPS 759644 HAS SOUS 380089 HAS SOUPS 380089 WITH SCORE 380848.644
AT ITER 1786 NEW BEST:: SOT 1312619 SOS 759455 HAS SOPS 759455 HAS SOUS 380089 HAS SOUPS 380089 WITH SCORE 380848.455
AT ITER 1787 NEW BEST:: SOT 1312619 SOS 759455 HAS SOPS 759455 HAS SOUS 380086 HAS SOUPS 380086 WITH SCORE 380845.455
AT ITER 1799 NEW BEST:: SOT 1312849 SOS 759362 HAS SOPS 759362 HAS SOUS 379752 HAS SOUPS 379752 WITH SCORE 380511.362
AT ITER 1803 NEW BEST:: SOT 1312632 SOS 758630 HAS SOPS 758630 HAS SOUS 379237 HAS SOUPS 379237 WITH SCORE 379995.63
AT ITER 1804 NEW BEST:: SOT 1312632 SOS 758531 HAS SOPS 758531 HAS SOUS 378704 HAS SOUPS 378704 WITH SCORE 379462.531
AT ITER 1805 NEW BEST:: SOT 1312600 SOS 758259 HAS SOPS 758259 HAS SOUS 378640 HAS SOUPS 378640 WITH SCORE 379398.259
AT ITER 1809 NEW BEST:: SOT 1312629 SOS 758186 HAS SOPS 758186 HAS SOUS 378504 HAS SOUPS 378504 WITH SCORE 379262.186
AT ITER 1816 NEW BEST:: SOT 1312617 SOS 757754 HAS SOPS 757754 HAS SOUS 378492 HAS SOUPS 378492 WITH SCORE 379249.754
AT ITER 1818 NEW BEST:: SOT 1312688 SOS 757805 HAS SOPS 757805 HAS SOUS 378457 HAS SOUPS 378457 WITH SCORE 379214.805
AT ITER 1821 NEW BEST:: SOT 1312401 SOS 756570 HAS SOPS 756570 HAS SOUS 377964 HAS SOUPS 377964 WITH SCORE 378720.57
AT ITER 1832 NEW BEST:: SOT 1311718 SOS 755051 HAS SOPS 755051 HAS SOUS 377281 HAS SOUPS 377281 WITH SCORE 378036.051
AT ITER 1833 NEW BEST:: SOT 1311709 SOS 755033 HAS SOPS 755033 HAS SOUS 377272 HAS SOUPS 377272 WITH SCORE 378027.033
AT ITER 1836 NEW BEST:: SOT 1311230 SOS 754554 HAS SOPS 754554 HAS SOUS 377258 HAS SOUPS 377258 WITH SCORE 378012.554
AT ITER 1842 NEW BEST:: SOT 1310841 SOS 752503 HAS SOPS 752503 HAS SOUS 376224 HAS SOUPS 376224 WITH SCORE 376976.503
AT ITER 1843 NEW BEST:: SOT 1310745 SOS 753397 HAS SOPS 753397 HAS SOUS 376081 HAS SOUPS 376081 WITH SCORE 376834.397
AT ITER 1844 NEW BEST:: SOT 1310729 SOS 753365 HAS SOPS 753365 HAS SOUS 376049 HAS SOUPS 376049 WITH SCORE 376802.365
AT ITER 1850 NEW BEST:: SOT 1310729 SOS 753365 HAS SOPS 753365 HAS SOUS 375981 HAS SOUPS 375981 WITH SCORE 376734.365
AT ITER 1852 NEW BEST:: SOT 1310699 SOS 753305 HAS SOPS 753305 HAS SOUS 375934 HAS SOUPS 375934 WITH SCORE 376687.305
AT ITER 1856 NEW BEST:: SOT 1310699 SOS 753242 HAS SOPS 753242 HAS SOUS 375934 HAS SOUPS 375934 WITH SCORE 376687.242
AT ITER 1860 NEW BEST:: SOT 1310321 SOS 752864 HAS SOPS 752864 HAS SOUS 375915 HAS SOUPS 375915 WITH SCORE 376667.864
AT ITER 1865 NEW BEST:: SOT 1310048 SOS 752591 HAS SOPS 752591 HAS SOUS 375722 HAS SOUPS 375722 WITH SCORE 376474.591
AT ITER 1866 NEW BEST:: SOT 1310191 SOS 752726 HAS SOPS 752726 HAS SOUS 375706 HAS SOUPS 375706 WITH SCORE 376458.726
AT ITER 1867 NEW BEST:: SOT 1310097 SOS 752694 HAS SOPS 752694 HAS SOUS 375617 HAS SOUPS 375617 WITH SCORE 376369.694
AT ITER 1872 NEW BEST:: SOT 1310009 SOS 752606 HAS SOPS 752606 HAS SOUS 375529 HAS SOUPS 375529 WITH SCORE 376281.606
AT ITER 1873 NEW BEST:: SOT 1310142 SOS 752204 HAS SOPS 752204 HAS SOUS 375212 HAS SOUPS 375212 WITH SCORE 375964.204
AT ITER 1877 NEW BEST:: SOT 1309425 SOS 751372 HAS SOPS 751372 HAS SOUS 374503 HAS SOUPS 374503 WITH SCORE 375254.372
AT ITER 1887 NEW BEST:: SOT 1309304 SOS 751007 HAS SOPS 751007 HAS SOUS 374138 HAS SOUPS 374138 WITH SCORE 374889.007
AT ITER 1889 NEW BEST:: SOT 1308929 SOS 750410 HAS SOPS 750410 HAS SOUS 373780 HAS SOUPS 373780 WITH SCORE 374530.41
AT ITER 1895 NEW BEST:: SOT 1308725 SOS 749742 HAS SOPS 749742 HAS SOUS 373275 HAS SOUPS 373275 WITH SCORE 374024.742
AT ITER 1899 NEW BEST:: SOT 1308725 SOS 749742 HAS SOPS 749742 HAS SOUS 373119 HAS SOUPS 373119 WITH SCORE 373868.742
AT ITER 1901 NEW BEST:: SOT 1308442 SOS 748893 HAS SOPS 748893 HAS SOUS 372553 HAS SOUPS 372553 WITH SCORE 373301.893
AT ITER 1905 NEW BEST:: SOT 1308240 SOS 748693 HAS SOPS 748693 HAS SOUS 372403 HAS SOUPS 372403 WITH SCORE 373151.693
AT ITER 1906 NEW BEST:: SOT 1308240 SOS 748637 HAS SOPS 748637 HAS SOUS 372347 HAS SOUPS 372347 WITH SCORE 373095.637
AT ITER 1910 NEW BEST:: SOT 1308202 SOS 748542 HAS SOPS 748542 HAS SOUS 372290 HAS SOUPS 372290 WITH SCORE 373038.542
AT ITER 1913 NEW BEST:: SOT 1308098 SOS 748542 HAS SOPS 748542 HAS SOUS 372149 HAS SOUPS 372149 WITH SCORE 372897.542
AT ITER 1918 NEW BEST:: SOT 1308516 SOS 748909 HAS SOPS 748909 HAS SOUS 371890 HAS SOUPS 371890 WITH SCORE 372638.909
AT ITER 1919 NEW BEST:: SOT 1308020 SOS 746272 HAS SOPS 746272 HAS SOUS 370837 HAS SOUPS 370837 WITH SCORE 371583.272
AT ITER 1920 NEW BEST:: SOT 1308020 SOS 746203 HAS SOPS 746203 HAS SOUS 370837 HAS SOUPS 370837 WITH SCORE 371583.203
AT ITER 1925 NEW BEST:: SOT 1307961 SOS 746085 HAS SOPS 746085 HAS SOUS 370778 HAS SOUPS 370778 WITH SCORE 371524.085
AT ITER 1929 NEW BEST:: SOT 1308015 SOS 746069 HAS SOPS 746069 HAS SOUS 370488 HAS SOUPS 370488 WITH SCORE 371234.069
AT ITER 1930 NEW BEST:: SOT 1308219 SOS 746096 HAS SOPS 746096 HAS SOUS 370255 HAS SOUPS 370255 WITH SCORE 371001.096
AT ITER 1937 NEW BEST:: SOT 1308001 SOS 745373 HAS SOPS 745373 HAS SOUS 369819 HAS SOUPS 369819 WITH SCORE 370564.373
AT ITER 1943 NEW BEST:: SOT 1307975 SOS 745321 HAS SOPS 745321 HAS SOUS 369767 HAS SOUPS 369767 WITH SCORE 370512.321
AT ITER 1944 NEW BEST:: SOT 1307954 SOS 745279 HAS SOPS 745279 HAS SOUS 369765 HAS SOUPS 369765 WITH SCORE 370510.279
AT ITER 1951 NEW BEST:: SOT 1307602 SOS 744927 HAS SOPS 744927 HAS SOUS 369413 HAS SOUPS 369413 WITH SCORE 370157.927
AT ITER 1953 NEW BEST:: SOT 1307329 SOS 743694 HAS SOPS 743694 HAS SOUS 368702 HAS SOUPS 368702 WITH SCORE 369445.694
AT ITER 1957 NEW BEST:: SOT 1307393 SOS 743520 HAS SOPS 743520 HAS SOUS 368681 HAS SOUPS 368681 WITH SCORE 369424.52
AT ITER 1962 NEW BEST:: SOT 1307393 SOS 743494 HAS SOPS 743494 HAS SOUS 368681 HAS SOUPS 368681 WITH SCORE 369424.494
AT ITER 1967 NEW BEST:: SOT 1307396 SOS 743500 HAS SOPS 743500 HAS SOUS 368657 HAS SOUPS 368657 WITH SCORE 369400.5
AT ITER 1969 NEW BEST:: SOT 1307908 SOS 742902 HAS SOPS 742902 HAS SOUS 368472 HAS SOUPS 368472 WITH SCORE 369214.902
AT ITER 1972 NEW BEST:: SOT 1308039 SOS 740058 HAS SOPS 740058 HAS SOUS 368385 HAS SOUPS 368385 WITH SCORE 369125.058
AT ITER 1979 NEW BEST:: SOT 1307302 SOS 739321 HAS SOPS 739321 HAS SOUS 367654 HAS SOUPS 367654 WITH SCORE 368393.321
AT ITER 1984 NEW BEST:: SOT 1307229 SOS 739175 HAS SOPS 739175 HAS SOUS 367581 HAS SOUPS 367581 WITH SCORE 368320.175
AT ITER 1993 NEW BEST:: SOT 1307141 SOS 739087 HAS SOPS 739087 HAS SOUS 367493 HAS SOUPS 367493 WITH SCORE 368232.087
AT ITER 1995 NEW BEST:: SOT 1307216 SOS 738832 HAS SOPS 738832 HAS SOUS 367324 HAS SOUPS 367324 WITH SCORE 368062.832
AT ITER 2001 NEW BEST:: SOT 1303715 SOS 735520 HAS SOPS 735520 HAS SOUS 363822 HAS SOUPS 363822 WITH SCORE 364557.52
AT ITER 2007 NEW BEST:: SOT 1302890 SOS 734864 HAS SOPS 734864 HAS SOUS 363033 HAS SOUPS 363033 WITH SCORE 363767.864
AT ITER 2009 NEW BEST:: SOT 1302842 SOS 734816 HAS SOPS 734816 HAS SOUS 362985 HAS SOUPS 362985 WITH SCORE 363719.816
AT ITER 2020 NEW BEST:: SOT 1302842 SOS 734769 HAS SOPS 734769 HAS SOUS 362985 HAS SOUPS 362985 WITH SCORE 363719.769
AT ITER 2031 NEW BEST:: SOT 1302820 SOS 734650 HAS SOPS 734650 HAS SOUS 362963 HAS SOUPS 362963 WITH SCORE 363697.65
AT ITER 2034 NEW BEST:: SOT 1302820 SOS 734650 HAS SOPS 734650 HAS SOUS 362937 HAS SOUPS 362937 WITH SCORE 363671.65
AT ITER 2038 NEW BEST:: SOT 1302925 SOS 734259 HAS SOPS 734259 HAS SOUS 362662 HAS SOUPS 362662 WITH SCORE 363396.259
AT ITER 2040 NEW BEST:: SOT 1302493 SOS 733552 HAS SOPS 733552 HAS SOUS 362249 HAS SOUPS 362249 WITH SCORE 362982.552
AT ITER 2046 NEW BEST:: SOT 1302400 SOS 733428 HAS SOPS 733428 HAS SOUS 362125 HAS SOUPS 362125 WITH SCORE 362858.428
AT ITER 2054 NEW BEST:: SOT 1302616 SOS 733311 HAS SOPS 733311 HAS SOUS 361881 HAS SOUPS 361881 WITH SCORE 362614.311
AT ITER 2058 NEW BEST:: SOT 1302648 SOS 733179 HAS SOPS 733179 HAS SOUS 361519 HAS SOUPS 361519 WITH SCORE 362252.179
AT ITER 2063 NEW BEST:: SOT 1302460 SOS 732779 HAS SOPS 732779 HAS SOUS 361119 HAS SOUPS 361119 WITH SCORE 361851.779
AT ITER 2066 NEW BEST:: SOT 1302460 SOS 732518 HAS SOPS 732518 HAS SOUS 361119 HAS SOUPS 361119 WITH SCORE 361851.518
AT ITER 2072 NEW BEST:: SOT 1301952 SOS 732010 HAS SOPS 732010 HAS SOUS 360452 HAS SOUPS 360452 WITH SCORE 361184.01
AT ITER 2074 NEW BEST:: SOT 1301923 SOS 731448 HAS SOPS 731448 HAS SOUS 360365 HAS SOUPS 360365 WITH SCORE 361096.448
AT ITER 2077 NEW BEST:: SOT 1301714 SOS 731265 HAS SOPS 731265 HAS SOUS 360182 HAS SOUPS 360182 WITH SCORE 360913.265
AT ITER 2081 NEW BEST:: SOT 1301500 SOS 730837 HAS SOPS 730837 HAS SOUS 359968 HAS SOUPS 359968 WITH SCORE 360698.837
AT ITER 2082 NEW BEST:: SOT 1301619 SOS 730887 HAS SOPS 730887 HAS SOUS 359862 HAS SOUPS 359862 WITH SCORE 360592.887
AT ITER 2087 NEW BEST:: SOT 1301492 SOS 730633 HAS SOPS 730633 HAS SOUS 359756 HAS SOUPS 359756 WITH SCORE 360486.633
AT ITER 2093 NEW BEST:: SOT 1301332 SOS 730473 HAS SOPS 730473 HAS SOUS 359596 HAS SOUPS 359596 WITH SCORE 360326.473
AT ITER 2095 NEW BEST:: SOT 1301174 SOS 730295 HAS SOPS 730295 HAS SOUS 359211 HAS SOUPS 359211 WITH SCORE 359941.295
AT ITER 2096 NEW BEST:: SOT 1301072 SOS 730405 HAS SOPS 730405 HAS SOUS 358942 HAS SOUPS 358942 WITH SCORE 359672.405
AT ITER 2099 NEW BEST:: SOT 1300827 SOS 729957 HAS SOPS 729957 HAS SOUS 358181 HAS SOUPS 358181 WITH SCORE 358910.957
AT ITER 2102 NEW BEST:: SOT 1300827 SOS 729957 HAS SOPS 729957 HAS SOUS 358084 HAS SOUPS 358084 WITH SCORE 358813.957
AT ITER 2104 NEW BEST:: SOT 1300769 SOS 729783 HAS SOPS 729783 HAS SOUS 357968 HAS SOUPS 357968 WITH SCORE 358697.783
AT ITER 2113 NEW BEST:: SOT 1300583 SOS 729597 HAS SOPS 729597 HAS SOUS 357902 HAS SOUPS 357902 WITH SCORE 358631.597
AT ITER 2115 NEW BEST:: SOT 1300660 SOS 727811 HAS SOPS 727811 HAS SOUS 357831 HAS SOUPS 357831 WITH SCORE 358558.811
AT ITER 2120 NEW BEST:: SOT 1300660 SOS 727698 HAS SOPS 727698 HAS SOUS 357744 HAS SOUPS 357744 WITH SCORE 358471.698
AT ITER 2123 NEW BEST:: SOT 1300641 SOS 727660 HAS SOPS 727660 HAS SOUS 357696 HAS SOUPS 357696 WITH SCORE 358423.66
AT ITER 2129 NEW BEST:: SOT 1300620 SOS 727618 HAS SOPS 727618 HAS SOUS 357674 HAS SOUPS 357674 WITH SCORE 358401.618
AT ITER 2135 NEW BEST:: SOT 1300620 SOS 727277 HAS SOPS 727277 HAS SOUS 357082 HAS SOUPS 357082 WITH SCORE 357809.277
AT ITER 2142 NEW BEST:: SOT 1300425 SOS 725177 HAS SOPS 725177 HAS SOUS 356016 HAS SOUPS 356016 WITH SCORE 356741.177
AT ITER 2145 NEW BEST:: SOT 1300786 SOS 725282 HAS SOPS 725282 HAS SOUS 355878 HAS SOUPS 355878 WITH SCORE 356603.282
AT ITER 2149 NEW BEST:: SOT 1300741 SOS 725192 HAS SOPS 725192 HAS SOUS 355833 HAS SOUPS 355833 WITH SCORE 356558.192
AT ITER 2153 NEW BEST:: SOT 1300683 SOS 725047 HAS SOPS 725047 HAS SOUS 355688 HAS SOUPS 355688 WITH SCORE 356413.047
AT ITER 2154 NEW BEST:: SOT 1300595 SOS 725244 HAS SOPS 725244 HAS SOUS 355631 HAS SOUPS 355631 WITH SCORE 356356.244
AT ITER 2155 NEW BEST:: SOT 1300179 SOS 724720 HAS SOPS 724720 HAS SOUS 355308 HAS SOUPS 355308 WITH SCORE 356032.72
AT ITER 2156 NEW BEST:: SOT 1300179 SOS 724720 HAS SOPS 724720 HAS SOUS 355235 HAS SOUPS 355235 WITH SCORE 355959.72
AT ITER 2157 NEW BEST:: SOT 1299996 SOS 724441 HAS SOPS 724441 HAS SOUS 355199 HAS SOUPS 355199 WITH SCORE 355923.441
AT ITER 2158 NEW BEST:: SOT 1299996 SOS 724441 HAS SOPS 724441 HAS SOUS 354857 HAS SOUPS 354857 WITH SCORE 355581.441
AT ITER 2169 NEW BEST:: SOT 1299562 SOS 724007 HAS SOPS 724007 HAS SOUS 354467 HAS SOUPS 354467 WITH SCORE 355191.007
AT ITER 2175 NEW BEST:: SOT 1299487 SOS 722886 HAS SOPS 722886 HAS SOUS 353907 HAS SOUPS 353907 WITH SCORE 354629.886
AT ITER 2180 NEW BEST:: SOT 1299487 SOS 722580 HAS SOPS 722580 HAS SOUS 353601 HAS SOUPS 353601 WITH SCORE 354323.58
AT ITER 2193 NEW BEST:: SOT 1299487 SOS 722498 HAS SOPS 722498 HAS SOUS 353601 HAS SOUPS 353601 WITH SCORE 354323.498
AT ITER 2202 NEW BEST:: SOT 1299100 SOS 722111 HAS SOPS 722111 HAS SOUS 353153 HAS SOUPS 353153 WITH SCORE 353875.111
AT ITER 2204 NEW BEST:: SOT 1298839 SOS 721755 HAS SOPS 721755 HAS SOUS 353076 HAS SOUPS 353076 WITH SCORE 353797.755
AT ITER 2206 NEW BEST:: SOT 1298839 SOS 721724 HAS SOPS 721724 HAS SOUS 353076 HAS SOUPS 353076 WITH SCORE 353797.724
AT ITER 2208 NEW BEST:: SOT 1298800 SOS 721668 HAS SOPS 721668 HAS SOUS 353020 HAS SOUPS 353020 WITH SCORE 353741.668
AT ITER 2209 NEW BEST:: SOT 1298800 SOS 721589 HAS SOPS 721589 HAS SOUS 352941 HAS SOUPS 352941 WITH SCORE 353662.589
AT ITER 2215 NEW BEST:: SOT 1298443 SOS 719727 HAS SOPS 719727 HAS SOUS 352404 HAS SOUPS 352404 WITH SCORE 353123.727
AT ITER 2217 NEW BEST:: SOT 1298332 SOS 719698 HAS SOPS 719698 HAS SOUS 352293 HAS SOUPS 352293 WITH SCORE 353012.698
AT ITER 2220 NEW BEST:: SOT 1298278 SOS 719888 HAS SOPS 719888 HAS SOUS 352239 HAS SOUPS 352239 WITH SCORE 352958.888
AT ITER 2231 NEW BEST:: SOT 1298110 SOS 719552 HAS SOPS 719552 HAS SOUS 351478 HAS SOUPS 351478 WITH SCORE 352197.552
AT ITER 2232 NEW BEST:: SOT 1297831 SOS 719345 HAS SOPS 719345 HAS SOUS 351271 HAS SOUPS 351271 WITH SCORE 351990.345
AT ITER 2235 NEW BEST:: SOT 1297702 SOS 719216 HAS SOPS 719216 HAS SOUS 351153 HAS SOUPS 351153 WITH SCORE 351872.216
AT ITER 2252 NEW BEST:: SOT 1297477 SOS 718766 HAS SOPS 718766 HAS SOUS 350703 HAS SOUPS 350703 WITH SCORE 351421.766
AT ITER 2258 NEW BEST:: SOT 1297477 SOS 718766 HAS SOPS 718766 HAS SOUS 350701 HAS SOUPS 350701 WITH SCORE 351419.766
AT ITER 2270 NEW BEST:: SOT 1297477 SOS 718194 HAS SOPS 718194 HAS SOUS 350099 HAS SOUPS 350099 WITH SCORE 350817.194
AT ITER 2272 NEW BEST:: SOT 1297458 SOS 718194 HAS SOPS 718194 HAS SOUS 350080 HAS SOUPS 350080 WITH SCORE 350798.194
AT ITER 2273 NEW BEST:: SOT 1297458 SOS 718194 HAS SOPS 718194 HAS SOUS 349929 HAS SOUPS 349929 WITH SCORE 350647.194
AT ITER 2277 NEW BEST:: SOT 1297387 SOS 717993 HAS SOPS 717993 HAS SOUS 349858 HAS SOUPS 349858 WITH SCORE 350575.993
AT ITER 2286 NEW BEST:: SOT 1297372 SOS 717895 HAS SOPS 717895 HAS SOUS 349775 HAS SOUPS 349775 WITH SCORE 350492.895
AT ITER 2287 NEW BEST:: SOT 1297506 SOS 717225 HAS SOPS 717225 HAS SOUS 349519 HAS SOUPS 349519 WITH SCORE 350236.225
AT ITER 2289 NEW BEST:: SOT 1296643 SOS 716472 HAS SOPS 716472 HAS SOUS 348766 HAS SOUPS 348766 WITH SCORE 349482.472
AT ITER 2304 NEW BEST:: SOT 1296446 SOS 716059 HAS SOPS 716059 HAS SOUS 348654 HAS SOUPS 348654 WITH SCORE 349370.059
AT ITER 2310 NEW BEST:: SOT 1295830 SOS 715571 HAS SOPS 715571 HAS SOUS 348166 HAS SOUPS 348166 WITH SCORE 348881.571
AT ITER 2313 NEW BEST:: SOT 1295818 SOS 715559 HAS SOPS 715559 HAS SOUS 348154 HAS SOUPS 348154 WITH SCORE 348869.559
AT ITER 2316 NEW BEST:: SOT 1295781 SOS 715485 HAS SOPS 715485 HAS SOUS 348080 HAS SOUPS 348080 WITH SCORE 348795.485
AT ITER 2317 NEW BEST:: SOT 1295778 SOS 714649 HAS SOPS 714649 HAS SOUS 347694 HAS SOUPS 347694 WITH SCORE 348408.649
AT ITER 2331 NEW BEST:: SOT 1295778 SOS 714048 HAS SOPS 714048 HAS SOUS 346939 HAS SOUPS 346939 WITH SCORE 347653.048
AT ITER 2333 NEW BEST:: SOT 1295693 SOS 713963 HAS SOPS 713963 HAS SOUS 346854 HAS SOUPS 346854 WITH SCORE 347567.963
AT ITER 2334 NEW BEST:: SOT 1295693 SOS 713963 HAS SOPS 713963 HAS SOUS 346694 HAS SOUPS 346694 WITH SCORE 347407.963
AT ITER 2335 NEW BEST:: SOT 1295693 SOS 713963 HAS SOPS 713963 HAS SOUS 346693 HAS SOUPS 346693 WITH SCORE 347406.963
AT ITER 2343 NEW BEST:: SOT 1295554 SOS 713824 HAS SOPS 713824 HAS SOUS 346554 HAS SOUPS 346554 WITH SCORE 347267.824
AT ITER 2350 NEW BEST:: SOT 1295402 SOS 713520 HAS SOPS 713520 HAS SOUS 346366 HAS SOUPS 346366 WITH SCORE 347079.52
AT ITER 2355 NEW BEST:: SOT 1295488 SOS 713692 HAS SOPS 713692 HAS SOUS 346362 HAS SOUPS 346362 WITH SCORE 347075.692
AT ITER 2357 NEW BEST:: SOT 1295401 SOS 713523 HAS SOPS 713523 HAS SOUS 345916 HAS SOUPS 345916 WITH SCORE 346629.523
AT ITER 2358 NEW BEST:: SOT 1295076 SOS 712979 HAS SOPS 712979 HAS SOUS 345617 HAS SOUPS 345617 WITH SCORE 346329.979
AT ITER 2359 NEW BEST:: SOT 1295236 SOS 712737 HAS SOPS 712737 HAS SOUS 344938 HAS SOUPS 344938 WITH SCORE 345650.737
AT ITER 2362 NEW BEST:: SOT 1295228 SOS 712729 HAS SOPS 712729 HAS SOUS 344930 HAS SOUPS 344930 WITH SCORE 345642.729
AT ITER 2363 NEW BEST:: SOT 1295134 SOS 712635 HAS SOPS 712635 HAS SOUS 344836 HAS SOUPS 344836 WITH SCORE 345548.635
AT ITER 2369 NEW BEST:: SOT 1295102 SOS 712539 HAS SOPS 712539 HAS SOUS 344740 HAS SOUPS 344740 WITH SCORE 345452.539
AT ITER 2380 NEW BEST:: SOT 1294981 SOS 712469 HAS SOPS 712469 HAS SOUS 344562 HAS SOUPS 344562 WITH SCORE 345274.469
AT ITER 2384 NEW BEST:: SOT 1295075 SOS 712563 HAS SOPS 712563 HAS SOUS 344397 HAS SOUPS 344397 WITH SCORE 345109.563
AT ITER 2387 NEW BEST:: SOT 1294987 SOS 711799 HAS SOPS 711799 HAS SOUS 344380 HAS SOUPS 344380 WITH SCORE 345091.799
AT ITER 2394 NEW BEST:: SOT 1295146 SOS 711374 HAS SOPS 711374 HAS SOUS 343955 HAS SOUPS 343955 WITH SCORE 344666.374
AT ITER 2397 NEW BEST:: SOT 1295081 SOS 711309 HAS SOPS 711309 HAS SOUS 343876 HAS SOUPS 343876 WITH SCORE 344587.309
AT ITER 2404 NEW BEST:: SOT 1295012 SOS 710979 HAS SOPS 710979 HAS SOUS 343681 HAS SOUPS 343681 WITH SCORE 344391.979
AT ITER 2409 NEW BEST:: SOT 1294965 SOS 711306 HAS SOPS 711306 HAS SOUS 343337 HAS SOUPS 343337 WITH SCORE 344048.306
AT ITER 2411 NEW BEST:: SOT 1295394 SOS 711855 HAS SOPS 711855 HAS SOUS 342919 HAS SOUPS 342919 WITH SCORE 343630.855
AT ITER 2413 NEW BEST:: SOT 1295250 SOS 711711 HAS SOPS 711711 HAS SOUS 342775 HAS SOUPS 342775 WITH SCORE 343486.711
AT ITER 2417 NEW BEST:: SOT 1294842 SOS 710421 HAS SOPS 710421 HAS SOUS 341989 HAS SOUPS 341989 WITH SCORE 342699.421
AT ITER 2425 NEW BEST:: SOT 1294617 SOS 710196 HAS SOPS 710196 HAS SOUS 341911 HAS SOUPS 341911 WITH SCORE 342621.196
AT ITER 2429 NEW BEST:: SOT 1294617 SOS 710196 HAS SOPS 710196 HAS SOUS 341863 HAS SOUPS 341863 WITH SCORE 342573.196
AT ITER 2432 NEW BEST:: SOT 1294617 SOS 710196 HAS SOPS 710196 HAS SOUS 341829 HAS SOUPS 341829 WITH SCORE 342539.196
AT ITER 2439 NEW BEST:: SOT 1294388 SOS 710171 HAS SOPS 710171 HAS SOUS 341804 HAS SOUPS 341804 WITH SCORE 342514.171
AT ITER 2443 NEW BEST:: SOT 1294388 SOS 709979 HAS SOPS 709979 HAS SOUS 341778 HAS SOUPS 341778 WITH SCORE 342487.979
AT ITER 2447 NEW BEST:: SOT 1294329 SOS 709750 HAS SOPS 709750 HAS SOUS 341749 HAS SOUPS 341749 WITH SCORE 342458.75
AT ITER 2448 NEW BEST:: SOT 1294069 SOS 709594 HAS SOPS 709594 HAS SOUS 341593 HAS SOUPS 341593 WITH SCORE 342302.594
AT ITER 2456 NEW BEST:: SOT 1294069 SOS 709594 HAS SOPS 709594 HAS SOUS 341505 HAS SOUPS 341505 WITH SCORE 342214.594
AT ITER 2463 NEW BEST:: SOT 1294059 SOS 709579 HAS SOPS 709579 HAS SOUS 341490 HAS SOUPS 341490 WITH SCORE 342199.579
AT ITER 2476 NEW BEST:: SOT 1293951 SOS 709560 HAS SOPS 709560 HAS SOUS 341471 HAS SOUPS 341471 WITH SCORE 342180.56
AT ITER 2480 NEW BEST:: SOT 1293938 SOS 709547 HAS SOPS 709547 HAS SOUS 341458 HAS SOUPS 341458 WITH SCORE 342167.547
AT ITER 2483 NEW BEST:: SOT 1293894 SOS 709503 HAS SOPS 709503 HAS SOUS 341414 HAS SOUPS 341414 WITH SCORE 342123.503
AT ITER 2491 NEW BEST:: SOT 1293943 SOS 709601 HAS SOPS 709601 HAS SOUS 341411 HAS SOUPS 341411 WITH SCORE 342120.601
AT ITER 2497 NEW BEST:: SOT 1293912 SOS 709570 HAS SOPS 709570 HAS SOUS 341113 HAS SOUPS 341113 WITH SCORE 341822.57
AT ITER 2505 NEW BEST:: SOT 1293156 SOS 708814 HAS SOPS 708814 HAS SOUS 340093 HAS SOUPS 340093 WITH SCORE 340801.814
AT ITER 2507 NEW BEST:: SOT 1293156 SOS 708795 HAS SOPS 708795 HAS SOUS 340093 HAS SOUPS 340093 WITH SCORE 340801.795
AT ITER 2508 NEW BEST:: SOT 1293518 SOS 708954 HAS SOPS 708954 HAS SOUS 339938 HAS SOUPS 339938 WITH SCORE 340646.954
AT ITER 2514 NEW BEST:: SOT 1293518 SOS 708954 HAS SOPS 708954 HAS SOUS 339799 HAS SOUPS 339799 WITH SCORE 340507.954
AT ITER 2518 NEW BEST:: SOT 1292926 SOS 708372 HAS SOPS 708372 HAS SOUS 339488 HAS SOUPS 339488 WITH SCORE 340196.372
AT ITER 2526 NEW BEST:: SOT 1292701 SOS 707804 HAS SOPS 707804 HAS SOUS 339279 HAS SOUPS 339279 WITH SCORE 339986.804
AT ITER 2537 NEW BEST:: SOT 1292288 SOS 707438 HAS SOPS 707438 HAS SOUS 338955 HAS SOUPS 338955 WITH SCORE 339662.438
AT ITER 2550 NEW BEST:: SOT 1292287 SOS 707437 HAS SOPS 707437 HAS SOUS 338943 HAS SOUPS 338943 WITH SCORE 339650.437
AT ITER 2554 NEW BEST:: SOT 1292376 SOS 707156 HAS SOPS 707156 HAS SOUS 338662 HAS SOUPS 338662 WITH SCORE 339369.156
AT ITER 2557 NEW BEST:: SOT 1292376 SOS 707140 HAS SOPS 707140 HAS SOUS 338662 HAS SOUPS 338662 WITH SCORE 339369.14
AT ITER 2558 NEW BEST:: SOT 1292288 SOS 706964 HAS SOPS 706964 HAS SOUS 338169 HAS SOUPS 338169 WITH SCORE 338875.964
AT ITER 2560 NEW BEST:: SOT 1292169 SOS 706818 HAS SOPS 706818 HAS SOUS 338050 HAS SOUPS 338050 WITH SCORE 338756.818
AT ITER 2571 NEW BEST:: SOT 1292169 SOS 706719 HAS SOPS 706719 HAS SOUS 337951 HAS SOUPS 337951 WITH SCORE 338657.719
AT ITER 2576 NEW BEST:: SOT 1292564 SOS 706453 HAS SOPS 706453 HAS SOUS 337786 HAS SOUPS 337786 WITH SCORE 338492.453
AT ITER 2579 NEW BEST:: SOT 1292371 SOS 706260 HAS SOPS 706260 HAS SOUS 337593 HAS SOUPS 337593 WITH SCORE 338299.26
AT ITER 2581 NEW BEST:: SOT 1292075 SOS 705516 HAS SOPS 705516 HAS SOUS 336898 HAS SOUPS 336898 WITH SCORE 337603.516
AT ITER 2582 NEW BEST:: SOT 1292074 SOS 705245 HAS SOPS 705245 HAS SOUS 336627 HAS SOUPS 336627 WITH SCORE 337332.245
AT ITER 2584 NEW BEST:: SOT 1292074 SOS 705212 HAS SOPS 705212 HAS SOUS 336627 HAS SOUPS 336627 WITH SCORE 337332.212
AT ITER 2586 NEW BEST:: SOT 1291993 SOS 705212 HAS SOPS 705212 HAS SOUS 336594 HAS SOUPS 336594 WITH SCORE 337299.212
AT ITER 2589 NEW BEST:: SOT 1291993 SOS 705212 HAS SOPS 705212 HAS SOUS 336586 HAS SOUPS 336586 WITH SCORE 337291.212
AT ITER 2593 NEW BEST:: SOT 1291888 SOS 705513 HAS SOPS 705513 HAS SOUS 336557 HAS SOUPS 336557 WITH SCORE 337262.513
AT ITER 2612 NEW BEST:: SOT 1291888 SOS 705142 HAS SOPS 705142 HAS SOUS 336186 HAS SOUPS 336186 WITH SCORE 336891.142
AT ITER 2613 NEW BEST:: SOT 1291652 SOS 704906 HAS SOPS 704906 HAS SOUS 336142 HAS SOUPS 336142 WITH SCORE 336846.906
AT ITER 2615 NEW BEST:: SOT 1291665 SOS 704919 HAS SOPS 704919 HAS SOUS 336095 HAS SOUPS 336095 WITH SCORE 336799.919
AT ITER 2619 NEW BEST:: SOT 1291417 SOS 704616 HAS SOPS 704616 HAS SOUS 335790 HAS SOUPS 335790 WITH SCORE 336494.616
AT ITER 2620 NEW BEST:: SOT 1291333 SOS 704532 HAS SOPS 704532 HAS SOUS 335706 HAS SOUPS 335706 WITH SCORE 336410.532
AT ITER 2623 NEW BEST:: SOT 1291333 SOS 704122 HAS SOPS 704122 HAS SOUS 335253 HAS SOUPS 335253 WITH SCORE 335957.122
AT ITER 2632 NEW BEST:: SOT 1291253 SOS 704266 HAS SOPS 704266 HAS SOUS 335160 HAS SOUPS 335160 WITH SCORE 335864.266
AT ITER 2634 NEW BEST:: SOT 1291253 SOS 703979 HAS SOPS 703979 HAS SOUS 335008 HAS SOUPS 335008 WITH SCORE 335711.979
AT ITER 2637 NEW BEST:: SOT 1291253 SOS 703682 HAS SOPS 703682 HAS SOUS 334711 HAS SOUPS 334711 WITH SCORE 335414.682
AT ITER 2647 NEW BEST:: SOT 1291250 SOS 703676 HAS SOPS 703676 HAS SOUS 334633 HAS SOUPS 334633 WITH SCORE 335336.676
AT ITER 2655 NEW BEST:: SOT 1291138 SOS 703452 HAS SOPS 703452 HAS SOUS 334521 HAS SOUPS 334521 WITH SCORE 335224.452
AT ITER 2659 NEW BEST:: SOT 1291138 SOS 702935 HAS SOPS 702935 HAS SOUS 333788 HAS SOUPS 333788 WITH SCORE 334490.935
AT ITER 2673 NEW BEST:: SOT 1291138 SOS 702935 HAS SOPS 702935 HAS SOUS 333646 HAS SOUPS 333646 WITH SCORE 334348.935
AT ITER 2686 NEW BEST:: SOT 1291138 SOS 702935 HAS SOPS 702935 HAS SOUS 333569 HAS SOUPS 333569 WITH SCORE 334271.935
AT ITER 2703 NEW BEST:: SOT 1291092 SOS 702889 HAS SOPS 702889 HAS SOUS 333537 HAS SOUPS 333537 WITH SCORE 334239.889
AT ITER 2704 NEW BEST:: SOT 1291076 SOS 702997 HAS SOPS 702997 HAS SOUS 333521 HAS SOUPS 333521 WITH SCORE 334223.997
AT ITER 2716 NEW BEST:: SOT 1290453 SOS 702183 HAS SOPS 702183 HAS SOUS 332602 HAS SOUPS 332602 WITH SCORE 333304.183
AT ITER 2726 NEW BEST:: SOT 1290453 SOS 702111 HAS SOPS 702111 HAS SOUS 332555 HAS SOUPS 332555 WITH SCORE 333257.111
AT ITER 2728 NEW BEST:: SOT 1290183 SOS 701571 HAS SOPS 701571 HAS SOUS 332285 HAS SOUPS 332285 WITH SCORE 332986.571
AT ITER 2735 NEW BEST:: SOT 1290125 SOS 701455 HAS SOPS 701455 HAS SOUS 332227 HAS SOUPS 332227 WITH SCORE 332928.455
AT ITER 2744 NEW BEST:: SOT 1290681 SOS 701569 HAS SOPS 701569 HAS SOUS 332083 HAS SOUPS 332083 WITH SCORE 332784.569
AT ITER 2746 NEW BEST:: SOT 1290468 SOS 701232 HAS SOPS 701232 HAS SOUS 331765 HAS SOUPS 331765 WITH SCORE 332466.232
AT ITER 2758 NEW BEST:: SOT 1289977 SOS 700511 HAS SOPS 700511 HAS SOUS 331274 HAS SOUPS 331274 WITH SCORE 331974.511
AT ITER 2763 NEW BEST:: SOT 1289521 SOS 699951 HAS SOPS 699951 HAS SOUS 330818 HAS SOUPS 330818 WITH SCORE 331517.951
AT ITER 2764 NEW BEST:: SOT 1289469 SOS 699899 HAS SOPS 699899 HAS SOUS 330766 HAS SOUPS 330766 WITH SCORE 331465.899
AT ITER 2766 NEW BEST:: SOT 1289627 SOS 699783 HAS SOPS 699783 HAS SOUS 330650 HAS SOUPS 330650 WITH SCORE 331349.783
AT ITER 2784 NEW BEST:: SOT 1289627 SOS 699783 HAS SOPS 699783 HAS SOUS 330303 HAS SOUPS 330303 WITH SCORE 331002.783
AT ITER 2792 NEW BEST:: SOT 1289638 SOS 699615 HAS SOPS 699615 HAS SOUS 330135 HAS SOUPS 330135 WITH SCORE 330834.615
AT ITER 2810 NEW BEST:: SOT 1289623 SOS 699794 HAS SOPS 699794 HAS SOUS 329916 HAS SOUPS 329916 WITH SCORE 330615.794
AT ITER 2820 NEW BEST:: SOT 1289511 SOS 699682 HAS SOPS 699682 HAS SOUS 329804 HAS SOUPS 329804 WITH SCORE 330503.682
AT ITER 2823 NEW BEST:: SOT 1289192 SOS 699363 HAS SOPS 699363 HAS SOUS 329485 HAS SOUPS 329485 WITH SCORE 330184.363
AT ITER 2835 NEW BEST:: SOT 1289267 SOS 699438 HAS SOPS 699438 HAS SOUS 329479 HAS SOUPS 329479 WITH SCORE 330178.438
AT ITER 2860 NEW BEST:: SOT 1288905 SOS 699076 HAS SOPS 699076 HAS SOUS 329218 HAS SOUPS 329218 WITH SCORE 329917.076
AT ITER 2868 NEW BEST:: SOT 1288604 SOS 698497 HAS SOPS 698497 HAS SOUS 328940 HAS SOUPS 328940 WITH SCORE 329638.497
AT ITER 2877 NEW BEST:: SOT 1288641 SOS 698571 HAS SOPS 698571 HAS SOUS 328690 HAS SOUPS 328690 WITH SCORE 329388.571
AT ITER 2882 NEW BEST:: SOT 1288641 SOS 698571 HAS SOPS 698571 HAS SOUS 328677 HAS SOUPS 328677 WITH SCORE 329375.571
AT ITER 2886 NEW BEST:: SOT 1287942 SOS 697497 HAS SOPS 697497 HAS SOUS 328561 HAS SOUPS 328561 WITH SCORE 329258.497
AT ITER 2904 NEW BEST:: SOT 1287868 SOS 697419 HAS SOPS 697419 HAS SOUS 328483 HAS SOUPS 328483 WITH SCORE 329180.419
AT ITER 2906 NEW BEST:: SOT 1287657 SOS 697208 HAS SOPS 697208 HAS SOUS 328272 HAS SOUPS 328272 WITH SCORE 328969.208
AT ITER 2918 NEW BEST:: SOT 1287657 SOS 697208 HAS SOPS 697208 HAS SOUS 328202 HAS SOUPS 328202 WITH SCORE 328899.208
AT ITER 2920 NEW BEST:: SOT 1287657 SOS 697208 HAS SOPS 697208 HAS SOUS 328172 HAS SOUPS 328172 WITH SCORE 328869.208
AT ITER 2923 NEW BEST:: SOT 1287407 SOS 697208 HAS SOPS 697208 HAS SOUS 327922 HAS SOUPS 327922 WITH SCORE 328619.208
AT ITER 2928 NEW BEST:: SOT 1287257 SOS 696484 HAS SOPS 696484 HAS SOUS 327772 HAS SOUPS 327772 WITH SCORE 328468.484
AT ITER 2929 NEW BEST:: SOT 1287358 SOS 695766 HAS SOPS 695766 HAS SOUS 327700 HAS SOUPS 327700 WITH SCORE 328395.766
AT ITER 2933 NEW BEST:: SOT 1287348 SOS 695576 HAS SOPS 695576 HAS SOUS 327680 HAS SOUPS 327680 WITH SCORE 328375.576
AT ITER 2949 NEW BEST:: SOT 1287280 SOS 695508 HAS SOPS 695508 HAS SOUS 327612 HAS SOUPS 327612 WITH SCORE 328307.508
AT ITER 2951 NEW BEST:: SOT 1287553 SOS 695738 HAS SOPS 695738 HAS SOUS 327526 HAS SOUPS 327526 WITH SCORE 328221.738
AT ITER 2958 NEW BEST:: SOT 1287553 SOS 695568 HAS SOPS 695568 HAS SOUS 327526 HAS SOUPS 327526 WITH SCORE 328221.568
AT ITER 2980 NEW BEST:: SOT 1287481 SOS 695424 HAS SOPS 695424 HAS SOUS 327382 HAS SOUPS 327382 WITH SCORE 328077.424
AT ITER 2981 NEW BEST:: SOT 1287399 SOS 695260 HAS SOPS 695260 HAS SOUS 327317 HAS SOUPS 327317 WITH SCORE 328012.26
AT ITER 2989 NEW BEST:: SOT 1287373 SOS 695179 HAS SOPS 695179 HAS SOUS 327262 HAS SOUPS 327262 WITH SCORE 327957.179
AT ITER 2993 NEW BEST:: SOT 1286735 SOS 693903 HAS SOPS 693903 HAS SOUS 326720 HAS SOUPS 326720 WITH SCORE 327413.903
AT ITER 3003 NEW BEST:: SOT 1286735 SOS 693703 HAS SOPS 693703 HAS SOUS 326698 HAS SOUPS 326698 WITH SCORE 327391.703
AT ITER 3022 NEW BEST:: SOT 1286634 SOS 693155 HAS SOPS 693155 HAS SOUS 326496 HAS SOUPS 326496 WITH SCORE 327189.155
AT ITER 3034 NEW BEST:: SOT 1286630 SOS 693147 HAS SOPS 693147 HAS SOUS 326488 HAS SOUPS 326488 WITH SCORE 327181.147
AT ITER 3039 NEW BEST:: SOT 1286479 SOS 693227 HAS SOPS 693227 HAS SOUS 326335 HAS SOUPS 326335 WITH SCORE 327028.227
AT ITER 3041 NEW BEST:: SOT 1286054 SOS 693144 HAS SOPS 693144 HAS SOUS 326005 HAS SOUPS 326005 WITH SCORE 326698.144
AT ITER 3047 NEW BEST:: SOT 1286052 SOS 691848 HAS SOPS 691848 HAS SOUS 326003 HAS SOUPS 326003 WITH SCORE 326694.848
AT ITER 3048 NEW BEST:: SOT 1286052 SOS 691848 HAS SOPS 691848 HAS SOUS 325991 HAS SOUPS 325991 WITH SCORE 326682.848
AT ITER 3050 NEW BEST:: SOT 1285633 SOS 691021 HAS SOPS 691021 HAS SOUS 325422 HAS SOUPS 325422 WITH SCORE 326113.021
AT ITER 3056 NEW BEST:: SOT 1285298 SOS 690394 HAS SOPS 690394 HAS SOUS 324795 HAS SOUPS 324795 WITH SCORE 325485.394
AT ITER 3071 NEW BEST:: SOT 1285257 SOS 690312 HAS SOPS 690312 HAS SOUS 324713 HAS SOUPS 324713 WITH SCORE 325403.312
AT ITER 3074 NEW BEST:: SOT 1285249 SOS 689888 HAS SOPS 689888 HAS SOUS 324705 HAS SOUPS 324705 WITH SCORE 325394.888
AT ITER 3083 NEW BEST:: SOT 1285249 SOS 689769 HAS SOPS 689769 HAS SOUS 324705 HAS SOUPS 324705 WITH SCORE 325394.769
AT ITER 3086 NEW BEST:: SOT 1285174 SOS 689820 HAS SOPS 689820 HAS SOUS 324702 HAS SOUPS 324702 WITH SCORE 325391.82
AT ITER 3090 NEW BEST:: SOT 1285129 SOS 690494 HAS SOPS 690494 HAS SOUS 324310 HAS SOUPS 324310 WITH SCORE 325000.494
AT ITER 3110 NEW BEST:: SOT 1285128 SOS 690492 HAS SOPS 690492 HAS SOUS 324309 HAS SOUPS 324309 WITH SCORE 324999.492
AT ITER 3114 NEW BEST:: SOT 1285321 SOS 690983 HAS SOPS 690983 HAS SOUS 324018 HAS SOUPS 324018 WITH SCORE 324708.983
AT ITER 3118 NEW BEST:: SOT 1285194 SOS 690071 HAS SOPS 690071 HAS SOUS 324002 HAS SOUPS 324002 WITH SCORE 324692.071
AT ITER 3126 NEW BEST:: SOT 1285124 SOS 690001 HAS SOPS 690001 HAS SOUS 323959 HAS SOUPS 323959 WITH SCORE 324649.001
AT ITER 3130 NEW BEST:: SOT 1285124 SOS 689891 HAS SOPS 689891 HAS SOUS 323849 HAS SOUPS 323849 WITH SCORE 324538.891
AT ITER 3135 NEW BEST:: SOT 1285124 SOS 689805 HAS SOPS 689805 HAS SOUS 323806 HAS SOUPS 323806 WITH SCORE 324495.805
AT ITER 3138 NEW BEST:: SOT 1285096 SOS 689777 HAS SOPS 689777 HAS SOUS 323778 HAS SOUPS 323778 WITH SCORE 324467.777
AT ITER 3140 NEW BEST:: SOT 1285096 SOS 689724 HAS SOPS 689724 HAS SOUS 323725 HAS SOUPS 323725 WITH SCORE 324414.724
AT ITER 3145 NEW BEST:: SOT 1285111 SOS 689754 HAS SOPS 689754 HAS SOUS 323723 HAS SOUPS 323723 WITH SCORE 324412.754
AT ITER 3156 NEW BEST:: SOT 1285000 SOS 689643 HAS SOPS 689643 HAS SOUS 323723 HAS SOUPS 323723 WITH SCORE 324412.643
AT ITER 3160 NEW BEST:: SOT 1284834 SOS 689092 HAS SOPS 689092 HAS SOUS 323388 HAS SOUPS 323388 WITH SCORE 324077.092
AT ITER 3163 NEW BEST:: SOT 1284753 SOS 688930 HAS SOPS 688930 HAS SOUS 323299 HAS SOUPS 323299 WITH SCORE 323987.93
AT ITER 3172 NEW BEST:: SOT 1284660 SOS 688937 HAS SOPS 688937 HAS SOUS 323186 HAS SOUPS 323186 WITH SCORE 323874.937
AT ITER 3183 NEW BEST:: SOT 1284316 SOS 688598 HAS SOPS 688598 HAS SOUS 322538 HAS SOUPS 322538 WITH SCORE 323226.598
AT ITER 3185 NEW BEST:: SOT 1284040 SOS 688046 HAS SOPS 688046 HAS SOUS 322099 HAS SOUPS 322099 WITH SCORE 322787.046
AT ITER 3202 NEW BEST:: SOT 1284040 SOS 688046 HAS SOPS 688046 HAS SOUS 322098 HAS SOUPS 322098 WITH SCORE 322786.046
AT ITER 3206 NEW BEST:: SOT 1283930 SOS 687493 HAS SOPS 687493 HAS SOUS 322046 HAS SOUPS 322046 WITH SCORE 322733.493
AT ITER 3209 NEW BEST:: SOT 1284029 SOS 687620 HAS SOPS 687620 HAS SOUS 322010 HAS SOUPS 322010 WITH SCORE 322697.62
AT ITER 3214 NEW BEST:: SOT 1283897 SOS 687488 HAS SOPS 687488 HAS SOUS 322010 HAS SOUPS 322010 WITH SCORE 322697.488
AT ITER 3215 NEW BEST:: SOT 1283380 SOS 686743 HAS SOPS 686743 HAS SOUS 321493 HAS SOUPS 321493 WITH SCORE 322179.743
AT ITER 3222 NEW BEST:: SOT 1283241 SOS 686289 HAS SOPS 686289 HAS SOUS 321425 HAS SOUPS 321425 WITH SCORE 322111.289
AT ITER 3224 NEW BEST:: SOT 1283163 SOS 686055 HAS SOPS 686055 HAS SOUS 321347 HAS SOUPS 321347 WITH SCORE 322033.055
AT ITER 3228 NEW BEST:: SOT 1283089 SOS 685907 HAS SOPS 685907 HAS SOUS 321199 HAS SOUPS 321199 WITH SCORE 321884.907
AT ITER 3236 NEW BEST:: SOT 1282325 SOS 684718 HAS SOPS 684718 HAS SOUS 320747 HAS SOUPS 320747 WITH SCORE 321431.718
AT ITER 3240 NEW BEST:: SOT 1282420 SOS 684842 HAS SOPS 684842 HAS SOUS 320520 HAS SOUPS 320520 WITH SCORE 321204.842
AT ITER 3241 NEW BEST:: SOT 1282015 SOS 684032 HAS SOPS 684032 HAS SOUS 320105 HAS SOUPS 320105 WITH SCORE 320789.032
AT ITER 3247 NEW BEST:: SOT 1281771 SOS 683766 HAS SOPS 683766 HAS SOUS 320029 HAS SOUPS 320029 WITH SCORE 320712.766
AT ITER 3250 NEW BEST:: SOT 1281851 SOS 683846 HAS SOPS 683846 HAS SOUS 320018 HAS SOUPS 320018 WITH SCORE 320701.846
AT ITER 3253 NEW BEST:: SOT 1281907 SOS 683813 HAS SOPS 683813 HAS SOUS 319985 HAS SOUPS 319985 WITH SCORE 320668.813
AT ITER 3261 NEW BEST:: SOT 1281832 SOS 683663 HAS SOPS 683663 HAS SOUS 319870 HAS SOUPS 319870 WITH SCORE 320553.663
AT ITER 3265 NEW BEST:: SOT 1281832 SOS 683663 HAS SOPS 683663 HAS SOUS 319845 HAS SOUPS 319845 WITH SCORE 320528.663
AT ITER 3287 NEW BEST:: SOT 1281832 SOS 683652 HAS SOPS 683652 HAS SOUS 319834 HAS SOUPS 319834 WITH SCORE 320517.652
AT ITER 3290 NEW BEST:: SOT 1281813 SOS 683291 HAS SOPS 683291 HAS SOUS 319815 HAS SOUPS 319815 WITH SCORE 320498.291
AT ITER 3303 NEW BEST:: SOT 1281475 SOS 682432 HAS SOPS 682432 HAS SOUS 319294 HAS SOUPS 319294 WITH SCORE 319976.432
AT ITER 3318 NEW BEST:: SOT 1281404 SOS 682290 HAS SOPS 682290 HAS SOUS 319181 HAS SOUPS 319181 WITH SCORE 319863.29
AT ITER 3320 NEW BEST:: SOT 1281237 SOS 681956 HAS SOPS 681956 HAS SOUS 319121 HAS SOUPS 319121 WITH SCORE 319802.956
AT ITER 3330 NEW BEST:: SOT 1280642 SOS 681685 HAS SOPS 681685 HAS SOUS 318967 HAS SOUPS 318967 WITH SCORE 319648.685
AT ITER 3340 NEW BEST:: SOT 1280719 SOS 682239 HAS SOPS 682239 HAS SOUS 318865 HAS SOUPS 318865 WITH SCORE 319547.239
AT ITER 3342 NEW BEST:: SOT 1280730 SOS 682209 HAS SOPS 682209 HAS SOUS 318783 HAS SOUPS 318783 WITH SCORE 319465.209
AT ITER 3346 NEW BEST:: SOT 1280670 SOS 682149 HAS SOPS 682149 HAS SOUS 318665 HAS SOUPS 318665 WITH SCORE 319347.149
AT ITER 3353 NEW BEST:: SOT 1280439 SOS 682012 HAS SOPS 682012 HAS SOUS 318520 HAS SOUPS 318520 WITH SCORE 319202.012
AT ITER 3367 NEW BEST:: SOT 1280359 SOS 682162 HAS SOPS 682162 HAS SOUS 318505 HAS SOUPS 318505 WITH SCORE 319187.162
AT ITER 3373 NEW BEST:: SOT 1280087 SOS 681618 HAS SOPS 681618 HAS SOUS 318247 HAS SOUPS 318247 WITH SCORE 318928.618
AT ITER 3376 NEW BEST:: SOT 1279682 SOS 681213 HAS SOPS 681213 HAS SOUS 317842 HAS SOUPS 317842 WITH SCORE 318523.213
AT ITER 3383 NEW BEST:: SOT 1279654 SOS 681157 HAS SOPS 681157 HAS SOUS 317786 HAS SOUPS 317786 WITH SCORE 318467.157
AT ITER 3384 NEW BEST:: SOT 1280268 SOS 681287 HAS SOPS 681287 HAS SOUS 317693 HAS SOUPS 317693 WITH SCORE 318374.287
AT ITER 3389 NEW BEST:: SOT 1280267 SOS 681262 HAS SOPS 681262 HAS SOUS 317691 HAS SOUPS 317691 WITH SCORE 318372.262
AT ITER 3390 NEW BEST:: SOT 1280054 SOS 681181 HAS SOPS 681181 HAS SOUS 317431 HAS SOUPS 317431 WITH SCORE 318112.181
AT ITER 3399 NEW BEST:: SOT 1280054 SOS 681149 HAS SOPS 681149 HAS SOUS 317431 HAS SOUPS 317431 WITH SCORE 318112.149
AT ITER 3403 NEW BEST:: SOT 1279982 SOS 681113 HAS SOPS 681113 HAS SOUS 317359 HAS SOUPS 317359 WITH SCORE 318040.113
AT ITER 3410 NEW BEST:: SOT 1279982 SOS 681113 HAS SOPS 681113 HAS SOUS 317338 HAS SOUPS 317338 WITH SCORE 318019.113
AT ITER 3416 NEW BEST:: SOT 1279814 SOS 680945 HAS SOPS 680945 HAS SOUS 317170 HAS SOUPS 317170 WITH SCORE 317850.945
AT ITER 3419 NEW BEST:: SOT 1279812 SOS 680943 HAS SOPS 680943 HAS SOUS 317168 HAS SOUPS 317168 WITH SCORE 317848.943
AT ITER 3420 NEW BEST:: SOT 1279655 SOS 680786 HAS SOPS 680786 HAS SOUS 317091 HAS SOUPS 317091 WITH SCORE 317771.786
AT ITER 3424 NEW BEST:: SOT 1279476 SOS 680607 HAS SOPS 680607 HAS SOUS 316912 HAS SOUPS 316912 WITH SCORE 317592.607
AT ITER 3427 NEW BEST:: SOT 1279476 SOS 680607 HAS SOPS 680607 HAS SOUS 316867 HAS SOUPS 316867 WITH SCORE 317547.607
AT ITER 3428 NEW BEST:: SOT 1279411 SOS 680576 HAS SOPS 680576 HAS SOUS 316836 HAS SOUPS 316836 WITH SCORE 317516.576
AT ITER 3429 NEW BEST:: SOT 1279349 SOS 666727 HAS SOPS 666727 HAS SOUS 316774 HAS SOUPS 316774 WITH SCORE 317440.727
AT ITER 3432 NEW BEST:: SOT 1279317 SOS 666663 HAS SOPS 666663 HAS SOUS 316710 HAS SOUPS 316710 WITH SCORE 317376.663
AT ITER 3433 NEW BEST:: SOT 1279524 SOS 666447 HAS SOPS 666447 HAS SOUS 316681 HAS SOUPS 316681 WITH SCORE 317347.447
AT ITER 3462 NEW BEST:: SOT 1279380 SOS 666303 HAS SOPS 666303 HAS SOUS 316537 HAS SOUPS 316537 WITH SCORE 317203.303
AT ITER 3475 NEW BEST:: SOT 1279141 SOS 665946 HAS SOPS 665946 HAS SOUS 316298 HAS SOUPS 316298 WITH SCORE 316963.946
AT ITER 3486 NEW BEST:: SOT 1279130 SOS 665913 HAS SOPS 665913 HAS SOUS 316265 HAS SOUPS 316265 WITH SCORE 316930.913
AT ITER 3493 NEW BEST:: SOT 1279130 SOS 665520 HAS SOPS 665520 HAS SOUS 315872 HAS SOUPS 315872 WITH SCORE 316537.52
AT ITER 3502 NEW BEST:: SOT 1279142 SOS 665639 HAS SOPS 665639 HAS SOUS 315853 HAS SOUPS 315853 WITH SCORE 316518.639
AT ITER 3504 NEW BEST:: SOT 1279224 SOS 665523 HAS SOPS 665523 HAS SOUS 315766 HAS SOUPS 315766 WITH SCORE 316431.523
AT ITER 3507 NEW BEST:: SOT 1279246 SOS 665263 HAS SOPS 665263 HAS SOUS 315756 HAS SOUPS 315756 WITH SCORE 316421.263
AT ITER 3510 NEW BEST:: SOT 1279205 SOS 665181 HAS SOPS 665181 HAS SOUS 315715 HAS SOUPS 315715 WITH SCORE 316380.181
AT ITER 3515 NEW BEST:: SOT 1278919 SOS 664623 HAS SOPS 664623 HAS SOUS 315399 HAS SOUPS 315399 WITH SCORE 316063.623
AT ITER 3522 NEW BEST:: SOT 1278759 SOS 664303 HAS SOPS 664303 HAS SOUS 315239 HAS SOUPS 315239 WITH SCORE 315903.303
AT ITER 3529 NEW BEST:: SOT 1278757 SOS 664301 HAS SOPS 664301 HAS SOUS 315237 HAS SOUPS 315237 WITH SCORE 315901.301
AT ITER 3530 NEW BEST:: SOT 1278668 SOS 664123 HAS SOPS 664123 HAS SOUS 315059 HAS SOUPS 315059 WITH SCORE 315723.123
AT ITER 3563 NEW BEST:: SOT 1278645 SOS 664101 HAS SOPS 664101 HAS SOUS 315037 HAS SOUPS 315037 WITH SCORE 315701.101
AT ITER 3577 NEW BEST:: SOT 1278645 SOS 664099 HAS SOPS 664099 HAS SOUS 315037 HAS SOUPS 315037 WITH SCORE 315701.099
AT ITER 3586 NEW BEST:: SOT 1277502 SOS 663781 HAS SOPS 663781 HAS SOUS 315026 HAS SOUPS 315026 WITH SCORE 315689.781
AT ITER 3597 NEW BEST:: SOT 1277545 SOS 663731 HAS SOPS 663731 HAS SOUS 314811 HAS SOUPS 314811 WITH SCORE 315474.731
AT ITER 3602 NEW BEST:: SOT 1277468 SOS 663748 HAS SOPS 663748 HAS SOUS 314734 HAS SOUPS 314734 WITH SCORE 315397.748
AT ITER 3608 NEW BEST:: SOT 1277471 SOS 664279 HAS SOPS 664279 HAS SOUS 314513 HAS SOUPS 314513 WITH SCORE 315177.279
AT ITER 3610 NEW BEST:: SOT 1277453 SOS 664169 HAS SOPS 664169 HAS SOUS 314495 HAS SOUPS 314495 WITH SCORE 315159.169
AT ITER 3621 NEW BEST:: SOT 1277453 SOS 664033 HAS SOPS 664033 HAS SOUS 314359 HAS SOUPS 314359 WITH SCORE 315023.033
AT ITER 3631 NEW BEST:: SOT 1277353 SOS 663931 HAS SOPS 663931 HAS SOUS 314251 HAS SOUPS 314251 WITH SCORE 314914.931
AT ITER 3640 NEW BEST:: SOT 1277353 SOS 663890 HAS SOPS 663890 HAS SOUS 314251 HAS SOUPS 314251 WITH SCORE 314914.89
AT ITER 3648 NEW BEST:: SOT 1277266 SOS 663803 HAS SOPS 663803 HAS SOUS 314162 HAS SOUPS 314162 WITH SCORE 314825.803
AT ITER 3649 NEW BEST:: SOT 1277220 SOS 663619 HAS SOPS 663619 HAS SOUS 314024 HAS SOUPS 314024 WITH SCORE 314687.619
AT ITER 3654 NEW BEST:: SOT 1276792 SOS 663191 HAS SOPS 663191 HAS SOUS 313641 HAS SOUPS 313641 WITH SCORE 314304.191
AT ITER 3657 NEW BEST:: SOT 1276792 SOS 663088 HAS SOPS 663088 HAS SOUS 313462 HAS SOUPS 313462 WITH SCORE 314125.088
AT ITER 3658 NEW BEST:: SOT 1276758 SOS 663020 HAS SOPS 663020 HAS SOUS 313394 HAS SOUPS 313394 WITH SCORE 314057.02
AT ITER 3660 NEW BEST:: SOT 1276267 SOS 663546 HAS SOPS 663546 HAS SOUS 312568 HAS SOUPS 312568 WITH SCORE 313231.546
AT ITER 3667 NEW BEST:: SOT 1276267 SOS 663546 HAS SOPS 663546 HAS SOUS 312544 HAS SOUPS 312544 WITH SCORE 313207.546
AT ITER 3673 NEW BEST:: SOT 1276015 SOS 662041 HAS SOPS 662041 HAS SOUS 311873 HAS SOUPS 311873 WITH SCORE 312535.041
AT ITER 3699 NEW BEST:: SOT 1276015 SOS 662033 HAS SOPS 662033 HAS SOUS 311865 HAS SOUPS 311865 WITH SCORE 312527.033
AT ITER 3700 NEW BEST:: SOT 1275996 SOS 661995 HAS SOPS 661995 HAS SOUS 311846 HAS SOUPS 311846 WITH SCORE 312507.995
AT ITER 3704 NEW BEST:: SOT 1275871 SOS 661800 HAS SOPS 661800 HAS SOUS 311751 HAS SOUPS 311751 WITH SCORE 312412.8
AT ITER 3708 NEW BEST:: SOT 1275693 SOS 661444 HAS SOPS 661444 HAS SOUS 311573 HAS SOUPS 311573 WITH SCORE 312234.444
AT ITER 3709 NEW BEST:: SOT 1275693 SOS 661444 HAS SOPS 661444 HAS SOUS 311561 HAS SOUPS 311561 WITH SCORE 312222.444
AT ITER 3710 NEW BEST:: SOT 1275719 SOS 661496 HAS SOPS 661496 HAS SOUS 311137 HAS SOUPS 311137 WITH SCORE 311798.496
AT ITER 3714 NEW BEST:: SOT 1275656 SOS 661370 HAS SOPS 661370 HAS SOUS 311074 HAS SOUPS 311074 WITH SCORE 311735.37
AT ITER 3730 NEW BEST:: SOT 1275643 SOS 661357 HAS SOPS 661357 HAS SOUS 311069 HAS SOUPS 311069 WITH SCORE 311730.357
AT ITER 3731 NEW BEST:: SOT 1275339 SOS 661053 HAS SOPS 661053 HAS SOUS 310524 HAS SOUPS 310524 WITH SCORE 311185.053
AT ITER 3743 NEW BEST:: SOT 1275213 SOS 660801 HAS SOPS 660801 HAS SOUS 310398 HAS SOUPS 310398 WITH SCORE 311058.801
AT ITER 3745 NEW BEST:: SOT 1275164 SOS 660703 HAS SOPS 660703 HAS SOUS 310372 HAS SOUPS 310372 WITH SCORE 311032.703
AT ITER 3757 NEW BEST:: SOT 1275009 SOS 660197 HAS SOPS 660197 HAS SOUS 310092 HAS SOUPS 310092 WITH SCORE 310752.197
AT ITER 3759 NEW BEST:: SOT 1275009 SOS 660197 HAS SOPS 660197 HAS SOUS 310003 HAS SOUPS 310003 WITH SCORE 310663.197
AT ITER 3771 NEW BEST:: SOT 1275186 SOS 659834 HAS SOPS 659834 HAS SOUS 309869 HAS SOUPS 309869 WITH SCORE 310528.834
AT ITER 3774 NEW BEST:: SOT 1275112 SOS 659686 HAS SOPS 659686 HAS SOUS 309795 HAS SOUPS 309795 WITH SCORE 310454.686
AT ITER 3782 NEW BEST:: SOT 1275112 SOS 659686 HAS SOPS 659686 HAS SOUS 309725 HAS SOUPS 309725 WITH SCORE 310384.686
AT ITER 3783 NEW BEST:: SOT 1275241 SOS 659320 HAS SOPS 659320 HAS SOUS 309684 HAS SOUPS 309684 WITH SCORE 310343.32
AT ITER 3786 NEW BEST:: SOT 1275104 SOS 659408 HAS SOPS 659408 HAS SOUS 309547 HAS SOUPS 309547 WITH SCORE 310206.408
AT ITER 3793 NEW BEST:: SOT 1275104 SOS 659408 HAS SOPS 659408 HAS SOUS 309348 HAS SOUPS 309348 WITH SCORE 310007.408
AT ITER 3807 NEW BEST:: SOT 1275077 SOS 659419 HAS SOPS 659419 HAS SOUS 309294 HAS SOUPS 309294 WITH SCORE 309953.419
AT ITER 3813 NEW BEST:: SOT 1275077 SOS 659173 HAS SOPS 659173 HAS SOUS 309048 HAS SOUPS 309048 WITH SCORE 309707.173
AT ITER 3815 NEW BEST:: SOT 1275059 SOS 659137 HAS SOPS 659137 HAS SOUS 309021 HAS SOUPS 309021 WITH SCORE 309680.137
AT ITER 3819 NEW BEST:: SOT 1274478 SOS 658259 HAS SOPS 658259 HAS SOUS 308524 HAS SOUPS 308524 WITH SCORE 309182.259
AT ITER 3828 NEW BEST:: SOT 1274152 SOS 657298 HAS SOPS 657298 HAS SOUS 308155 HAS SOUPS 308155 WITH SCORE 308812.298
AT ITER 3851 NEW BEST:: SOT 1274075 SOS 657221 HAS SOPS 657221 HAS SOUS 308078 HAS SOUPS 308078 WITH SCORE 308735.221
AT ITER 3855 NEW BEST:: SOT 1274075 SOS 657198 HAS SOPS 657198 HAS SOUS 308078 HAS SOUPS 308078 WITH SCORE 308735.198
AT ITER 3861 NEW BEST:: SOT 1274059 SOS 657166 HAS SOPS 657166 HAS SOUS 308046 HAS SOUPS 308046 WITH SCORE 308703.166
AT ITER 3864 NEW BEST:: SOT 1273957 SOS 657064 HAS SOPS 657064 HAS SOUS 307944 HAS SOUPS 307944 WITH SCORE 308601.064
AT ITER 3878 NEW BEST:: SOT 1273901 SOS 657008 HAS SOPS 657008 HAS SOUS 307888 HAS SOUPS 307888 WITH SCORE 308545.008
AT ITER 3884 NEW BEST:: SOT 1273901 SOS 656387 HAS SOPS 656387 HAS SOUS 307425 HAS SOUPS 307425 WITH SCORE 308081.387
AT ITER 3896 NEW BEST:: SOT 1273783 SOS 656272 HAS SOPS 656272 HAS SOUS 307189 HAS SOUPS 307189 WITH SCORE 307845.272
AT ITER 3922 NEW BEST:: SOT 1273778 SOS 656337 HAS SOPS 656337 HAS SOUS 307109 HAS SOUPS 307109 WITH SCORE 307765.337
AT ITER 3927 NEW BEST:: SOT 1273296 SOS 656867 HAS SOPS 656867 HAS SOUS 306793 HAS SOUPS 306793 WITH SCORE 307449.867
AT ITER 3928 NEW BEST:: SOT 1273185 SOS 656794 HAS SOPS 656794 HAS SOUS 306763 HAS SOUPS 306763 WITH SCORE 307419.794
AT ITER 3930 NEW BEST:: SOT 1273185 SOS 656794 HAS SOPS 656794 HAS SOUS 306758 HAS SOUPS 306758 WITH SCORE 307414.794
AT ITER 3932 NEW BEST:: SOT 1273132 SOS 656674 HAS SOPS 656674 HAS SOUS 306638 HAS SOUPS 306638 WITH SCORE 307294.674
AT ITER 3933 NEW BEST:: SOT 1273173 SOS 656600 HAS SOPS 656600 HAS SOUS 306550 HAS SOUPS 306550 WITH SCORE 307206.6
AT ITER 3935 NEW BEST:: SOT 1273145 SOS 656572 HAS SOPS 656572 HAS SOUS 306509 HAS SOUPS 306509 WITH SCORE 307165.572
AT ITER 3945 NEW BEST:: SOT 1273560 SOS 656472 HAS SOPS 656472 HAS SOUS 306339 HAS SOUPS 306339 WITH SCORE 306995.472
AT ITER 3946 NEW BEST:: SOT 1273630 SOS 656476 HAS SOPS 656476 HAS SOUS 306097 HAS SOUPS 306097 WITH SCORE 306753.476
AT ITER 3949 NEW BEST:: SOT 1273548 SOS 656394 HAS SOPS 656394 HAS SOUS 306015 HAS SOUPS 306015 WITH SCORE 306671.394
AT ITER 3958 NEW BEST:: SOT 1273405 SOS 656108 HAS SOPS 656108 HAS SOUS 305872 HAS SOUPS 305872 WITH SCORE 306528.108
AT ITER 3963 NEW BEST:: SOT 1273405 SOS 656096 HAS SOPS 656096 HAS SOUS 305453 HAS SOUPS 305453 WITH SCORE 306109.096
AT ITER 3968 NEW BEST:: SOT 1273356 SOS 656047 HAS SOPS 656047 HAS SOUS 305404 HAS SOUPS 305404 WITH SCORE 306060.047
AT ITER 3971 NEW BEST:: SOT 1273146 SOS 655627 HAS SOPS 655627 HAS SOUS 305306 HAS SOUPS 305306 WITH SCORE 305961.627
AT ITER 3977 NEW BEST:: SOT 1272822 SOS 655228 HAS SOPS 655228 HAS SOUS 304982 HAS SOUPS 304982 WITH SCORE 305637.228
AT ITER 3978 NEW BEST:: SOT 1272822 SOS 655228 HAS SOPS 655228 HAS SOUS 304919 HAS SOUPS 304919 WITH SCORE 305574.228
AT ITER 3983 NEW BEST:: SOT 1272822 SOS 655094 HAS SOPS 655094 HAS SOUS 304919 HAS SOUPS 304919 WITH SCORE 305574.094
AT ITER 3984 NEW BEST:: SOT 1272814 SOS 655078 HAS SOPS 655078 HAS SOUS 304478 HAS SOUPS 304478 WITH SCORE 305133.078
AT ITER 3988 NEW BEST:: SOT 1272735 SOS 654845 HAS SOPS 654845 HAS SOUS 304416 HAS SOUPS 304416 WITH SCORE 305070.845
AT ITER 3997 NEW BEST:: SOT 1272804 SOS 654624 HAS SOPS 654624 HAS SOUS 304195 HAS SOUPS 304195 WITH SCORE 304849.624
AT ITER 4017 NEW BEST:: SOT 1273279 SOS 654407 HAS SOPS 654407 HAS SOUS 304117 HAS SOUPS 304117 WITH SCORE 304771.407
AT ITER 4018 NEW BEST:: SOT 1273159 SOS 654287 HAS SOPS 654287 HAS SOUS 303997 HAS SOUPS 303997 WITH SCORE 304651.287
AT ITER 4021 NEW BEST:: SOT 1273159 SOS 654134 HAS SOPS 654134 HAS SOUS 303689 HAS SOUPS 303689 WITH SCORE 304343.134
AT ITER 4033 NEW BEST:: SOT 1273159 SOS 653954 HAS SOPS 653954 HAS SOUS 303689 HAS SOUPS 303689 WITH SCORE 304342.954
AT ITER 4037 NEW BEST:: SOT 1273050 SOS 653903 HAS SOPS 653903 HAS SOUS 303638 HAS SOUPS 303638 WITH SCORE 304291.903
AT ITER 4038 NEW BEST:: SOT 1272838 SOS 653585 HAS SOPS 653585 HAS SOUS 303426 HAS SOUPS 303426 WITH SCORE 304079.585
AT ITER 4051 NEW BEST:: SOT 1272776 SOS 653484 HAS SOPS 653484 HAS SOUS 303364 HAS SOUPS 303364 WITH SCORE 304017.484
AT ITER 4053 NEW BEST:: SOT 1272756 SOS 653464 HAS SOPS 653464 HAS SOUS 303344 HAS SOUPS 303344 WITH SCORE 303997.464
AT ITER 4054 NEW BEST:: SOT 1272736 SOS 653084 HAS SOPS 653084 HAS SOUS 303324 HAS SOUPS 303324 WITH SCORE 303977.084
AT ITER 4059 NEW BEST:: SOT 1272376 SOS 652364 HAS SOPS 652364 HAS SOUS 302964 HAS SOUPS 302964 WITH SCORE 303616.364
AT ITER 4070 NEW BEST:: SOT 1272148 SOS 651908 HAS SOPS 651908 HAS SOUS 302964 HAS SOUPS 302964 WITH SCORE 303615.908
AT ITER 4076 NEW BEST:: SOT 1272148 SOS 651908 HAS SOPS 651908 HAS SOUS 302917 HAS SOUPS 302917 WITH SCORE 303568.908
AT ITER 4081 NEW BEST:: SOT 1272236 SOS 651996 HAS SOPS 651996 HAS SOUS 302891 HAS SOUPS 302891 WITH SCORE 303542.996
AT ITER 4083 NEW BEST:: SOT 1272208 SOS 652040 HAS SOPS 652040 HAS SOUS 302775 HAS SOUPS 302775 WITH SCORE 303427.04
AT ITER 4091 NEW BEST:: SOT 1271792 SOS 651570 HAS SOPS 651570 HAS SOUS 302233 HAS SOUPS 302233 WITH SCORE 302884.57
AT ITER 4093 NEW BEST:: SOT 1271785 SOS 651563 HAS SOPS 651563 HAS SOUS 302226 HAS SOUPS 302226 WITH SCORE 302877.563
AT ITER 4094 NEW BEST:: SOT 1271695 SOS 651653 HAS SOPS 651653 HAS SOUS 302151 HAS SOUPS 302151 WITH SCORE 302802.653
AT ITER 4097 NEW BEST:: SOT 1271702 SOS 651524 HAS SOPS 651524 HAS SOUS 302022 HAS SOUPS 302022 WITH SCORE 302673.524
AT ITER 4104 NEW BEST:: SOT 1271702 SOS 651403 HAS SOPS 651403 HAS SOUS 302022 HAS SOUPS 302022 WITH SCORE 302673.403
AT ITER 4106 NEW BEST:: SOT 1271693 SOS 651376 HAS SOPS 651376 HAS SOUS 302004 HAS SOUPS 302004 WITH SCORE 302655.376
AT ITER 4112 NEW BEST:: SOT 1271647 SOS 651110 HAS SOPS 651110 HAS SOUS 301864 HAS SOUPS 301864 WITH SCORE 302515.11
AT ITER 4119 NEW BEST:: SOT 1271674 SOS 650621 HAS SOPS 650621 HAS SOUS 301375 HAS SOUPS 301375 WITH SCORE 302025.621
AT ITER 4127 NEW BEST:: SOT 1271565 SOS 650361 HAS SOPS 650361 HAS SOUS 300908 HAS SOUPS 300908 WITH SCORE 301558.361
AT ITER 4132 NEW BEST:: SOT 1271819 SOS 650554 HAS SOPS 650554 HAS SOUS 300847 HAS SOUPS 300847 WITH SCORE 301497.554
AT ITER 4134 NEW BEST:: SOT 1271699 SOS 650545 HAS SOPS 650545 HAS SOUS 300770 HAS SOUPS 300770 WITH SCORE 301420.545
AT ITER 4137 NEW BEST:: SOT 1271699 SOS 650457 HAS SOPS 650457 HAS SOUS 300682 HAS SOUPS 300682 WITH SCORE 301332.457
AT ITER 4151 NEW BEST:: SOT 1271491 SOS 650749 HAS SOPS 650749 HAS SOUS 300619 HAS SOUPS 300619 WITH SCORE 301269.749
AT ITER 4154 NEW BEST:: SOT 1271103 SOS 650382 HAS SOPS 650382 HAS SOUS 300448 HAS SOUPS 300448 WITH SCORE 301098.382
AT ITER 4173 NEW BEST:: SOT 1271192 SOS 649222 HAS SOPS 649222 HAS SOUS 300120 HAS SOUPS 300120 WITH SCORE 300769.222
AT ITER 4183 NEW BEST:: SOT 1271192 SOS 649122 HAS SOPS 649122 HAS SOUS 300077 HAS SOUPS 300077 WITH SCORE 300726.122
AT ITER 4188 NEW BEST:: SOT 1271284 SOS 649078 HAS SOPS 649078 HAS SOUS 300067 HAS SOUPS 300067 WITH SCORE 300716.078
AT ITER 4193 NEW BEST:: SOT 1270994 SOS 648960 HAS SOPS 648960 HAS SOUS 299949 HAS SOUPS 299949 WITH SCORE 300597.96
AT ITER 4227 NEW BEST:: SOT 1271003 SOS 648934 HAS SOPS 648934 HAS SOUS 299834 HAS SOUPS 299834 WITH SCORE 300482.934
AT ITER 4229 NEW BEST:: SOT 1270999 SOS 648930 HAS SOPS 648930 HAS SOUS 299830 HAS SOUPS 299830 WITH SCORE 300478.93
AT ITER 4239 NEW BEST:: SOT 1270968 SOS 648868 HAS SOPS 648868 HAS SOUS 299768 HAS SOUPS 299768 WITH SCORE 300416.868
AT ITER 4248 NEW BEST:: SOT 1270938 SOS 648808 HAS SOPS 648808 HAS SOUS 299708 HAS SOUPS 299708 WITH SCORE 300356.808
AT ITER 4254 NEW BEST:: SOT 1270921 SOS 648774 HAS SOPS 648774 HAS SOUS 299691 HAS SOUPS 299691 WITH SCORE 300339.774
AT ITER 4260 NEW BEST:: SOT 1270862 SOS 648656 HAS SOPS 648656 HAS SOUS 299566 HAS SOUPS 299566 WITH SCORE 300214.656
AT ITER 4262 NEW BEST:: SOT 1270224 SOS 646704 HAS SOPS 646704 HAS SOUS 298148 HAS SOUPS 298148 WITH SCORE 298794.704
AT ITER 4282 NEW BEST:: SOT 1270088 SOS 646432 HAS SOPS 646432 HAS SOUS 297892 HAS SOUPS 297892 WITH SCORE 298538.432
AT ITER 4295 NEW BEST:: SOT 1270066 SOS 646416 HAS SOPS 646416 HAS SOUS 297870 HAS SOUPS 297870 WITH SCORE 298516.416
AT ITER 4298 NEW BEST:: SOT 1269945 SOS 646295 HAS SOPS 646295 HAS SOUS 297628 HAS SOUPS 297628 WITH SCORE 298274.295
AT ITER 4316 NEW BEST:: SOT 1269945 SOS 645774 HAS SOPS 645774 HAS SOUS 297628 HAS SOUPS 297628 WITH SCORE 298273.774
AT ITER 4318 NEW BEST:: SOT 1270024 SOS 645932 HAS SOPS 645932 HAS SOUS 297607 HAS SOUPS 297607 WITH SCORE 298252.932
AT ITER 4322 NEW BEST:: SOT 1269454 SOS 645362 HAS SOPS 645362 HAS SOUS 297037 HAS SOUPS 297037 WITH SCORE 297682.362
AT ITER 4323 NEW BEST:: SOT 1269327 SOS 645075 HAS SOPS 645075 HAS SOUS 296910 HAS SOUPS 296910 WITH SCORE 297555.075
AT ITER 4338 NEW BEST:: SOT 1269327 SOS 644981 HAS SOPS 644981 HAS SOUS 296910 HAS SOUPS 296910 WITH SCORE 297554.981
AT ITER 4341 NEW BEST:: SOT 1269446 SOS 645152 HAS SOPS 645152 HAS SOUS 296860 HAS SOUPS 296860 WITH SCORE 297505.152
AT ITER 4348 NEW BEST:: SOT 1268340 SOS 645524 HAS SOPS 645524 HAS SOUS 295754 HAS SOUPS 295754 WITH SCORE 296399.524
AT ITER 4349 NEW BEST:: SOT 1268303 SOS 645170 HAS SOPS 645170 HAS SOUS 295680 HAS SOUPS 295680 WITH SCORE 296325.17
AT ITER 4351 NEW BEST:: SOT 1268000 SOS 644867 HAS SOPS 644867 HAS SOUS 295568 HAS SOUPS 295568 WITH SCORE 296212.867
AT ITER 4353 NEW BEST:: SOT 1267920 SOS 644707 HAS SOPS 644707 HAS SOUS 295516 HAS SOUPS 295516 WITH SCORE 296160.707
AT ITER 4394 NEW BEST:: SOT 1267920 SOS 644702 HAS SOPS 644702 HAS SOUS 295472 HAS SOUPS 295472 WITH SCORE 296116.702
AT ITER 4400 NEW BEST:: SOT 1267920 SOS 644647 HAS SOPS 644647 HAS SOUS 295417 HAS SOUPS 295417 WITH SCORE 296061.647
AT ITER 4422 NEW BEST:: SOT 1267921 SOS 644648 HAS SOPS 644648 HAS SOUS 295414 HAS SOUPS 295414 WITH SCORE 296058.648
AT ITER 4424 NEW BEST:: SOT 1267921 SOS 644517 HAS SOPS 644517 HAS SOUS 295152 HAS SOUPS 295152 WITH SCORE 295796.517
AT ITER 4434 NEW BEST:: SOT 1267797 SOS 641192 HAS SOPS 641192 HAS SOUS 294847 HAS SOUPS 294847 WITH SCORE 295488.192
AT ITER 4445 NEW BEST:: SOT 1267861 SOS 641243 HAS SOPS 641243 HAS SOUS 294842 HAS SOUPS 294842 WITH SCORE 295483.243
AT ITER 4446 NEW BEST:: SOT 1267843 SOS 641152 HAS SOPS 641152 HAS SOUS 294824 HAS SOUPS 294824 WITH SCORE 295465.152
AT ITER 4470 NEW BEST:: SOT 1267843 SOS 641152 HAS SOPS 641152 HAS SOUS 294712 HAS SOUPS 294712 WITH SCORE 295353.152
AT ITER 4471 NEW BEST:: SOT 1267737 SOS 640940 HAS SOPS 640940 HAS SOUS 294606 HAS SOUPS 294606 WITH SCORE 295246.94
AT ITER 4483 NEW BEST:: SOT 1267774 SOS 641236 HAS SOPS 641236 HAS SOUS 294601 HAS SOUPS 294601 WITH SCORE 295242.236
AT ITER 4484 NEW BEST:: SOT 1267747 SOS 641209 HAS SOPS 641209 HAS SOUS 294547 HAS SOUPS 294547 WITH SCORE 295188.209
AT ITER 4519 NEW BEST:: SOT 1267747 SOS 641209 HAS SOPS 641209 HAS SOUS 294373 HAS SOUPS 294373 WITH SCORE 295014.209
AT ITER 4531 NEW BEST:: SOT 1268060 SOS 641747 HAS SOPS 641747 HAS SOUS 294286 HAS SOUPS 294286 WITH SCORE 294927.747
AT ITER 4537 NEW BEST:: SOT 1268060 SOS 641573 HAS SOPS 641573 HAS SOUS 294286 HAS SOUPS 294286 WITH SCORE 294927.573
AT ITER 4543 NEW BEST:: SOT 1268088 SOS 640733 HAS SOPS 640733 HAS SOUS 294286 HAS SOUPS 294286 WITH SCORE 294926.733
AT ITER 4553 NEW BEST:: SOT 1267874 SOS 640682 HAS SOPS 640682 HAS SOUS 294220 HAS SOUPS 294220 WITH SCORE 294860.682
AT ITER 4575 NEW BEST:: SOT 1268135 SOS 640850 HAS SOPS 640850 HAS SOUS 294127 HAS SOUPS 294127 WITH SCORE 294767.85
AT ITER 4583 NEW BEST:: SOT 1268135 SOS 640850 HAS SOPS 640850 HAS SOUS 294095 HAS SOUPS 294095 WITH SCORE 294735.85
AT ITER 4589 NEW BEST:: SOT 1267816 SOS 639787 HAS SOPS 639787 HAS SOUS 293726 HAS SOUPS 293726 WITH SCORE 294365.787
AT ITER 4590 NEW BEST:: SOT 1267815 SOS 639680 HAS SOPS 639680 HAS SOUS 293725 HAS SOUPS 293725 WITH SCORE 294364.68
AT ITER 4593 NEW BEST:: SOT 1267811 SOS 639672 HAS SOPS 639672 HAS SOUS 293717 HAS SOUPS 293717 WITH SCORE 294356.672
AT ITER 4600 NEW BEST:: SOT 1267717 SOS 639578 HAS SOPS 639578 HAS SOUS 293623 HAS SOUPS 293623 WITH SCORE 294262.578
AT ITER 4605 NEW BEST:: SOT 1267960 SOS 639688 HAS SOPS 639688 HAS SOUS 292854 HAS SOUPS 292854 WITH SCORE 293493.688
AT ITER 4614 NEW BEST:: SOT 1267852 SOS 639634 HAS SOPS 639634 HAS SOUS 292854 HAS SOUPS 292854 WITH SCORE 293493.634
AT ITER 4619 NEW BEST:: SOT 1267814 SOS 639596 HAS SOPS 639596 HAS SOUS 292816 HAS SOUPS 292816 WITH SCORE 293455.596
AT ITER 4625 NEW BEST:: SOT 1267814 SOS 639486 HAS SOPS 639486 HAS SOUS 292776 HAS SOUPS 292776 WITH SCORE 293415.486
AT ITER 4636 NEW BEST:: SOT 1267501 SOS 638860 HAS SOPS 638860 HAS SOUS 292463 HAS SOUPS 292463 WITH SCORE 293101.86
AT ITER 4645 NEW BEST:: SOT 1267212 SOS 638964 HAS SOPS 638964 HAS SOUS 291823 HAS SOUPS 291823 WITH SCORE 292461.964
AT ITER 4658 NEW BEST:: SOT 1267198 SOS 638964 HAS SOPS 638964 HAS SOUS 291795 HAS SOUPS 291795 WITH SCORE 292433.964
AT ITER 4662 NEW BEST:: SOT 1267202 SOS 638972 HAS SOPS 638972 HAS SOUS 291623 HAS SOUPS 291623 WITH SCORE 292261.972
AT ITER 4665 NEW BEST:: SOT 1267000 SOS 638532 HAS SOPS 638532 HAS SOUS 291219 HAS SOUPS 291219 WITH SCORE 291857.532
AT ITER 4671 NEW BEST:: SOT 1266989 SOS 638510 HAS SOPS 638510 HAS SOUS 291208 HAS SOUPS 291208 WITH SCORE 291846.51
AT ITER 4685 NEW BEST:: SOT 1266443 SOS 637641 HAS SOPS 637641 HAS SOUS 290792 HAS SOUPS 290792 WITH SCORE 291429.641
AT ITER 4690 NEW BEST:: SOT 1266418 SOS 637616 HAS SOPS 637616 HAS SOUS 290742 HAS SOUPS 290742 WITH SCORE 291379.616
AT ITER 4693 NEW BEST:: SOT 1266006 SOS 637204 HAS SOPS 637204 HAS SOUS 290136 HAS SOUPS 290136 WITH SCORE 290773.204
AT ITER 4695 NEW BEST:: SOT 1266006 SOS 637204 HAS SOPS 637204 HAS SOUS 289913 HAS SOUPS 289913 WITH SCORE 290550.204
AT ITER 4698 NEW BEST:: SOT 1265920 SOS 637118 HAS SOPS 637118 HAS SOUS 289827 HAS SOUPS 289827 WITH SCORE 290464.118
AT ITER 4704 NEW BEST:: SOT 1265867 SOS 637065 HAS SOPS 637065 HAS SOUS 289721 HAS SOUPS 289721 WITH SCORE 290358.065
AT ITER 4705 NEW BEST:: SOT 1265813 SOS 637011 HAS SOPS 637011 HAS SOUS 289667 HAS SOUPS 289667 WITH SCORE 290304.011
AT ITER 4716 NEW BEST:: SOT 1265737 SOS 637170 HAS SOPS 637170 HAS SOUS 289562 HAS SOUPS 289562 WITH SCORE 290199.17
AT ITER 4718 NEW BEST:: SOT 1265735 SOS 637166 HAS SOPS 637166 HAS SOUS 289558 HAS SOUPS 289558 WITH SCORE 290195.166
AT ITER 4721 NEW BEST:: SOT 1265901 SOS 637166 HAS SOPS 637166 HAS SOUS 289525 HAS SOUPS 289525 WITH SCORE 290162.166
AT ITER 4723 NEW BEST:: SOT 1265901 SOS 637166 HAS SOPS 637166 HAS SOUS 289498 HAS SOUPS 289498 WITH SCORE 290135.166
AT ITER 4731 NEW BEST:: SOT 1265888 SOS 637140 HAS SOPS 637140 HAS SOUS 289472 HAS SOUPS 289472 WITH SCORE 290109.14
AT ITER 4742 NEW BEST:: SOT 1265829 SOS 637002 HAS SOPS 637002 HAS SOUS 289413 HAS SOUPS 289413 WITH SCORE 290050.002
AT ITER 4749 NEW BEST:: SOT 1265829 SOS 637002 HAS SOPS 637002 HAS SOUS 289332 HAS SOUPS 289332 WITH SCORE 289969.002
AT ITER 4765 NEW BEST:: SOT 1265615 SOS 636602 HAS SOPS 636602 HAS SOUS 289104 HAS SOUPS 289104 WITH SCORE 289740.602
AT ITER 4767 NEW BEST:: SOT 1265542 SOS 636529 HAS SOPS 636529 HAS SOUS 289062 HAS SOUPS 289062 WITH SCORE 289698.529
AT ITER 4778 NEW BEST:: SOT 1265547 SOS 636409 HAS SOPS 636409 HAS SOUS 288942 HAS SOUPS 288942 WITH SCORE 289578.409
AT ITER 4780 NEW BEST:: SOT 1265517 SOS 637964 HAS SOPS 637964 HAS SOUS 288915 HAS SOUPS 288915 WITH SCORE 289552.964
AT ITER 4791 NEW BEST:: SOT 1265422 SOS 637869 HAS SOPS 637869 HAS SOUS 288820 HAS SOUPS 288820 WITH SCORE 289457.869
AT ITER 4803 NEW BEST:: SOT 1265422 SOS 637869 HAS SOPS 637869 HAS SOUS 288785 HAS SOUPS 288785 WITH SCORE 289422.869
AT ITER 4821 NEW BEST:: SOT 1265348 SOS 637745 HAS SOPS 637745 HAS SOUS 288711 HAS SOUPS 288711 WITH SCORE 289348.745
AT ITER 4822 NEW BEST:: SOT 1265348 SOS 637745 HAS SOPS 637745 HAS SOUS 288704 HAS SOUPS 288704 WITH SCORE 289341.745
AT ITER 4830 NEW BEST:: SOT 1265332 SOS 637475 HAS SOPS 637475 HAS SOUS 288688 HAS SOUPS 288688 WITH SCORE 289325.475
AT ITER 4835 NEW BEST:: SOT 1265332 SOS 637475 HAS SOPS 637475 HAS SOUS 288681 HAS SOUPS 288681 WITH SCORE 289318.475
AT ITER 4836 NEW BEST:: SOT 1265242 SOS 637385 HAS SOPS 637385 HAS SOUS 288591 HAS SOUPS 288591 WITH SCORE 289228.385
AT ITER 4837 NEW BEST:: SOT 1265163 SOS 637306 HAS SOPS 637306 HAS SOUS 288512 HAS SOUPS 288512 WITH SCORE 289149.306
AT ITER 4848 NEW BEST:: SOT 1265163 SOS 637306 HAS SOPS 637306 HAS SOUS 288420 HAS SOUPS 288420 WITH SCORE 289057.306
AT ITER 4852 NEW BEST:: SOT 1265065 SOS 637180 HAS SOPS 637180 HAS SOUS 288364 HAS SOUPS 288364 WITH SCORE 289001.18
AT ITER 4853 NEW BEST:: SOT 1264837 SOS 636823 HAS SOPS 636823 HAS SOUS 288203 HAS SOUPS 288203 WITH SCORE 288839.823
AT ITER 4854 NEW BEST:: SOT 1264864 SOS 634467 HAS SOPS 634467 HAS SOUS 288174 HAS SOUPS 288174 WITH SCORE 288808.467
AT ITER 4863 NEW BEST:: SOT 1264864 SOS 631982 HAS SOPS 631982 HAS SOUS 287934 HAS SOUPS 287934 WITH SCORE 288565.982
AT ITER 4866 NEW BEST:: SOT 1264532 SOS 631650 HAS SOPS 631650 HAS SOUS 287585 HAS SOUPS 287585 WITH SCORE 288216.65
AT ITER 4880 NEW BEST:: SOT 1264532 SOS 628845 HAS SOPS 628845 HAS SOUS 287585 HAS SOUPS 287585 WITH SCORE 288213.845
AT ITER 4884 NEW BEST:: SOT 1264550 SOS 628442 HAS SOPS 628442 HAS SOUS 287379 HAS SOUPS 287379 WITH SCORE 288007.442
AT ITER 4891 NEW BEST:: SOT 1264497 SOS 628695 HAS SOPS 628695 HAS SOUS 287326 HAS SOUPS 287326 WITH SCORE 287954.695
AT ITER 4894 NEW BEST:: SOT 1264433 SOS 628468 HAS SOPS 628468 HAS SOUS 287198 HAS SOUPS 287198 WITH SCORE 287826.468
AT ITER 4898 NEW BEST:: SOT 1264401 SOS 628384 HAS SOPS 628384 HAS SOUS 287140 HAS SOUPS 287140 WITH SCORE 287768.384
AT ITER 4899 NEW BEST:: SOT 1264013 SOS 628171 HAS SOPS 628171 HAS SOUS 286049 HAS SOUPS 286049 WITH SCORE 286677.171
AT ITER 4904 NEW BEST:: SOT 1264053 SOS 628317 HAS SOPS 628317 HAS SOUS 285932 HAS SOUPS 285932 WITH SCORE 286560.317
AT ITER 4913 NEW BEST:: SOT 1263906 SOS 628023 HAS SOPS 628023 HAS SOUS 285638 HAS SOUPS 285638 WITH SCORE 286266.023
AT ITER 4920 NEW BEST:: SOT 1263906 SOS 627906 HAS SOPS 627906 HAS SOUS 285521 HAS SOUPS 285521 WITH SCORE 286148.906
AT ITER 4921 NEW BEST:: SOT 1263906 SOS 627882 HAS SOPS 627882 HAS SOUS 285497 HAS SOUPS 285497 WITH SCORE 286124.882
AT ITER 4926 NEW BEST:: SOT 1263995 SOS 627971 HAS SOPS 627971 HAS SOUS 285218 HAS SOUPS 285218 WITH SCORE 285845.971
AT ITER 4930 NEW BEST:: SOT 1263993 SOS 627969 HAS SOPS 627969 HAS SOUS 285212 HAS SOUPS 285212 WITH SCORE 285839.969
AT ITER 4940 NEW BEST:: SOT 1264124 SOS 627675 HAS SOPS 627675 HAS SOUS 284825 HAS SOUPS 284825 WITH SCORE 285452.675
AT ITER 4943 NEW BEST:: SOT 1264025 SOS 627576 HAS SOPS 627576 HAS SOUS 284776 HAS SOUPS 284776 WITH SCORE 285403.576
AT ITER 4944 NEW BEST:: SOT 1263964 SOS 627515 HAS SOPS 627515 HAS SOUS 284715 HAS SOUPS 284715 WITH SCORE 285342.515
AT ITER 4965 NEW BEST:: SOT 1263964 SOS 627333 HAS SOPS 627333 HAS SOUS 284533 HAS SOUPS 284533 WITH SCORE 285160.333
AT ITER 4967 NEW BEST:: SOT 1263930 SOS 627265 HAS SOPS 627265 HAS SOUS 284482 HAS SOUPS 284482 WITH SCORE 285109.265
AT ITER 4974 NEW BEST:: SOT 1263862 SOS 627197 HAS SOPS 627197 HAS SOUS 284444 HAS SOUPS 284444 WITH SCORE 285071.197
AT ITER 4985 NEW BEST:: SOT 1263608 SOS 626985 HAS SOPS 626985 HAS SOUS 284131 HAS SOUPS 284131 WITH SCORE 284757.985
AT ITER 4986 NEW BEST:: SOT 1263478 SOS 626566 HAS SOPS 626566 HAS SOUS 284005 HAS SOUPS 284005 WITH SCORE 284631.566
AT ITER 4990 NEW BEST:: SOT 1263458 SOS 626526 HAS SOPS 626526 HAS SOUS 283985 HAS SOUPS 283985 WITH SCORE 284611.526
AT ITER 4998 NEW BEST:: SOT 1263453 SOS 626516 HAS SOPS 626516 HAS SOUS 283975 HAS SOUPS 283975 WITH SCORE 284601.516
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-00 (EF((! ( ( potential( (tk(P69)) <= (tk(P406)) ) | potential( ( 3 ) <= (tk(P1148)) ) ) | ( potential( ( 3 ) <= (tk(P351)) ) | potential( ( 1 ) <= (tk(P594)) ) ) ))))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-01 (AG( ( (EX( potential( (tk(P211)) <= (tk(P1073)) ))) | (EF(potential( ( 1 ) <= (tk(P1389)) ))) )))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-02 (AG( (EX( ( potential( ( 1 ) <= (tk(P1024)) ) | potential( (tk(P606)) <= (tk(P129)) ) )))))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-03 (AX( ( (AF(potential( ( 2 ) <= (tk(P1109)) ))) & ( ( potential( (tk(P754)) <= (tk(P1149)) ) & potential( (tk(P9)) <= (tk(P213)) ) ) | ( potential( ( 1 ) <= (tk(P1009)) ) & potential( (tk(P528)) <= (tk(P904)) ) ) ) )))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-04 (AX( (EU( potential( (tk(P27)) <= (tk(P423)) ),potential( ( 3 ) <= (tk(P1383)) ) ))))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-05 (AX( (AG( ( potential( ( 2 ) <= (tk(P554)) ) | potential( (tk(P501)) <= (tk(P727)) ) )))))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-06 ( (EX( (! ( potential( (tk(P131)) <= (tk(P1273)) ) & potential( ( 3 ) <= (tk(P1132)) ) )))) & (EG( (EG( potential( (tk(P491)) <= (tk(P1266)) ))))) )
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-07 ( (AF((EG( potential( ( 3 ) <= (tk(P876)) ))))) & (! (EG( (! potential( (tk(P493)) <= (tk(P936)) ))))) )
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-08 (AF((EX( (! potential( (tk(P551)) <= (tk(P792)) ))))))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-09 ( potential( (tk(P460)) <= (tk(P585)) ) & (! (AG( ( potential( ( 1 ) <= (tk(P641)) ) | potential( (tk(P755)) <= (tk(P1399)) ) )))) )
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-10 ( (EX( ( (! potential( ( 1 ) <= (tk(P107)) )) & potential( (tk(P940)) <= (tk(P276)) ) ))) & ( (EG( (! potential( ( 1 ) <= (tk(P1116)) )))) & potential( (tk(P108)) <= (tk(P770)) ) ) )
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-11 ( (! (EF(( potential( ( 1 ) <= (tk(P1374)) ) & potential( ( 1 ) <= (tk(P795)) ) )))) | (EF(potential( ( 3 ) <= (tk(P375)) ))) )
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-12 (EG( (EG( (! potential( ( 1 ) <= (tk(P1346)) ))))))
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-13 ( ( (AF(( potential( (tk(P1032)) <= (tk(P1154)) ) | potential( ( 1 ) <= (tk(P1075)) ) ))) | (AU( potential( ( 3 ) <= (tk(P472)) ),potential( (tk(P615)) <= (tk(P931)) ) )) ) & (! (AU( potential( (tk(P514)) <= (tk(P104)) ),potential( ( 2 ) <= (tk(P1126)) ) ))) )
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-14 ( (AF(( (! potential( (tk(P254)) <= (tk(P18)) )) & ( potential( ( 3 ) <= (tk(P895)) ) & potential( (tk(P1203)) <= (tk(P56)) ) ) ))) & (EU( ( potential( ( 2 ) <= (tk(P125)) ) & potential( (tk(P427)) <= (tk(P1114)) ) ),(! potential( ( 2 ) <= (tk(P209)) )) )) )
PROPERTY: FlexibleBarrier-PT-10b-CTLCardinality-15 (AG( ( (AF(potential( (tk(P906)) <= (tk(P1038)) ))) & (EX( potential( (tk(P285)) <= (tk(P542)) ))) )))

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="CTLCardinality"
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 CTLCardinality"
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-158922972400315"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;