Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873942900432.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-COL-S04J06T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942900432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 9.3K Feb 26 14:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 89K Feb 26 14:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 26 14:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 26 14:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 14:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 14:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678792013702

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S04J06T08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 11:06:56] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 11:06:56] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 11:06:56] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 11:06:57] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 11:06:57] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1178 ms
[2023-03-14 11:06:57] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 792 PT places and 4336.0 transition bindings in 63 ms.
[2023-03-14 11:06:58] [INFO ] Unfolded HLPN to a Petri net with 792 places and 4268 transitions 28832 arcs in 193 ms.
[2023-03-14 11:06:58] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 2168 transitions
Reduce isomorphic transitions removed 2168 transitions.
[2023-03-14 11:06:58] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 792 places, 2100 transitions and 10488 arcs took 51 ms.
Total runtime 1858 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S04J06T08
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 792 places, 2100 transitions, 10488 arcs.
AT ITER 0 NEW BEST:: SOT 956630 SOS 588530 HAS SOPS 582111 HAS SOUS 462449 HAS SOUPS 461628 WITH SCORE 462216.53
AT ITER 8 NEW BEST:: SOT 956562 SOS 588377 HAS SOPS 581958 HAS SOUS 462364 HAS SOUPS 461543 WITH SCORE 462131.377
AT ITER 24 NEW BEST:: SOT 956274 SOS 588089 HAS SOPS 581670 HAS SOUS 462176 HAS SOUPS 461355 WITH SCORE 461943.089
AT ITER 27 NEW BEST:: SOT 956226 SOS 587897 HAS SOPS 581478 HAS SOUS 462128 HAS SOUPS 461307 WITH SCORE 461894.897
AT ITER 29 NEW BEST:: SOT 956052 SOS 587713 HAS SOPS 581294 HAS SOUS 461907 HAS SOUPS 461086 WITH SCORE 461673.713
AT ITER 30 NEW BEST:: SOT 955788 SOS 587227 HAS SOPS 580808 HAS SOUS 460380 HAS SOUPS 459559 WITH SCORE 460146.227
AT ITER 40 NEW BEST:: SOT 955914 SOS 589516 HAS SOPS 583097 HAS SOUS 460355 HAS SOUPS 459534 WITH SCORE 460123.516
AT ITER 43 NEW BEST:: SOT 955961 SOS 589628 HAS SOPS 583209 HAS SOUS 460046 HAS SOUPS 459225 WITH SCORE 459814.628
AT ITER 63 NEW BEST:: SOT 954887 SOS 588750 HAS SOPS 582331 HAS SOUS 459159 HAS SOUPS 458338 WITH SCORE 458926.75
AT ITER 65 NEW BEST:: SOT 953522 SOS 587885 HAS SOPS 581466 HAS SOUS 458772 HAS SOUPS 457951 WITH SCORE 458538.885
AT ITER 66 NEW BEST:: SOT 952933 SOS 587408 HAS SOPS 580989 HAS SOUS 458295 HAS SOUPS 457474 WITH SCORE 458061.408
AT ITER 70 NEW BEST:: SOT 951878 SOS 586622 HAS SOPS 580203 HAS SOUS 458033 HAS SOUPS 457212 WITH SCORE 457798.622
AT ITER 75 NEW BEST:: SOT 952070 SOS 584420 HAS SOPS 578001 HAS SOUS 457810 HAS SOUPS 456989 WITH SCORE 457573.42
AT ITER 79 NEW BEST:: SOT 952001 SOS 584218 HAS SOPS 577799 HAS SOUS 455507 HAS SOUPS 454686 WITH SCORE 455270.218
AT ITER 80 NEW BEST:: SOT 951737 SOS 583888 HAS SOPS 577469 HAS SOUS 455179 HAS SOUPS 454358 WITH SCORE 454941.888
AT ITER 86 NEW BEST:: SOT 951635 SOS 583786 HAS SOPS 577367 HAS SOUS 455067 HAS SOUPS 454246 WITH SCORE 454829.786
AT ITER 94 NEW BEST:: SOT 950393 SOS 582775 HAS SOPS 576356 HAS SOUS 453507 HAS SOUPS 452686 WITH SCORE 453268.775
AT ITER 98 NEW BEST:: SOT 950032 SOS 582383 HAS SOPS 575964 HAS SOUS 453272 HAS SOUPS 452451 WITH SCORE 453033.383
AT ITER 100 NEW BEST:: SOT 950010 SOS 582361 HAS SOPS 575942 HAS SOUS 453250 HAS SOUPS 452429 WITH SCORE 453011.361
AT ITER 104 NEW BEST:: SOT 946962 SOS 581745 HAS SOPS 572894 HAS SOUS 450504 HAS SOUPS 449379 WITH SCORE 449960.745
AT ITER 113 NEW BEST:: SOT 945685 SOS 621275 HAS SOPS 604043 HAS SOUS 450697 HAS SOUPS 448909 WITH SCORE 449530.275
AT ITER 119 NEW BEST:: SOT 945685 SOS 621241 HAS SOPS 604009 HAS SOUS 450663 HAS SOUPS 448875 WITH SCORE 449496.241
AT ITER 121 NEW BEST:: SOT 945685 SOS 621233 HAS SOPS 604001 HAS SOUS 450655 HAS SOUPS 448867 WITH SCORE 449488.233
AT ITER 127 NEW BEST:: SOT 945685 SOS 621228 HAS SOPS 603991 HAS SOUS 450652 HAS SOUPS 448862 WITH SCORE 449483.228
AT ITER 137 NEW BEST:: SOT 945469 SOS 620958 HAS SOPS 603721 HAS SOUS 450236 HAS SOUPS 448446 WITH SCORE 449066.958
AT ITER 142 NEW BEST:: SOT 945056 SOS 620835 HAS SOPS 603598 HAS SOUS 450064 HAS SOUPS 448274 WITH SCORE 448894.835
AT ITER 143 NEW BEST:: SOT 944705 SOS 620521 HAS SOPS 603284 HAS SOUS 449750 HAS SOUPS 447960 WITH SCORE 448580.521
AT ITER 145 NEW BEST:: SOT 944704 SOS 620514 HAS SOPS 603277 HAS SOUS 449748 HAS SOUPS 447958 WITH SCORE 448578.514
AT ITER 150 NEW BEST:: SOT 944451 SOS 620008 HAS SOPS 602771 HAS SOUS 449242 HAS SOUPS 447452 WITH SCORE 448072.008
AT ITER 161 NEW BEST:: SOT 943117 SOS 620366 HAS SOPS 603129 HAS SOUS 448872 HAS SOUPS 447082 WITH SCORE 447702.366
AT ITER 164 NEW BEST:: SOT 943677 SOS 620769 HAS SOPS 603532 HAS SOUS 448587 HAS SOUPS 446797 WITH SCORE 447417.769
AT ITER 170 NEW BEST:: SOT 943632 SOS 620724 HAS SOPS 603532 HAS SOUS 448575 HAS SOUPS 446785 WITH SCORE 447405.724
AT ITER 180 NEW BEST:: SOT 943289 SOS 620288 HAS SOPS 603096 HAS SOUS 448045 HAS SOUPS 446255 WITH SCORE 446875.288
AT ITER 189 NEW BEST:: SOT 943820 SOS 620668 HAS SOPS 603476 HAS SOUS 448002 HAS SOUPS 446212 WITH SCORE 446832.668
AT ITER 193 NEW BEST:: SOT 943746 SOS 620850 HAS SOPS 603658 HAS SOUS 447904 HAS SOUPS 446114 WITH SCORE 446734.85
AT ITER 202 NEW BEST:: SOT 943450 SOS 620476 HAS SOPS 603284 HAS SOUS 447468 HAS SOUPS 445678 WITH SCORE 446298.476
AT ITER 203 NEW BEST:: SOT 943450 SOS 620468 HAS SOPS 603276 HAS SOUS 447460 HAS SOUPS 445670 WITH SCORE 446290.468
AT ITER 215 NEW BEST:: SOT 943141 SOS 620056 HAS SOPS 602864 HAS SOUS 446953 HAS SOUPS 445163 WITH SCORE 445783.056
AT ITER 220 NEW BEST:: SOT 943105 SOS 620020 HAS SOPS 602828 HAS SOUS 446917 HAS SOUPS 445127 WITH SCORE 445747.02
AT ITER 227 NEW BEST:: SOT 942994 SOS 619823 HAS SOPS 602631 HAS SOUS 446886 HAS SOUPS 445096 WITH SCORE 445715.823
AT ITER 231 NEW BEST:: SOT 942463 SOS 619235 HAS SOPS 602043 HAS SOUS 446298 HAS SOUPS 444508 WITH SCORE 445127.235
AT ITER 238 NEW BEST:: SOT 942348 SOS 619530 HAS SOPS 602338 HAS SOUS 445668 HAS SOUPS 443878 WITH SCORE 444497.53
AT ITER 244 NEW BEST:: SOT 942101 SOS 619411 HAS SOPS 602219 HAS SOUS 445301 HAS SOUPS 443511 WITH SCORE 444130.411
AT ITER 245 NEW BEST:: SOT 942048 SOS 619358 HAS SOPS 602166 HAS SOUS 445248 HAS SOUPS 443458 WITH SCORE 444077.358
AT ITER 246 NEW BEST:: SOT 941598 SOS 618928 HAS SOPS 601736 HAS SOUS 444798 HAS SOUPS 443008 WITH SCORE 443626.928
AT ITER 247 NEW BEST:: SOT 941480 SOS 619148 HAS SOPS 601956 HAS SOUS 444434 HAS SOUPS 442644 WITH SCORE 443263.148
AT ITER 250 NEW BEST:: SOT 941384 SOS 619020 HAS SOPS 601828 HAS SOUS 444210 HAS SOUPS 442420 WITH SCORE 443039.02
AT ITER 254 NEW BEST:: SOT 942066 SOS 620042 HAS SOPS 602850 HAS SOUS 443657 HAS SOUPS 441867 WITH SCORE 442487.042
AT ITER 255 NEW BEST:: SOT 942195 SOS 620017 HAS SOPS 602825 HAS SOUS 443632 HAS SOUPS 441842 WITH SCORE 442462.017
AT ITER 256 NEW BEST:: SOT 941007 SOS 619105 HAS SOPS 601913 HAS SOUS 443328 HAS SOUPS 441538 WITH SCORE 442157.105
AT ITER 265 NEW BEST:: SOT 940613 SOS 618590 HAS SOPS 601497 HAS SOUS 442944 HAS SOUPS 441154 WITH SCORE 441772.59
AT ITER 267 NEW BEST:: SOT 940890 SOS 619742 HAS SOPS 602707 HAS SOUS 442840 HAS SOUPS 441050 WITH SCORE 441669.742
AT ITER 269 NEW BEST:: SOT 940841 SOS 619731 HAS SOPS 602696 HAS SOUS 442829 HAS SOUPS 441039 WITH SCORE 441658.731
AT ITER 272 NEW BEST:: SOT 940367 SOS 618897 HAS SOPS 601862 HAS SOUS 441735 HAS SOUPS 439945 WITH SCORE 440563.897
AT ITER 277 NEW BEST:: SOT 940132 SOS 618552 HAS SOPS 601517 HAS SOUS 441160 HAS SOUPS 439370 WITH SCORE 439988.552
AT ITER 280 NEW BEST:: SOT 940125 SOS 618545 HAS SOPS 601553 HAS SOUS 441026 HAS SOUPS 439236 WITH SCORE 439854.545
AT ITER 282 NEW BEST:: SOT 939703 SOS 618130 HAS SOPS 601138 HAS SOUS 440541 HAS SOUPS 438751 WITH SCORE 439369.13
AT ITER 284 NEW BEST:: SOT 939703 SOS 618127 HAS SOPS 601135 HAS SOUS 440538 HAS SOUPS 438748 WITH SCORE 439366.127
AT ITER 288 NEW BEST:: SOT 939827 SOS 618233 HAS SOPS 601241 HAS SOUS 440307 HAS SOUPS 438517 WITH SCORE 439135.233
AT ITER 293 NEW BEST:: SOT 938451 SOS 617159 HAS SOPS 600167 HAS SOUS 438730 HAS SOUPS 436940 WITH SCORE 437557.159
AT ITER 296 NEW BEST:: SOT 938451 SOS 620403 HAS SOPS 600265 HAS SOUS 438731 HAS SOUPS 436852 WITH SCORE 437472.403
AT ITER 301 NEW BEST:: SOT 938646 SOS 623878 HAS SOPS 603740 HAS SOUS 438179 HAS SOUPS 436300 WITH SCORE 436923.878
AT ITER 303 NEW BEST:: SOT 938646 SOS 623166 HAS SOPS 603028 HAS SOUS 438179 HAS SOUPS 436300 WITH SCORE 436923.166
AT ITER 307 NEW BEST:: SOT 938105 SOS 622681 HAS SOPS 602543 HAS SOUS 437409 HAS SOUPS 435530 WITH SCORE 436152.681
AT ITER 321 NEW BEST:: SOT 938049 SOS 622562 HAS SOPS 602375 HAS SOUS 437241 HAS SOUPS 435362 WITH SCORE 435984.562
AT ITER 322 NEW BEST:: SOT 937908 SOS 619270 HAS SOPS 599083 HAS SOUS 436959 HAS SOUPS 435080 WITH SCORE 435699.27
AT ITER 323 NEW BEST:: SOT 940815 SOS 616280 HAS SOPS 596093 HAS SOUS 429404 HAS SOUPS 427525 WITH SCORE 428141.28
AT ITER 326 NEW BEST:: SOT 940624 SOS 615373 HAS SOPS 595186 HAS SOUS 428971 HAS SOUPS 427092 WITH SCORE 427707.373
AT ITER 333 NEW BEST:: SOT 940516 SOS 615188 HAS SOPS 595018 HAS SOUS 428769 HAS SOUPS 426890 WITH SCORE 427505.188
AT ITER 334 NEW BEST:: SOT 940498 SOS 614287 HAS SOPS 594117 HAS SOUS 423864 HAS SOUPS 421985 WITH SCORE 422599.287
AT ITER 343 NEW BEST:: SOT 940230 SOS 613937 HAS SOPS 593844 HAS SOUS 423590 HAS SOUPS 421711 WITH SCORE 422324.937
AT ITER 347 NEW BEST:: SOT 940340 SOS 614402 HAS SOPS 594309 HAS SOUS 422416 HAS SOUPS 420537 WITH SCORE 421151.402
AT ITER 352 NEW BEST:: SOT 940340 SOS 614410 HAS SOPS 594317 HAS SOUS 422408 HAS SOUPS 420529 WITH SCORE 421143.41
AT ITER 361 NEW BEST:: SOT 940447 SOS 614606 HAS SOPS 594513 HAS SOUS 421790 HAS SOUPS 419911 WITH SCORE 420525.606
AT ITER 363 NEW BEST:: SOT 940222 SOS 614281 HAS SOPS 594208 HAS SOUS 421331 HAS SOUPS 419452 WITH SCORE 420066.281
AT ITER 365 NEW BEST:: SOT 937609 SOS 611822 HAS SOPS 591749 HAS SOUS 419614 HAS SOUPS 417735 WITH SCORE 418346.822
AT ITER 366 NEW BEST:: SOT 937465 SOS 610972 HAS SOPS 590899 HAS SOUS 419326 HAS SOUPS 417447 WITH SCORE 418057.972
AT ITER 367 NEW BEST:: SOT 936759 SOS 610306 HAS SOPS 590233 HAS SOUS 418762 HAS SOUPS 416883 WITH SCORE 417493.306
AT ITER 369 NEW BEST:: SOT 936454 SOS 610006 HAS SOPS 589933 HAS SOUS 418427 HAS SOUPS 416548 WITH SCORE 417158.006
AT ITER 377 NEW BEST:: SOT 936336 SOS 609982 HAS SOPS 589909 HAS SOUS 418201 HAS SOUPS 416322 WITH SCORE 416931.982
AT ITER 379 NEW BEST:: SOT 936373 SOS 610136 HAS SOPS 590063 HAS SOUS 417963 HAS SOUPS 416084 WITH SCORE 416694.136
AT ITER 381 NEW BEST:: SOT 936345 SOS 610556 HAS SOPS 590483 HAS SOUS 417816 HAS SOUPS 415937 WITH SCORE 416547.556
AT ITER 387 NEW BEST:: SOT 936345 SOS 610556 HAS SOPS 590483 HAS SOUS 417551 HAS SOUPS 415672 WITH SCORE 416282.556
AT ITER 389 NEW BEST:: SOT 935311 SOS 609515 HAS SOPS 589442 HAS SOUS 416365 HAS SOUPS 414486 WITH SCORE 415095.515
AT ITER 394 NEW BEST:: SOT 934673 SOS 608993 HAS SOPS 588920 HAS SOUS 415602 HAS SOUPS 413723 WITH SCORE 414331.993
AT ITER 403 NEW BEST:: SOT 934631 SOS 609035 HAS SOPS 588962 HAS SOUS 415467 HAS SOUPS 413588 WITH SCORE 414197.035
AT ITER 408 NEW BEST:: SOT 934081 SOS 608621 HAS SOPS 588548 HAS SOUS 414808 HAS SOUPS 412929 WITH SCORE 413537.621
AT ITER 411 NEW BEST:: SOT 934043 SOS 608455 HAS SOPS 588382 HAS SOUS 413881 HAS SOUPS 412002 WITH SCORE 412610.455
AT ITER 418 NEW BEST:: SOT 938963 SOS 613891 HAS SOPS 593876 HAS SOUS 409197 HAS SOUPS 407318 WITH SCORE 407931.891
AT ITER 422 NEW BEST:: SOT 937191 SOS 586444 HAS SOPS 571629 HAS SOUS 407224 HAS SOUPS 405670 WITH SCORE 406256.444
AT ITER 424 NEW BEST:: SOT 937059 SOS 586312 HAS SOPS 571497 HAS SOUS 407092 HAS SOUPS 405538 WITH SCORE 406124.312
AT ITER 430 NEW BEST:: SOT 937119 SOS 586850 HAS SOPS 572035 HAS SOUS 406673 HAS SOUPS 405119 WITH SCORE 405705.85
AT ITER 437 NEW BEST:: SOT 937337 SOS 586618 HAS SOPS 571803 HAS SOUS 404048 HAS SOUPS 402494 WITH SCORE 403080.618
AT ITER 441 NEW BEST:: SOT 936268 SOS 585861 HAS SOPS 571046 HAS SOUS 403993 HAS SOUPS 402439 WITH SCORE 403024.861
AT ITER 444 NEW BEST:: SOT 936268 SOS 584933 HAS SOPS 570121 HAS SOUS 403993 HAS SOUPS 402439 WITH SCORE 403023.933
AT ITER 449 NEW BEST:: SOT 936467 SOS 585663 HAS SOPS 570851 HAS SOUS 403957 HAS SOUPS 402403 WITH SCORE 402988.663
AT ITER 459 NEW BEST:: SOT 936815 SOS 586383 HAS SOPS 571571 HAS SOUS 403906 HAS SOUPS 402352 WITH SCORE 402938.383
AT ITER 463 NEW BEST:: SOT 936862 SOS 586873 HAS SOPS 572061 HAS SOUS 403812 HAS SOUPS 402258 WITH SCORE 402844.873
AT ITER 464 NEW BEST:: SOT 936858 SOS 576927 HAS SOPS 562012 HAS SOUS 403436 HAS SOUPS 402088 WITH SCORE 402664.927
AT ITER 469 NEW BEST:: SOT 936378 SOS 576569 HAS SOPS 561654 HAS SOUS 402999 HAS SOUPS 401651 WITH SCORE 402227.569
AT ITER 471 NEW BEST:: SOT 938321 SOS 577340 HAS SOPS 562425 HAS SOUS 396593 HAS SOUPS 395245 WITH SCORE 395822.34
AT ITER 481 NEW BEST:: SOT 944409 SOS 574046 HAS SOPS 559131 HAS SOUS 384304 HAS SOUPS 382956 WITH SCORE 383530.046
AT ITER 495 NEW BEST:: SOT 944421 SOS 574058 HAS SOPS 559143 HAS SOUS 384118 HAS SOUPS 382770 WITH SCORE 383344.058
AT ITER 506 NEW BEST:: SOT 944291 SOS 573863 HAS SOPS 558948 HAS SOUS 383879 HAS SOUPS 382531 WITH SCORE 383104.863
AT ITER 512 NEW BEST:: SOT 944233 SOS 573805 HAS SOPS 558932 HAS SOUS 383851 HAS SOUPS 382503 WITH SCORE 383076.805
AT ITER 518 NEW BEST:: SOT 943991 SOS 573487 HAS SOPS 558538 HAS SOUS 383257 HAS SOUPS 381909 WITH SCORE 382482.487
AT ITER 522 NEW BEST:: SOT 943957 SOS 573460 HAS SOPS 558511 HAS SOUS 383107 HAS SOUPS 381759 WITH SCORE 382332.46
AT ITER 527 NEW BEST:: SOT 943887 SOS 573380 HAS SOPS 558431 HAS SOUS 383027 HAS SOUPS 381679 WITH SCORE 382252.38
AT ITER 540 NEW BEST:: SOT 944001 SOS 573742 HAS SOPS 558793 HAS SOUS 382889 HAS SOUPS 381541 WITH SCORE 382114.742
AT ITER 542 NEW BEST:: SOT 944001 SOS 573249 HAS SOPS 558300 HAS SOUS 382226 HAS SOUPS 380878 WITH SCORE 381451.249
AT ITER 552 NEW BEST:: SOT 944000 SOS 573240 HAS SOPS 558291 HAS SOUS 382224 HAS SOUPS 380876 WITH SCORE 381449.24
AT ITER 558 NEW BEST:: SOT 944033 SOS 573565 HAS SOPS 558616 HAS SOUS 381882 HAS SOUPS 380534 WITH SCORE 381107.565
AT ITER 559 NEW BEST:: SOT 943963 SOS 573425 HAS SOPS 558476 HAS SOUS 381611 HAS SOUPS 380263 WITH SCORE 380836.425
AT ITER 564 NEW BEST:: SOT 944378 SOS 569901 HAS SOPS 554952 HAS SOUS 379640 HAS SOUPS 378292 WITH SCORE 378861.901
AT ITER 583 NEW BEST:: SOT 944378 SOS 569893 HAS SOPS 554944 HAS SOUS 379632 HAS SOUPS 378284 WITH SCORE 378853.893
AT ITER 586 NEW BEST:: SOT 944413 SOS 570228 HAS SOPS 555279 HAS SOUS 379503 HAS SOUPS 378155 WITH SCORE 378725.228
AT ITER 595 NEW BEST:: SOT 944413 SOS 570370 HAS SOPS 555421 HAS SOUS 375598 HAS SOUPS 374250 WITH SCORE 374820.37
AT ITER 596 NEW BEST:: SOT 944151 SOS 570033 HAS SOPS 555253 HAS SOUS 375327 HAS SOUPS 373979 WITH SCORE 374549.033
AT ITER 597 NEW BEST:: SOT 944024 SOS 569546 HAS SOPS 554766 HAS SOUS 375253 HAS SOUPS 373905 WITH SCORE 374474.546
AT ITER 603 NEW BEST:: SOT 945237 SOS 567680 HAS SOPS 552900 HAS SOUS 371069 HAS SOUPS 369721 WITH SCORE 370288.68
AT ITER 613 NEW BEST:: SOT 945012 SOS 567338 HAS SOPS 552558 HAS SOUS 370372 HAS SOUPS 369024 WITH SCORE 369591.338
AT ITER 634 NEW BEST:: SOT 945012 SOS 567338 HAS SOPS 552558 HAS SOUS 370362 HAS SOUPS 369014 WITH SCORE 369581.338
AT ITER 636 NEW BEST:: SOT 944898 SOS 567186 HAS SOPS 552406 HAS SOUS 370020 HAS SOUPS 368672 WITH SCORE 369239.186
AT ITER 638 NEW BEST:: SOT 945750 SOS 568402 HAS SOPS 553622 HAS SOUS 364406 HAS SOUPS 363058 WITH SCORE 363626.402
AT ITER 639 NEW BEST:: SOT 945495 SOS 568096 HAS SOPS 553316 HAS SOUS 363743 HAS SOUPS 362395 WITH SCORE 362963.096
AT ITER 647 NEW BEST:: SOT 945487 SOS 567443 HAS SOPS 552663 HAS SOUS 363727 HAS SOUPS 362379 WITH SCORE 362946.443
AT ITER 651 NEW BEST:: SOT 943570 SOS 571482 HAS SOPS 556702 HAS SOUS 362759 HAS SOUPS 361411 WITH SCORE 361982.482
AT ITER 663 NEW BEST:: SOT 943430 SOS 571266 HAS SOPS 556768 HAS SOUS 362730 HAS SOUPS 361382 WITH SCORE 361953.266
AT ITER 664 NEW BEST:: SOT 943422 SOS 571240 HAS SOPS 556742 HAS SOUS 362704 HAS SOUPS 361356 WITH SCORE 361927.24
AT ITER 669 NEW BEST:: SOT 943435 SOS 571253 HAS SOPS 556755 HAS SOUS 362691 HAS SOUPS 361343 WITH SCORE 361914.253
AT ITER 676 NEW BEST:: SOT 943415 SOS 571233 HAS SOPS 556755 HAS SOUS 362611 HAS SOUPS 361263 WITH SCORE 361834.233
AT ITER 677 NEW BEST:: SOT 943269 SOS 570985 HAS SOPS 556507 HAS SOUS 362363 HAS SOUPS 361015 WITH SCORE 361585.985
AT ITER 683 NEW BEST:: SOT 945810 SOS 566790 HAS SOPS 552312 HAS SOUS 361006 HAS SOUPS 359658 WITH SCORE 360224.79
AT ITER 684 NEW BEST:: SOT 945783 SOS 566763 HAS SOPS 552285 HAS SOUS 360979 HAS SOUPS 359631 WITH SCORE 360197.763
AT ITER 687 NEW BEST:: SOT 945159 SOS 566101 HAS SOPS 551623 HAS SOUS 360519 HAS SOUPS 359171 WITH SCORE 359737.101
AT ITER 689 NEW BEST:: SOT 945159 SOS 566107 HAS SOPS 551599 HAS SOUS 360481 HAS SOUPS 359107 WITH SCORE 359673.107
AT ITER 693 NEW BEST:: SOT 945214 SOS 566107 HAS SOPS 551599 HAS SOUS 360474 HAS SOUPS 359100 WITH SCORE 359666.107
AT ITER 697 NEW BEST:: SOT 945171 SOS 566044 HAS SOPS 551536 HAS SOUS 360431 HAS SOUPS 359057 WITH SCORE 359623.044
AT ITER 699 NEW BEST:: SOT 945230 SOS 566283 HAS SOPS 551775 HAS SOUS 360414 HAS SOUPS 359040 WITH SCORE 359606.283
AT ITER 710 NEW BEST:: SOT 945109 SOS 566516 HAS SOPS 552008 HAS SOUS 360141 HAS SOUPS 358767 WITH SCORE 359333.516
AT ITER 711 NEW BEST:: SOT 945085 SOS 566488 HAS SOPS 551980 HAS SOUS 360117 HAS SOUPS 358743 WITH SCORE 359309.488
AT ITER 714 NEW BEST:: SOT 945081 SOS 567312 HAS SOPS 552714 HAS SOUS 359988 HAS SOUPS 358614 WITH SCORE 359181.312
AT ITER 723 NEW BEST:: SOT 945049 SOS 565705 HAS SOPS 551107 HAS SOUS 359888 HAS SOUPS 358514 WITH SCORE 359079.705
AT ITER 740 NEW BEST:: SOT 946049 SOS 566304 HAS SOPS 551706 HAS SOUS 353661 HAS SOUPS 352287 WITH SCORE 352853.304
AT ITER 741 NEW BEST:: SOT 947144 SOS 563917 HAS SOPS 549319 HAS SOUS 352479 HAS SOUPS 351105 WITH SCORE 351668.917
AT ITER 745 NEW BEST:: SOT 947144 SOS 561544 HAS SOPS 546946 HAS SOUS 352397 HAS SOUPS 351023 WITH SCORE 351584.544
AT ITER 749 NEW BEST:: SOT 947093 SOS 561157 HAS SOPS 546559 HAS SOUS 351466 HAS SOUPS 350092 WITH SCORE 350653.157
AT ITER 755 NEW BEST:: SOT 947078 SOS 561142 HAS SOPS 546544 HAS SOUS 351451 HAS SOUPS 350077 WITH SCORE 350638.142
AT ITER 757 NEW BEST:: SOT 947078 SOS 561032 HAS SOPS 546434 HAS SOUS 351251 HAS SOUPS 349877 WITH SCORE 350438.032
AT ITER 758 NEW BEST:: SOT 946670 SOS 560624 HAS SOPS 546026 HAS SOUS 350598 HAS SOUPS 349224 WITH SCORE 349784.624
AT ITER 760 NEW BEST:: SOT 950348 SOS 561185 HAS SOPS 546645 HAS SOUS 349774 HAS SOUPS 348400 WITH SCORE 348961.185
AT ITER 761 NEW BEST:: SOT 950343 SOS 561181 HAS SOPS 546641 HAS SOUS 349769 HAS SOUPS 348395 WITH SCORE 348956.181
AT ITER 762 NEW BEST:: SOT 949426 SOS 560552 HAS SOPS 546012 HAS SOUS 349373 HAS SOUPS 347999 WITH SCORE 348559.552
AT ITER 780 NEW BEST:: SOT 949434 SOS 560560 HAS SOPS 546020 HAS SOUS 349369 HAS SOUPS 347995 WITH SCORE 348555.56
AT ITER 787 NEW BEST:: SOT 949506 SOS 560778 HAS SOPS 546154 HAS SOUS 349281 HAS SOUPS 347907 WITH SCORE 348467.778
AT ITER 792 NEW BEST:: SOT 949496 SOS 560758 HAS SOPS 546064 HAS SOUS 349191 HAS SOUPS 347817 WITH SCORE 348377.758
AT ITER 797 NEW BEST:: SOT 948798 SOS 559880 HAS SOPS 545186 HAS SOUS 348955 HAS SOUPS 347581 WITH SCORE 348140.88
AT ITER 805 NEW BEST:: SOT 948825 SOS 560008 HAS SOPS 545314 HAS SOUS 348908 HAS SOUPS 347534 WITH SCORE 348094.008
AT ITER 811 NEW BEST:: SOT 949184 SOS 559533 HAS SOPS 544839 HAS SOUS 344104 HAS SOUPS 342730 WITH SCORE 343289.533
AT ITER 816 NEW BEST:: SOT 949549 SOS 559335 HAS SOPS 544641 HAS SOUS 340822 HAS SOUPS 339448 WITH SCORE 340007.335
AT ITER 824 NEW BEST:: SOT 949403 SOS 558473 HAS SOPS 543779 HAS SOUS 340536 HAS SOUPS 339162 WITH SCORE 339720.473
AT ITER 828 NEW BEST:: SOT 949181 SOS 558197 HAS SOPS 543503 HAS SOUS 340314 HAS SOUPS 338940 WITH SCORE 339498.197
AT ITER 842 NEW BEST:: SOT 949163 SOS 558313 HAS SOPS 543619 HAS SOUS 340075 HAS SOUPS 338701 WITH SCORE 339259.313
AT ITER 847 NEW BEST:: SOT 948700 SOS 557797 HAS SOPS 543103 HAS SOUS 339656 HAS SOUPS 338282 WITH SCORE 338839.797
AT ITER 867 NEW BEST:: SOT 948025 SOS 557284 HAS SOPS 542590 HAS SOUS 338996 HAS SOUPS 337622 WITH SCORE 338179.284
AT ITER 870 NEW BEST:: SOT 947982 SOS 557273 HAS SOPS 542579 HAS SOUS 338900 HAS SOUPS 337526 WITH SCORE 338083.273
AT ITER 872 NEW BEST:: SOT 947875 SOS 557180 HAS SOPS 542408 HAS SOUS 338495 HAS SOUPS 337121 WITH SCORE 337678.18
AT ITER 877 NEW BEST:: SOT 946678 SOS 555387 HAS SOPS 540615 HAS SOUS 337593 HAS SOUPS 336219 WITH SCORE 336774.387
AT ITER 879 NEW BEST:: SOT 946745 SOS 554073 HAS SOPS 539301 HAS SOUS 336092 HAS SOUPS 334718 WITH SCORE 335272.073
AT ITER 882 NEW BEST:: SOT 946745 SOS 552238 HAS SOPS 537466 HAS SOUS 336034 HAS SOUPS 334660 WITH SCORE 335212.238
AT ITER 888 NEW BEST:: SOT 946554 SOS 552092 HAS SOPS 537320 HAS SOUS 335944 HAS SOUPS 334570 WITH SCORE 335122.092
AT ITER 889 NEW BEST:: SOT 945739 SOS 551197 HAS SOPS 536345 HAS SOUS 334784 HAS SOUPS 333410 WITH SCORE 333961.197
AT ITER 896 NEW BEST:: SOT 945682 SOS 551140 HAS SOPS 536288 HAS SOUS 334670 HAS SOUPS 333296 WITH SCORE 333847.14
AT ITER 901 NEW BEST:: SOT 945660 SOS 551118 HAS SOPS 536244 HAS SOUS 334623 HAS SOUPS 333247 WITH SCORE 333798.118
AT ITER 905 NEW BEST:: SOT 945592 SOS 551050 HAS SOPS 536176 HAS SOUS 334487 HAS SOUPS 333111 WITH SCORE 333662.05
AT ITER 926 NEW BEST:: SOT 947299 SOS 560424 HAS SOPS 544544 HAS SOUS 332859 HAS SOUPS 331217 WITH SCORE 331777.424
AT ITER 932 NEW BEST:: SOT 947116 SOS 560150 HAS SOPS 544180 HAS SOUS 332394 HAS SOUPS 330752 WITH SCORE 331312.15
AT ITER 935 NEW BEST:: SOT 947157 SOS 560139 HAS SOPS 544169 HAS SOUS 332372 HAS SOUPS 330730 WITH SCORE 331290.139
AT ITER 961 NEW BEST:: SOT 946648 SOS 559788 HAS SOPS 543818 HAS SOUS 331945 HAS SOUPS 330303 WITH SCORE 330862.788
AT ITER 969 NEW BEST:: SOT 946937 SOS 559042 HAS SOPS 543072 HAS SOUS 331232 HAS SOUPS 329590 WITH SCORE 330149.042
AT ITER 972 NEW BEST:: SOT 946935 SOS 559040 HAS SOPS 543072 HAS SOUS 331224 HAS SOUPS 329582 WITH SCORE 330141.04
AT ITER 977 NEW BEST:: SOT 946935 SOS 558986 HAS SOPS 543018 HAS SOUS 331224 HAS SOUPS 329582 WITH SCORE 330140.986
AT ITER 979 NEW BEST:: SOT 946650 SOS 558349 HAS SOPS 542381 HAS SOUS 330845 HAS SOUPS 329203 WITH SCORE 329761.349
AT ITER 983 NEW BEST:: SOT 946459 SOS 558051 HAS SOPS 542083 HAS SOUS 330707 HAS SOUPS 329065 WITH SCORE 329623.051
AT ITER 987 NEW BEST:: SOT 950966 SOS 560188 HAS SOPS 544220 HAS SOUS 329652 HAS SOUPS 328010 WITH SCORE 328570.188
AT ITER 995 NEW BEST:: SOT 954149 SOS 561889 HAS SOPS 545921 HAS SOUS 327755 HAS SOUPS 326113 WITH SCORE 326674.889
AT ITER 997 NEW BEST:: SOT 953944 SOS 561553 HAS SOPS 545585 HAS SOUS 327576 HAS SOUPS 325934 WITH SCORE 326495.553
AT ITER 998 NEW BEST:: SOT 952922 SOS 560552 HAS SOPS 544584 HAS SOUS 326788 HAS SOUPS 325146 WITH SCORE 325706.552
AT ITER 1002 NEW BEST:: SOT 952785 SOS 560415 HAS SOPS 544447 HAS SOUS 326592 HAS SOUPS 324950 WITH SCORE 325510.415
AT ITER 1011 NEW BEST:: SOT 952544 SOS 560275 HAS SOPS 544413 HAS SOUS 326408 HAS SOUPS 324768 WITH SCORE 325328.275
AT ITER 1014 NEW BEST:: SOT 952792 SOS 560458 HAS SOPS 544596 HAS SOUS 325966 HAS SOUPS 324326 WITH SCORE 324886.458
AT ITER 1016 NEW BEST:: SOT 952751 SOS 560335 HAS SOPS 544473 HAS SOUS 325925 HAS SOUPS 324285 WITH SCORE 324845.335
AT ITER 1026 NEW BEST:: SOT 950999 SOS 620790 HAS SOPS 610866 HAS SOUS 325383 HAS SOUPS 323980 WITH SCORE 324600.79
AT ITER 1033 NEW BEST:: SOT 950981 SOS 620772 HAS SOPS 610848 HAS SOUS 325299 HAS SOUPS 323896 WITH SCORE 324516.772
AT ITER 1046 NEW BEST:: SOT 951473 SOS 621556 HAS SOPS 611632 HAS SOUS 322374 HAS SOUPS 320971 WITH SCORE 321592.556
AT ITER 1047 NEW BEST:: SOT 951719 SOS 622094 HAS SOPS 612170 HAS SOUS 322155 HAS SOUPS 320752 WITH SCORE 321374.094
AT ITER 1058 NEW BEST:: SOT 951719 SOS 622072 HAS SOPS 612137 HAS SOUS 322144 HAS SOUPS 320741 WITH SCORE 321363.072
AT ITER 1062 NEW BEST:: SOT 951719 SOS 622072 HAS SOPS 612137 HAS SOUS 322105 HAS SOUPS 320702 WITH SCORE 321324.072
AT ITER 1064 NEW BEST:: SOT 951459 SOS 621812 HAS SOPS 611877 HAS SOUS 321927 HAS SOUPS 320524 WITH SCORE 321145.812
AT ITER 1066 NEW BEST:: SOT 951398 SOS 621677 HAS SOPS 611742 HAS SOUS 321805 HAS SOUPS 320402 WITH SCORE 321023.677
AT ITER 1067 NEW BEST:: SOT 951094 SOS 621482 HAS SOPS 611547 HAS SOUS 321702 HAS SOUPS 320299 WITH SCORE 320920.482
AT ITER 1071 NEW BEST:: SOT 951094 SOS 621506 HAS SOPS 611571 HAS SOUS 321690 HAS SOUPS 320287 WITH SCORE 320908.506
AT ITER 1072 NEW BEST:: SOT 950992 SOS 619874 HAS SOPS 609939 HAS SOUS 321588 HAS SOUPS 320185 WITH SCORE 320804.874
AT ITER 1085 NEW BEST:: SOT 950992 SOS 619867 HAS SOPS 609930 HAS SOUS 321579 HAS SOUPS 320176 WITH SCORE 320795.867
AT ITER 1090 NEW BEST:: SOT 950714 SOS 619480 HAS SOPS 609543 HAS SOUS 321240 HAS SOUPS 319837 WITH SCORE 320456.48
AT ITER 1104 NEW BEST:: SOT 950739 SOS 619581 HAS SOPS 609644 HAS SOUS 321214 HAS SOUPS 319811 WITH SCORE 320430.581
AT ITER 1119 NEW BEST:: SOT 950624 SOS 619466 HAS SOPS 609529 HAS SOUS 321165 HAS SOUPS 319762 WITH SCORE 320381.466
AT ITER 1125 NEW BEST:: SOT 950617 SOS 619445 HAS SOPS 609508 HAS SOUS 321151 HAS SOUPS 319748 WITH SCORE 320367.445
AT ITER 1134 NEW BEST:: SOT 950945 SOS 620035 HAS SOPS 610098 HAS SOUS 320954 HAS SOUPS 319551 WITH SCORE 320171.035
AT ITER 1138 NEW BEST:: SOT 953336 SOS 622346 HAS SOPS 612409 HAS SOUS 318131 HAS SOUPS 316728 WITH SCORE 317350.346
AT ITER 1140 NEW BEST:: SOT 953219 SOS 622229 HAS SOPS 612292 HAS SOUS 317930 HAS SOUPS 316527 WITH SCORE 317149.229
AT ITER 1145 NEW BEST:: SOT 953175 SOS 622107 HAS SOPS 612170 HAS SOUS 317881 HAS SOUPS 316478 WITH SCORE 317100.107
AT ITER 1146 NEW BEST:: SOT 953128 SOS 622116 HAS SOPS 612179 HAS SOUS 317869 HAS SOUPS 316466 WITH SCORE 317088.116
AT ITER 1151 NEW BEST:: SOT 952488 SOS 621725 HAS SOPS 611788 HAS SOUS 317396 HAS SOUPS 315993 WITH SCORE 316614.725
AT ITER 1159 NEW BEST:: SOT 952440 SOS 622254 HAS SOPS 612317 HAS SOUS 317249 HAS SOUPS 315846 WITH SCORE 316468.254
AT ITER 1162 NEW BEST:: SOT 952832 SOS 617985 HAS SOPS 608048 HAS SOUS 316683 HAS SOUPS 315280 WITH SCORE 315897.985
AT ITER 1166 NEW BEST:: SOT 952508 SOS 617668 HAS SOPS 607731 HAS SOUS 316332 HAS SOUPS 314929 WITH SCORE 315546.668
AT ITER 1174 NEW BEST:: SOT 953110 SOS 617172 HAS SOPS 607235 HAS SOUS 315860 HAS SOUPS 314457 WITH SCORE 315074.172
AT ITER 1180 NEW BEST:: SOT 952974 SOS 616963 HAS SOPS 606799 HAS SOUS 315883 HAS SOUPS 314338 WITH SCORE 314954.963
AT ITER 1182 NEW BEST:: SOT 952893 SOS 616882 HAS SOPS 606718 HAS SOUS 315802 HAS SOUPS 314257 WITH SCORE 314873.882
AT ITER 1190 NEW BEST:: SOT 952896 SOS 615462 HAS SOPS 605298 HAS SOUS 315677 HAS SOUPS 314132 WITH SCORE 314747.462
AT ITER 1203 NEW BEST:: SOT 952693 SOS 615889 HAS SOPS 605725 HAS SOUS 315054 HAS SOUPS 313509 WITH SCORE 314124.889
AT ITER 1217 NEW BEST:: SOT 952591 SOS 615630 HAS SOPS 605466 HAS SOUS 314858 HAS SOUPS 313313 WITH SCORE 313928.63
AT ITER 1230 NEW BEST:: SOT 952591 SOS 615526 HAS SOPS 605362 HAS SOUS 314858 HAS SOUPS 313313 WITH SCORE 313928.526
AT ITER 1239 NEW BEST:: SOT 952608 SOS 615543 HAS SOPS 605379 HAS SOUS 314842 HAS SOUPS 313297 WITH SCORE 313912.543
AT ITER 1242 NEW BEST:: SOT 953095 SOS 607886 HAS SOPS 597722 HAS SOUS 314088 HAS SOUPS 312543 WITH SCORE 313150.886
AT ITER 1247 NEW BEST:: SOT 953091 SOS 607882 HAS SOPS 597718 HAS SOUS 314080 HAS SOUPS 312535 WITH SCORE 313142.882
AT ITER 1260 NEW BEST:: SOT 952978 SOS 607769 HAS SOPS 597687 HAS SOUS 314016 HAS SOUPS 312472 WITH SCORE 313079.769
AT ITER 1266 NEW BEST:: SOT 953019 SOS 607768 HAS SOPS 597686 HAS SOUS 314015 HAS SOUPS 312471 WITH SCORE 313078.768
AT ITER 1267 NEW BEST:: SOT 952965 SOS 607714 HAS SOPS 597632 HAS SOUS 313946 HAS SOUPS 312402 WITH SCORE 313009.714
AT ITER 1270 NEW BEST:: SOT 952770 SOS 607519 HAS SOPS 597437 HAS SOUS 313816 HAS SOUPS 312272 WITH SCORE 312879.519
AT ITER 1294 NEW BEST:: SOT 952695 SOS 607444 HAS SOPS 597362 HAS SOUS 313741 HAS SOUPS 312197 WITH SCORE 312804.444
AT ITER 1309 NEW BEST:: SOT 952582 SOS 607686 HAS SOPS 597604 HAS SOUS 313671 HAS SOUPS 312127 WITH SCORE 312734.686
AT ITER 1323 NEW BEST:: SOT 949611 SOS 605389 HAS SOPS 595307 HAS SOUS 312811 HAS SOUPS 311267 WITH SCORE 311872.389
AT ITER 1340 NEW BEST:: SOT 949496 SOS 605281 HAS SOPS 595199 HAS SOUS 312516 HAS SOUPS 310972 WITH SCORE 311577.281
AT ITER 1346 NEW BEST:: SOT 949476 SOS 605261 HAS SOPS 595179 HAS SOUS 312516 HAS SOUPS 310972 WITH SCORE 311577.261
AT ITER 1368 NEW BEST:: SOT 950061 SOS 600133 HAS SOPS 590051 HAS SOUS 310400 HAS SOUPS 308856 WITH SCORE 309456.133
AT ITER 1381 NEW BEST:: SOT 950038 SOS 600087 HAS SOPS 590005 HAS SOUS 310354 HAS SOUPS 308810 WITH SCORE 309410.087
AT ITER 1383 NEW BEST:: SOT 950170 SOS 600337 HAS SOPS 590255 HAS SOUS 310090 HAS SOUPS 308546 WITH SCORE 309146.337
AT ITER 1398 NEW BEST:: SOT 950198 SOS 600335 HAS SOPS 590253 HAS SOUS 310088 HAS SOUPS 308544 WITH SCORE 309144.335
AT ITER 1401 NEW BEST:: SOT 950097 SOS 599955 HAS SOPS 589873 HAS SOUS 309886 HAS SOUPS 308342 WITH SCORE 308941.955
AT ITER 1402 NEW BEST:: SOT 950097 SOS 599907 HAS SOPS 589825 HAS SOUS 309886 HAS SOUPS 308342 WITH SCORE 308941.907
AT ITER 1419 NEW BEST:: SOT 950131 SOS 600070 HAS SOPS 589988 HAS SOUS 309776 HAS SOUPS 308232 WITH SCORE 308832.07
AT ITER 1426 NEW BEST:: SOT 950008 SOS 593363 HAS SOPS 584185 HAS SOUS 309304 HAS SOUPS 307986 WITH SCORE 308579.363
AT ITER 1437 NEW BEST:: SOT 950000 SOS 593237 HAS SOPS 584059 HAS SOUS 309296 HAS SOUPS 307978 WITH SCORE 308571.237
AT ITER 1445 NEW BEST:: SOT 949869 SOS 593709 HAS SOPS 584531 HAS SOUS 309244 HAS SOUPS 307926 WITH SCORE 308519.709
AT ITER 1446 NEW BEST:: SOT 949869 SOS 593709 HAS SOPS 584531 HAS SOUS 309236 HAS SOUPS 307918 WITH SCORE 308511.709
AT ITER 1448 NEW BEST:: SOT 949850 SOS 593690 HAS SOPS 584531 HAS SOUS 309147 HAS SOUPS 307829 WITH SCORE 308422.69
AT ITER 1450 NEW BEST:: SOT 949739 SOS 593579 HAS SOPS 584420 HAS SOUS 309147 HAS SOUPS 307829 WITH SCORE 308422.579
AT ITER 1453 NEW BEST:: SOT 949760 SOS 593727 HAS SOPS 584568 HAS SOUS 308882 HAS SOUPS 307564 WITH SCORE 308157.727
AT ITER 1457 NEW BEST:: SOT 949619 SOS 593468 HAS SOPS 584309 HAS SOUS 308882 HAS SOUPS 307564 WITH SCORE 308157.468
AT ITER 1459 NEW BEST:: SOT 949559 SOS 593377 HAS SOPS 584218 HAS SOUS 308762 HAS SOUPS 307444 WITH SCORE 308037.377
AT ITER 1460 NEW BEST:: SOT 949225 SOS 593043 HAS SOPS 583884 HAS SOUS 308465 HAS SOUPS 307147 WITH SCORE 307740.043
AT ITER 1465 NEW BEST:: SOT 949891 SOS 591291 HAS SOPS 582132 HAS SOUS 308463 HAS SOUPS 307145 WITH SCORE 307736.291
AT ITER 1467 NEW BEST:: SOT 949895 SOS 591216 HAS SOPS 582057 HAS SOUS 308332 HAS SOUPS 307014 WITH SCORE 307605.216
AT ITER 1472 NEW BEST:: SOT 949930 SOS 590871 HAS SOPS 581712 HAS SOUS 308312 HAS SOUPS 306994 WITH SCORE 307584.871
AT ITER 1477 NEW BEST:: SOT 949758 SOS 590699 HAS SOPS 581540 HAS SOUS 308054 HAS SOUPS 306736 WITH SCORE 307326.699
AT ITER 1489 NEW BEST:: SOT 949751 SOS 590610 HAS SOPS 581451 HAS SOUS 307960 HAS SOUPS 306642 WITH SCORE 307232.61
AT ITER 1500 NEW BEST:: SOT 949822 SOS 591555 HAS SOPS 582396 HAS SOUS 307779 HAS SOUPS 306461 WITH SCORE 307052.555
AT ITER 1511 NEW BEST:: SOT 949656 SOS 591186 HAS SOPS 582027 HAS SOUS 307779 HAS SOUPS 306461 WITH SCORE 307052.186
AT ITER 1512 NEW BEST:: SOT 949604 SOS 591046 HAS SOPS 581887 HAS SOUS 307675 HAS SOUPS 306357 WITH SCORE 306948.046
AT ITER 1516 NEW BEST:: SOT 949113 SOS 590259 HAS SOPS 581100 HAS SOUS 307038 HAS SOUPS 305720 WITH SCORE 306310.259
AT ITER 1538 NEW BEST:: SOT 949108 SOS 590254 HAS SOPS 581095 HAS SOUS 307010 HAS SOUPS 305692 WITH SCORE 306282.254
AT ITER 1541 NEW BEST:: SOT 948313 SOS 589265 HAS SOPS 580106 HAS SOUS 306800 HAS SOUPS 305482 WITH SCORE 306071.265
AT ITER 1556 NEW BEST:: SOT 948303 SOS 589180 HAS SOPS 580021 HAS SOUS 306762 HAS SOUPS 305444 WITH SCORE 306033.18
AT ITER 1557 NEW BEST:: SOT 948227 SOS 589104 HAS SOPS 579945 HAS SOUS 306666 HAS SOUPS 305348 WITH SCORE 305937.104
AT ITER 1560 NEW BEST:: SOT 947997 SOS 588819 HAS SOPS 579660 HAS SOUS 306403 HAS SOUPS 305085 WITH SCORE 305673.819
AT ITER 1563 NEW BEST:: SOT 947943 SOS 588765 HAS SOPS 579606 HAS SOUS 306337 HAS SOUPS 305019 WITH SCORE 305607.765
AT ITER 1569 NEW BEST:: SOT 947743 SOS 588665 HAS SOPS 579506 HAS SOUS 306137 HAS SOUPS 304819 WITH SCORE 305407.665
AT ITER 1570 NEW BEST:: SOT 947695 SOS 588641 HAS SOPS 579482 HAS SOUS 306095 HAS SOUPS 304777 WITH SCORE 305365.641
AT ITER 1583 NEW BEST:: SOT 947650 SOS 588311 HAS SOPS 579152 HAS SOUS 306005 HAS SOUPS 304687 WITH SCORE 305275.311
AT ITER 1594 NEW BEST:: SOT 947346 SOS 588130 HAS SOPS 579159 HAS SOUS 305706 HAS SOUPS 304388 WITH SCORE 304976.13
AT ITER 1599 NEW BEST:: SOT 947317 SOS 588091 HAS SOPS 579120 HAS SOUS 305675 HAS SOUPS 304357 WITH SCORE 304945.091
AT ITER 1602 NEW BEST:: SOT 947187 SOS 588189 HAS SOPS 579218 HAS SOUS 305460 HAS SOUPS 304142 WITH SCORE 304730.189
AT ITER 1606 NEW BEST:: SOT 947147 SOS 588149 HAS SOPS 579178 HAS SOUS 305290 HAS SOUPS 303972 WITH SCORE 304560.149
AT ITER 1610 NEW BEST:: SOT 947794 SOS 588057 HAS SOPS 579086 HAS SOUS 304323 HAS SOUPS 303005 WITH SCORE 303593.057
AT ITER 1615 NEW BEST:: SOT 947765 SOS 588028 HAS SOPS 579057 HAS SOUS 304175 HAS SOUPS 302857 WITH SCORE 303445.028
AT ITER 1617 NEW BEST:: SOT 947765 SOS 587612 HAS SOPS 578641 HAS SOUS 304175 HAS SOUPS 302857 WITH SCORE 303444.612
AT ITER 1622 NEW BEST:: SOT 947701 SOS 587412 HAS SOPS 578441 HAS SOUS 304115 HAS SOUPS 302797 WITH SCORE 303384.412
AT ITER 1628 NEW BEST:: SOT 947680 SOS 587391 HAS SOPS 578441 HAS SOUS 304031 HAS SOUPS 302713 WITH SCORE 303300.391
AT ITER 1629 NEW BEST:: SOT 947680 SOS 586831 HAS SOPS 577881 HAS SOUS 303894 HAS SOUPS 302576 WITH SCORE 303162.831
AT ITER 1630 NEW BEST:: SOT 947680 SOS 586467 HAS SOPS 577517 HAS SOUS 303894 HAS SOUPS 302576 WITH SCORE 303162.467
AT ITER 1636 NEW BEST:: SOT 947680 SOS 586495 HAS SOPS 577545 HAS SOUS 303838 HAS SOUPS 302520 WITH SCORE 303106.495
AT ITER 1645 NEW BEST:: SOT 947693 SOS 585290 HAS SOPS 576340 HAS SOUS 302985 HAS SOUPS 301667 WITH SCORE 302252.29
AT ITER 1646 NEW BEST:: SOT 947622 SOS 585024 HAS SOPS 576074 HAS SOUS 302937 HAS SOUPS 301619 WITH SCORE 302204.024
AT ITER 1652 NEW BEST:: SOT 947787 SOS 583032 HAS SOPS 574082 HAS SOUS 301013 HAS SOUPS 299695 WITH SCORE 300278.032
AT ITER 1654 NEW BEST:: SOT 947694 SOS 582212 HAS SOPS 573262 HAS SOUS 300869 HAS SOUPS 299551 WITH SCORE 300133.212
AT ITER 1656 NEW BEST:: SOT 947657 SOS 582382 HAS SOPS 573432 HAS SOUS 300853 HAS SOUPS 299535 WITH SCORE 300117.382
AT ITER 1662 NEW BEST:: SOT 947807 SOS 582532 HAS SOPS 573582 HAS SOUS 300830 HAS SOUPS 299512 WITH SCORE 300094.532
AT ITER 1673 NEW BEST:: SOT 947807 SOS 582491 HAS SOPS 573541 HAS SOUS 300748 HAS SOUPS 299430 WITH SCORE 300012.491
AT ITER 1680 NEW BEST:: SOT 947793 SOS 582477 HAS SOPS 573527 HAS SOUS 300718 HAS SOUPS 299400 WITH SCORE 299982.477
AT ITER 1693 NEW BEST:: SOT 947786 SOS 582487 HAS SOPS 573537 HAS SOUS 300716 HAS SOUPS 299398 WITH SCORE 299980.487
AT ITER 1704 NEW BEST:: SOT 947786 SOS 582386 HAS SOPS 573436 HAS SOUS 300716 HAS SOUPS 299398 WITH SCORE 299980.386
AT ITER 1716 NEW BEST:: SOT 944368 SOS 579114 HAS SOPS 570164 HAS SOUS 298377 HAS SOUPS 297059 WITH SCORE 297638.114
AT ITER 1727 NEW BEST:: SOT 944330 SOS 578848 HAS SOPS 569898 HAS SOUS 298339 HAS SOUPS 297021 WITH SCORE 297599.848
AT ITER 1732 NEW BEST:: SOT 944292 SOS 578851 HAS SOPS 569901 HAS SOUS 298105 HAS SOUPS 296787 WITH SCORE 297365.851
AT ITER 1740 NEW BEST:: SOT 944182 SOS 578661 HAS SOPS 569711 HAS SOUS 297725 HAS SOUPS 296407 WITH SCORE 296985.661
AT ITER 1742 NEW BEST:: SOT 944182 SOS 578661 HAS SOPS 569711 HAS SOUS 297586 HAS SOUPS 296268 WITH SCORE 296846.661
AT ITER 1744 NEW BEST:: SOT 943107 SOS 577340 HAS SOPS 568390 HAS SOUS 297006 HAS SOUPS 295688 WITH SCORE 296265.34
AT ITER 1746 NEW BEST:: SOT 942910 SOS 577040 HAS SOPS 568090 HAS SOUS 296498 HAS SOUPS 295180 WITH SCORE 295757.04
AT ITER 1767 NEW BEST:: SOT 942386 SOS 576601 HAS SOPS 567651 HAS SOUS 296195 HAS SOUPS 294877 WITH SCORE 295453.601
AT ITER 1769 NEW BEST:: SOT 942270 SOS 576537 HAS SOPS 567587 HAS SOUS 295857 HAS SOUPS 294539 WITH SCORE 295115.537
AT ITER 1774 NEW BEST:: SOT 942361 SOS 576628 HAS SOPS 567678 HAS SOUS 295856 HAS SOUPS 294538 WITH SCORE 295114.628
AT ITER 1777 NEW BEST:: SOT 942267 SOS 576393 HAS SOPS 567443 HAS SOUS 295715 HAS SOUPS 294397 WITH SCORE 294973.393
AT ITER 1779 NEW BEST:: SOT 942177 SOS 575988 HAS SOPS 567038 HAS SOUS 295451 HAS SOUPS 294133 WITH SCORE 294708.988
AT ITER 1788 NEW BEST:: SOT 942168 SOS 575988 HAS SOPS 567038 HAS SOUS 295433 HAS SOUPS 294115 WITH SCORE 294690.988
AT ITER 1790 NEW BEST:: SOT 942184 SOS 576004 HAS SOPS 567054 HAS SOUS 295406 HAS SOUPS 294088 WITH SCORE 294664.004
AT ITER 1806 NEW BEST:: SOT 942142 SOS 576051 HAS SOPS 567101 HAS SOUS 295379 HAS SOUPS 294061 WITH SCORE 294637.051
AT ITER 1824 NEW BEST:: SOT 942036 SOS 576085 HAS SOPS 567135 HAS SOUS 295237 HAS SOUPS 293919 WITH SCORE 294495.085
AT ITER 1825 NEW BEST:: SOT 941887 SOS 575989 HAS SOPS 567039 HAS SOUS 295112 HAS SOUPS 293794 WITH SCORE 294369.989
AT ITER 1826 NEW BEST:: SOT 941879 SOS 575981 HAS SOPS 567031 HAS SOUS 295104 HAS SOUPS 293786 WITH SCORE 294361.981
AT ITER 1833 NEW BEST:: SOT 941879 SOS 576073 HAS SOPS 567123 HAS SOUS 295012 HAS SOUPS 293694 WITH SCORE 294270.073
AT ITER 1834 NEW BEST:: SOT 941869 SOS 576111 HAS SOPS 567161 HAS SOUS 294998 HAS SOUPS 293680 WITH SCORE 294256.111
AT ITER 1835 NEW BEST:: SOT 941906 SOS 576992 HAS SOPS 568042 HAS SOUS 294717 HAS SOUPS 293399 WITH SCORE 293975.992
AT ITER 1846 NEW BEST:: SOT 941893 SOS 576979 HAS SOPS 568029 HAS SOUS 294689 HAS SOUPS 293371 WITH SCORE 293947.979
AT ITER 1863 NEW BEST:: SOT 941887 SOS 576973 HAS SOPS 568023 HAS SOUS 294533 HAS SOUPS 293215 WITH SCORE 293791.973
AT ITER 1872 NEW BEST:: SOT 941837 SOS 576898 HAS SOPS 567948 HAS SOUS 294508 HAS SOUPS 293190 WITH SCORE 293766.898
AT ITER 1878 NEW BEST:: SOT 941986 SOS 576001 HAS SOPS 567051 HAS SOUS 294440 HAS SOUPS 293122 WITH SCORE 293698.001
AT ITER 1879 NEW BEST:: SOT 941986 SOS 575985 HAS SOPS 567011 HAS SOUS 294391 HAS SOUPS 293073 WITH SCORE 293648.985
AT ITER 1888 NEW BEST:: SOT 941795 SOS 573829 HAS SOPS 564855 HAS SOUS 293817 HAS SOUPS 292499 WITH SCORE 293072.829
AT ITER 1893 NEW BEST:: SOT 941783 SOS 573775 HAS SOPS 564801 HAS SOUS 293793 HAS SOUPS 292475 WITH SCORE 293048.775
AT ITER 1898 NEW BEST:: SOT 941783 SOS 573775 HAS SOPS 564801 HAS SOUS 293591 HAS SOUPS 292273 WITH SCORE 292846.775
AT ITER 1900 NEW BEST:: SOT 941563 SOS 568269 HAS SOPS 559295 HAS SOUS 291027 HAS SOUPS 289709 WITH SCORE 290277.269
AT ITER 1914 NEW BEST:: SOT 941839 SOS 564712 HAS SOPS 555738 HAS SOUS 290692 HAS SOUPS 289374 WITH SCORE 289938.712
AT ITER 1918 NEW BEST:: SOT 941834 SOS 564696 HAS SOPS 555722 HAS SOUS 290634 HAS SOUPS 289316 WITH SCORE 289880.696
AT ITER 1929 NEW BEST:: SOT 941777 SOS 564935 HAS SOPS 555961 HAS SOUS 290508 HAS SOUPS 289190 WITH SCORE 289754.935
AT ITER 1938 NEW BEST:: SOT 941729 SOS 564887 HAS SOPS 555913 HAS SOUS 290368 HAS SOUPS 289050 WITH SCORE 289614.887
AT ITER 1942 NEW BEST:: SOT 942498 SOS 564840 HAS SOPS 555866 HAS SOUS 288615 HAS SOUPS 287297 WITH SCORE 287861.84
AT ITER 1949 NEW BEST:: SOT 942490 SOS 564824 HAS SOPS 555850 HAS SOUS 288599 HAS SOUPS 287281 WITH SCORE 287845.824
AT ITER 1953 NEW BEST:: SOT 942426 SOS 564678 HAS SOPS 555704 HAS SOUS 288500 HAS SOUPS 287182 WITH SCORE 287746.678
AT ITER 1954 NEW BEST:: SOT 942390 SOS 564786 HAS SOPS 555668 HAS SOUS 288473 HAS SOUPS 287137 WITH SCORE 287701.786
AT ITER 1955 NEW BEST:: SOT 942027 SOS 563215 HAS SOPS 554097 HAS SOUS 288211 HAS SOUPS 286875 WITH SCORE 287438.215
AT ITER 1956 NEW BEST:: SOT 942026 SOS 563213 HAS SOPS 554095 HAS SOUS 288209 HAS SOUPS 286873 WITH SCORE 287436.213
AT ITER 1960 NEW BEST:: SOT 941957 SOS 563075 HAS SOPS 553957 HAS SOUS 288119 HAS SOUPS 286783 WITH SCORE 287346.075
AT ITER 1968 NEW BEST:: SOT 941957 SOS 563077 HAS SOPS 553959 HAS SOUS 288094 HAS SOUPS 286758 WITH SCORE 287321.077
AT ITER 1970 NEW BEST:: SOT 941316 SOS 562454 HAS SOPS 553336 HAS SOUS 287960 HAS SOUPS 286624 WITH SCORE 287186.454
AT ITER 1977 NEW BEST:: SOT 941316 SOS 562480 HAS SOPS 553362 HAS SOUS 287908 HAS SOUPS 286572 WITH SCORE 287134.48
AT ITER 1981 NEW BEST:: SOT 941402 SOS 562716 HAS SOPS 553598 HAS SOUS 287900 HAS SOUPS 286564 WITH SCORE 287126.716
AT ITER 1986 NEW BEST:: SOT 941398 SOS 562712 HAS SOPS 553594 HAS SOUS 287892 HAS SOUPS 286556 WITH SCORE 287118.712
AT ITER 1999 NEW BEST:: SOT 941358 SOS 562648 HAS SOPS 553530 HAS SOUS 287852 HAS SOUPS 286516 WITH SCORE 287078.648
AT ITER 2001 NEW BEST:: SOT 941252 SOS 561396 HAS SOPS 552278 HAS SOUS 287836 HAS SOUPS 286500 WITH SCORE 287061.396
AT ITER 2002 NEW BEST:: SOT 941443 SOS 556147 HAS SOPS 547029 HAS SOUS 287098 HAS SOUPS 285762 WITH SCORE 286318.147
AT ITER 2004 NEW BEST:: SOT 941379 SOS 555915 HAS SOPS 546797 HAS SOUS 287082 HAS SOUPS 285746 WITH SCORE 286301.915
AT ITER 2009 NEW BEST:: SOT 941178 SOS 556226 HAS SOPS 547108 HAS SOUS 287067 HAS SOUPS 285731 WITH SCORE 286287.226
AT ITER 2016 NEW BEST:: SOT 941138 SOS 556166 HAS SOPS 547048 HAS SOUS 287007 HAS SOUPS 285671 WITH SCORE 286227.166
AT ITER 2021 NEW BEST:: SOT 941138 SOS 556166 HAS SOPS 547048 HAS SOUS 287004 HAS SOUPS 285668 WITH SCORE 286224.166
AT ITER 2025 NEW BEST:: SOT 941826 SOS 556690 HAS SOPS 547572 HAS SOUS 286980 HAS SOUPS 285644 WITH SCORE 286200.69
AT ITER 2031 NEW BEST:: SOT 941805 SOS 556690 HAS SOPS 547572 HAS SOUS 286950 HAS SOUPS 285614 WITH SCORE 286170.69
AT ITER 2049 NEW BEST:: SOT 941741 SOS 556658 HAS SOPS 547540 HAS SOUS 286888 HAS SOUPS 285552 WITH SCORE 286108.658
AT ITER 2052 NEW BEST:: SOT 941025 SOS 555942 HAS SOPS 546824 HAS SOUS 286172 HAS SOUPS 284836 WITH SCORE 285391.942
AT ITER 2060 NEW BEST:: SOT 940960 SOS 555812 HAS SOPS 546694 HAS SOUS 286042 HAS SOUPS 284706 WITH SCORE 285261.812
AT ITER 2061 NEW BEST:: SOT 940891 SOS 555743 HAS SOPS 546593 HAS SOUS 285984 HAS SOUPS 284636 WITH SCORE 285191.743
AT ITER 2068 NEW BEST:: SOT 940891 SOS 555716 HAS SOPS 546566 HAS SOUS 285957 HAS SOUPS 284609 WITH SCORE 285164.716
AT ITER 2086 NEW BEST:: SOT 940787 SOS 555486 HAS SOPS 546336 HAS SOUS 285722 HAS SOUPS 284374 WITH SCORE 284929.486
AT ITER 2101 NEW BEST:: SOT 940748 SOS 555458 HAS SOPS 546308 HAS SOUS 285587 HAS SOUPS 284239 WITH SCORE 284794.458
AT ITER 2102 NEW BEST:: SOT 940707 SOS 555441 HAS SOPS 546291 HAS SOUS 285570 HAS SOUPS 284222 WITH SCORE 284777.441
AT ITER 2108 NEW BEST:: SOT 940388 SOS 555125 HAS SOPS 545975 HAS SOUS 285292 HAS SOUPS 283944 WITH SCORE 284499.125
AT ITER 2116 NEW BEST:: SOT 940237 SOS 555260 HAS SOPS 546110 HAS SOUS 284990 HAS SOUPS 283642 WITH SCORE 284197.26
AT ITER 2124 NEW BEST:: SOT 940146 SOS 555169 HAS SOPS 546019 HAS SOUS 284904 HAS SOUPS 283556 WITH SCORE 284111.169
AT ITER 2131 NEW BEST:: SOT 940146 SOS 555273 HAS SOPS 546123 HAS SOUS 284800 HAS SOUPS 283452 WITH SCORE 284007.273
AT ITER 2135 NEW BEST:: SOT 940134 SOS 555261 HAS SOPS 546111 HAS SOUS 284784 HAS SOUPS 283436 WITH SCORE 283991.261
AT ITER 2147 NEW BEST:: SOT 940118 SOS 555245 HAS SOPS 546095 HAS SOUS 284752 HAS SOUPS 283404 WITH SCORE 283959.245
AT ITER 2152 NEW BEST:: SOT 940112 SOS 555239 HAS SOPS 546089 HAS SOUS 284740 HAS SOUPS 283392 WITH SCORE 283947.239
AT ITER 2156 NEW BEST:: SOT 940112 SOS 555260 HAS SOPS 546110 HAS SOUS 284719 HAS SOUPS 283371 WITH SCORE 283926.26
AT ITER 2165 NEW BEST:: SOT 940484 SOS 555708 HAS SOPS 546558 HAS SOUS 284610 HAS SOUPS 283262 WITH SCORE 283817.708
AT ITER 2167 NEW BEST:: SOT 940484 SOS 555708 HAS SOPS 546558 HAS SOUS 284606 HAS SOUPS 283258 WITH SCORE 283813.708
AT ITER 2181 NEW BEST:: SOT 940540 SOS 555754 HAS SOPS 546604 HAS SOUS 284598 HAS SOUPS 283250 WITH SCORE 283805.754
AT ITER 2182 NEW BEST:: SOT 934394 SOS 549664 HAS SOPS 540514 HAS SOUS 279086 HAS SOUPS 277738 WITH SCORE 278287.664
AT ITER 2183 NEW BEST:: SOT 933385 SOS 548778 HAS SOPS 539628 HAS SOUS 278635 HAS SOUPS 277287 WITH SCORE 277835.778
AT ITER 2187 NEW BEST:: SOT 933326 SOS 548810 HAS SOPS 539660 HAS SOUS 278517 HAS SOUPS 277169 WITH SCORE 277717.81
AT ITER 2201 NEW BEST:: SOT 933261 SOS 548860 HAS SOPS 539710 HAS SOUS 278204 HAS SOUPS 276856 WITH SCORE 277404.86
AT ITER 2205 NEW BEST:: SOT 933248 SOS 548860 HAS SOPS 539710 HAS SOUS 278166 HAS SOUPS 276818 WITH SCORE 277366.86
AT ITER 2207 NEW BEST:: SOT 933188 SOS 549155 HAS SOPS 540005 HAS SOUS 277970 HAS SOUPS 276622 WITH SCORE 277171.155
AT ITER 2210 NEW BEST:: SOT 933090 SOS 549057 HAS SOPS 540011 HAS SOUS 277914 HAS SOUPS 276618 WITH SCORE 277167.057
AT ITER 2211 NEW BEST:: SOT 933237 SOS 564775 HAS SOPS 555729 HAS SOUS 277876 HAS SOUPS 276580 WITH SCORE 277144.775
AT ITER 2228 NEW BEST:: SOT 933190 SOS 564512 HAS SOPS 555466 HAS SOUS 277782 HAS SOUPS 276486 WITH SCORE 277050.512
AT ITER 2230 NEW BEST:: SOT 932402 SOS 563940 HAS SOPS 554894 HAS SOUS 277082 HAS SOUPS 275786 WITH SCORE 276349.94
AT ITER 2237 NEW BEST:: SOT 932402 SOS 563874 HAS SOPS 554828 HAS SOUS 277073 HAS SOUPS 275777 WITH SCORE 276340.874
AT ITER 2245 NEW BEST:: SOT 932374 SOS 564820 HAS SOPS 555774 HAS SOUS 277031 HAS SOUPS 275735 WITH SCORE 276299.82
AT ITER 2249 NEW BEST:: SOT 932447 SOS 564758 HAS SOPS 555712 HAS SOUS 276910 HAS SOUPS 275614 WITH SCORE 276178.758
AT ITER 2251 NEW BEST:: SOT 932388 SOS 564790 HAS SOPS 555744 HAS SOUS 276813 HAS SOUPS 275517 WITH SCORE 276081.79
AT ITER 2257 NEW BEST:: SOT 932392 SOS 564765 HAS SOPS 555719 HAS SOUS 276728 HAS SOUPS 275432 WITH SCORE 275996.765
AT ITER 2258 NEW BEST:: SOT 932440 SOS 564894 HAS SOPS 555848 HAS SOUS 276725 HAS SOUPS 275429 WITH SCORE 275993.894
AT ITER 2259 NEW BEST:: SOT 932398 SOS 564873 HAS SOPS 555827 HAS SOUS 276641 HAS SOUPS 275345 WITH SCORE 275909.873
AT ITER 2265 NEW BEST:: SOT 932470 SOS 565233 HAS SOPS 556187 HAS SOUS 276569 HAS SOUPS 275273 WITH SCORE 275838.233
AT ITER 2273 NEW BEST:: SOT 932656 SOS 565432 HAS SOPS 556386 HAS SOUS 276376 HAS SOUPS 275080 WITH SCORE 275645.432
AT ITER 2278 NEW BEST:: SOT 932613 SOS 565389 HAS SOPS 556343 HAS SOUS 276333 HAS SOUPS 275037 WITH SCORE 275602.389
AT ITER 2281 NEW BEST:: SOT 929806 SOS 562229 HAS SOPS 553183 HAS SOUS 275715 HAS SOUPS 274419 WITH SCORE 274981.229
AT ITER 2296 NEW BEST:: SOT 929523 SOS 561946 HAS SOPS 552900 HAS SOUS 275303 HAS SOUPS 274007 WITH SCORE 274568.946
AT ITER 2303 NEW BEST:: SOT 929528 SOS 561949 HAS SOPS 552903 HAS SOUS 275272 HAS SOUPS 273976 WITH SCORE 274537.949
AT ITER 2323 NEW BEST:: SOT 929515 SOS 561936 HAS SOPS 552890 HAS SOUS 275259 HAS SOUPS 273963 WITH SCORE 274524.936
AT ITER 2358 NEW BEST:: SOT 929507 SOS 561844 HAS SOPS 552798 HAS SOUS 275222 HAS SOUPS 273926 WITH SCORE 274487.844
AT ITER 2368 NEW BEST:: SOT 929507 SOS 562019 HAS SOPS 552973 HAS SOUS 275209 HAS SOUPS 273913 WITH SCORE 274475.019
AT ITER 2370 NEW BEST:: SOT 929514 SOS 562027 HAS SOPS 552981 HAS SOUS 275147 HAS SOUPS 273851 WITH SCORE 274413.027
AT ITER 2400 NEW BEST:: SOT 929500 SOS 562013 HAS SOPS 552967 HAS SOUS 275119 HAS SOUPS 273823 WITH SCORE 274385.013
AT ITER 2406 NEW BEST:: SOT 929499 SOS 561897 HAS SOPS 552851 HAS SOUS 275079 HAS SOUPS 273783 WITH SCORE 274344.897
AT ITER 2410 NEW BEST:: SOT 929351 SOS 561712 HAS SOPS 552666 HAS SOUS 274896 HAS SOUPS 273600 WITH SCORE 274161.712
AT ITER 2425 NEW BEST:: SOT 929607 SOS 562715 HAS SOPS 553669 HAS SOUS 274781 HAS SOUPS 273485 WITH SCORE 274047.715
AT ITER 2435 NEW BEST:: SOT 929671 SOS 561478 HAS SOPS 552432 HAS SOUS 274567 HAS SOUPS 273271 WITH SCORE 273832.478
AT ITER 2440 NEW BEST:: SOT 929664 SOS 561471 HAS SOPS 552425 HAS SOUS 274493 HAS SOUPS 273197 WITH SCORE 273758.471
AT ITER 2452 NEW BEST:: SOT 929596 SOS 561298 HAS SOPS 552252 HAS SOUS 274320 HAS SOUPS 273024 WITH SCORE 273585.298
AT ITER 2466 NEW BEST:: SOT 929585 SOS 561254 HAS SOPS 552208 HAS SOUS 274320 HAS SOUPS 273024 WITH SCORE 273585.254
AT ITER 2471 NEW BEST:: SOT 929539 SOS 561162 HAS SOPS 552116 HAS SOUS 274297 HAS SOUPS 273001 WITH SCORE 273562.162
AT ITER 2475 NEW BEST:: SOT 930414 SOS 560092 HAS SOPS 551046 HAS SOUS 273391 HAS SOUPS 272095 WITH SCORE 272655.092
AT ITER 2491 NEW BEST:: SOT 930337 SOS 559861 HAS SOPS 550815 HAS SOUS 273391 HAS SOUPS 272095 WITH SCORE 272654.861
AT ITER 2498 NEW BEST:: SOT 930255 SOS 559763 HAS SOPS 550717 HAS SOUS 273293 HAS SOUPS 271997 WITH SCORE 272556.763
AT ITER 2500 NEW BEST:: SOT 930004 SOS 559725 HAS SOPS 550825 HAS SOUS 273183 HAS SOUPS 271887 WITH SCORE 272446.725
AT ITER 2502 NEW BEST:: SOT 930307 SOS 560351 HAS SOPS 551451 HAS SOUS 273071 HAS SOUPS 271775 WITH SCORE 272335.351
AT ITER 2512 NEW BEST:: SOT 929936 SOS 559927 HAS SOPS 551027 HAS SOUS 272647 HAS SOUPS 271351 WITH SCORE 271910.927
AT ITER 2515 NEW BEST:: SOT 931186 SOS 555230 HAS SOPS 546330 HAS SOUS 271254 HAS SOUPS 269958 WITH SCORE 270513.23
AT ITER 2522 NEW BEST:: SOT 931092 SOS 555251 HAS SOPS 546351 HAS SOUS 271066 HAS SOUPS 269770 WITH SCORE 270325.251
AT ITER 2524 NEW BEST:: SOT 931160 SOS 555461 HAS SOPS 546561 HAS SOUS 270908 HAS SOUPS 269612 WITH SCORE 270167.461
AT ITER 2545 NEW BEST:: SOT 931245 SOS 555719 HAS SOPS 546819 HAS SOUS 268941 HAS SOUPS 267645 WITH SCORE 268200.719
AT ITER 2575 NEW BEST:: SOT 931284 SOS 555826 HAS SOPS 546926 HAS SOUS 268917 HAS SOUPS 267621 WITH SCORE 268176.826
AT ITER 2588 NEW BEST:: SOT 931468 SOS 556154 HAS SOPS 547254 HAS SOUS 268537 HAS SOUPS 267241 WITH SCORE 267797.154
AT ITER 2604 NEW BEST:: SOT 931441 SOS 556316 HAS SOPS 547416 HAS SOUS 268510 HAS SOUPS 267214 WITH SCORE 267770.316
AT ITER 2606 NEW BEST:: SOT 931445 SOS 556503 HAS SOPS 547603 HAS SOUS 268425 HAS SOUPS 267129 WITH SCORE 267685.503
AT ITER 2615 NEW BEST:: SOT 931445 SOS 556531 HAS SOPS 547631 HAS SOUS 268397 HAS SOUPS 267101 WITH SCORE 267657.531
AT ITER 2640 NEW BEST:: SOT 930330 SOS 554887 HAS SOPS 545987 HAS SOUS 267760 HAS SOUPS 266464 WITH SCORE 267018.887
AT ITER 2649 NEW BEST:: SOT 930259 SOS 554816 HAS SOPS 545916 HAS SOUS 267643 HAS SOUPS 266347 WITH SCORE 266901.816
AT ITER 2651 NEW BEST:: SOT 930267 SOS 554824 HAS SOPS 545924 HAS SOUS 267635 HAS SOUPS 266339 WITH SCORE 266893.824
AT ITER 2652 NEW BEST:: SOT 930203 SOS 554801 HAS SOPS 545901 HAS SOUS 267622 HAS SOUPS 266326 WITH SCORE 266880.801
AT ITER 2655 NEW BEST:: SOT 930105 SOS 554565 HAS SOPS 545665 HAS SOUS 267564 HAS SOUPS 266268 WITH SCORE 266822.565
AT ITER 2657 NEW BEST:: SOT 929649 SOS 553893 HAS SOPS 544993 HAS SOUS 267170 HAS SOUPS 265874 WITH SCORE 266427.893
AT ITER 2659 NEW BEST:: SOT 929647 SOS 553891 HAS SOPS 544991 HAS SOUS 267043 HAS SOUPS 265747 WITH SCORE 266300.891
AT ITER 2674 NEW BEST:: SOT 929632 SOS 553881 HAS SOPS 544981 HAS SOUS 267028 HAS SOUPS 265732 WITH SCORE 266285.881
AT ITER 2677 NEW BEST:: SOT 929957 SOS 551811 HAS SOPS 545818 HAS SOUS 266792 HAS SOUPS 265606 WITH SCORE 266157.811
AT ITER 2688 NEW BEST:: SOT 929949 SOS 551815 HAS SOPS 545822 HAS SOUS 266756 HAS SOUPS 265570 WITH SCORE 266121.815
AT ITER 2689 NEW BEST:: SOT 929852 SOS 551747 HAS SOPS 545754 HAS SOUS 266691 HAS SOUPS 265505 WITH SCORE 266056.747
AT ITER 2692 NEW BEST:: SOT 929804 SOS 551583 HAS SOPS 545590 HAS SOUS 266685 HAS SOUPS 265499 WITH SCORE 266050.583
AT ITER 2697 NEW BEST:: SOT 929799 SOS 551573 HAS SOPS 545580 HAS SOUS 266675 HAS SOUPS 265489 WITH SCORE 266040.573
AT ITER 2705 NEW BEST:: SOT 929791 SOS 551565 HAS SOPS 545572 HAS SOUS 266669 HAS SOUPS 265483 WITH SCORE 266034.565
AT ITER 2709 NEW BEST:: SOT 929791 SOS 551553 HAS SOPS 545560 HAS SOUS 266669 HAS SOUPS 265483 WITH SCORE 266034.553
AT ITER 2710 NEW BEST:: SOT 929724 SOS 551474 HAS SOPS 545481 HAS SOUS 266619 HAS SOUPS 265433 WITH SCORE 265984.474
AT ITER 2711 NEW BEST:: SOT 929434 SOS 551184 HAS SOPS 545191 HAS SOUS 266435 HAS SOUPS 265249 WITH SCORE 265800.184
AT ITER 2713 NEW BEST:: SOT 929586 SOS 551666 HAS SOPS 545673 HAS SOUS 266427 HAS SOUPS 265241 WITH SCORE 265792.666
AT ITER 2717 NEW BEST:: SOT 929586 SOS 551696 HAS SOPS 545703 HAS SOUS 266420 HAS SOUPS 265234 WITH SCORE 265785.696
AT ITER 2718 NEW BEST:: SOT 928291 SOS 550401 HAS SOPS 544408 HAS SOUS 265125 HAS SOUPS 263939 WITH SCORE 264489.401
AT ITER 2732 NEW BEST:: SOT 928199 SOS 550333 HAS SOPS 544340 HAS SOUS 264978 HAS SOUPS 263792 WITH SCORE 264342.333
AT ITER 2734 NEW BEST:: SOT 927767 SOS 549898 HAS SOPS 543905 HAS SOUS 264939 HAS SOUPS 263753 WITH SCORE 264302.898
AT ITER 2767 NEW BEST:: SOT 927031 SOS 548744 HAS SOPS 542751 HAS SOUS 264654 HAS SOUPS 263468 WITH SCORE 264016.744
AT ITER 2768 NEW BEST:: SOT 927031 SOS 547729 HAS SOPS 541736 HAS SOUS 264498 HAS SOUPS 263312 WITH SCORE 263859.729
AT ITER 2797 NEW BEST:: SOT 926865 SOS 547330 HAS SOPS 541337 HAS SOUS 264114 HAS SOUPS 262928 WITH SCORE 263475.33
AT ITER 2798 NEW BEST:: SOT 926706 SOS 547171 HAS SOPS 541178 HAS SOUS 263956 HAS SOUPS 262770 WITH SCORE 263317.171
AT ITER 2802 NEW BEST:: SOT 926715 SOS 547180 HAS SOPS 541187 HAS SOUS 263849 HAS SOUPS 262663 WITH SCORE 263210.18
AT ITER 2811 NEW BEST:: SOT 926231 SOS 546863 HAS SOPS 540870 HAS SOUS 263428 HAS SOUPS 262242 WITH SCORE 262788.863
AT ITER 2836 NEW BEST:: SOT 926204 SOS 546818 HAS SOPS 540825 HAS SOUS 263374 HAS SOUPS 262188 WITH SCORE 262734.818
AT ITER 2838 NEW BEST:: SOT 926187 SOS 546814 HAS SOPS 540832 HAS SOUS 263348 HAS SOUPS 262166 WITH SCORE 262712.814
AT ITER 2845 NEW BEST:: SOT 925811 SOS 546438 HAS SOPS 540456 HAS SOUS 262924 HAS SOUPS 261742 WITH SCORE 262288.438
AT ITER 2847 NEW BEST:: SOT 925551 SOS 546178 HAS SOPS 540196 HAS SOUS 262664 HAS SOUPS 261482 WITH SCORE 262028.178
AT ITER 2859 NEW BEST:: SOT 925621 SOS 545241 HAS SOPS 539259 HAS SOUS 262658 HAS SOUPS 261476 WITH SCORE 262021.241
AT ITER 2861 NEW BEST:: SOT 925671 SOS 545977 HAS SOPS 539995 HAS SOUS 262253 HAS SOUPS 261071 WITH SCORE 261616.977
AT ITER 2881 NEW BEST:: SOT 925775 SOS 548016 HAS SOPS 542034 HAS SOUS 261832 HAS SOUPS 260650 WITH SCORE 261198.016
AT ITER 2885 NEW BEST:: SOT 925775 SOS 546216 HAS SOPS 540234 HAS SOUS 261832 HAS SOUPS 260650 WITH SCORE 261196.216
AT ITER 2888 NEW BEST:: SOT 925627 SOS 546131 HAS SOPS 540149 HAS SOUS 261633 HAS SOUPS 260451 WITH SCORE 260997.131
AT ITER 2889 NEW BEST:: SOT 925575 SOS 545821 HAS SOPS 539839 HAS SOUS 261535 HAS SOUPS 260353 WITH SCORE 260898.821
AT ITER 2902 NEW BEST:: SOT 921073 SOS 540761 HAS SOPS 534779 HAS SOUS 260452 HAS SOUPS 259270 WITH SCORE 259810.761
AT ITER 2903 NEW BEST:: SOT 921026 SOS 540714 HAS SOPS 534732 HAS SOUS 260358 HAS SOUPS 259176 WITH SCORE 259716.714
AT ITER 2905 NEW BEST:: SOT 921026 SOS 540585 HAS SOPS 534603 HAS SOUS 260333 HAS SOUPS 259151 WITH SCORE 259691.585
AT ITER 2907 NEW BEST:: SOT 920918 SOS 540483 HAS SOPS 534501 HAS SOUS 260189 HAS SOUPS 259007 WITH SCORE 259547.483
AT ITER 2912 NEW BEST:: SOT 920715 SOS 540316 HAS SOPS 534334 HAS SOUS 260086 HAS SOUPS 258904 WITH SCORE 259444.316
AT ITER 2917 NEW BEST:: SOT 920707 SOS 540324 HAS SOPS 534342 HAS SOUS 260070 HAS SOUPS 258888 WITH SCORE 259428.324
AT ITER 2918 NEW BEST:: SOT 920606 SOS 540223 HAS SOPS 534241 HAS SOUS 260012 HAS SOUPS 258830 WITH SCORE 259370.223
AT ITER 2919 NEW BEST:: SOT 920608 SOS 540225 HAS SOPS 534243 HAS SOUS 259997 HAS SOUPS 258815 WITH SCORE 259355.225
AT ITER 2920 NEW BEST:: SOT 920608 SOS 539280 HAS SOPS 533298 HAS SOUS 259997 HAS SOUPS 258815 WITH SCORE 259354.28
AT ITER 2939 NEW BEST:: SOT 920671 SOS 539615 HAS SOPS 533633 HAS SOUS 259858 HAS SOUPS 258676 WITH SCORE 259215.615
AT ITER 2954 NEW BEST:: SOT 920521 SOS 539482 HAS SOPS 533500 HAS SOUS 259838 HAS SOUPS 258656 WITH SCORE 259195.482
AT ITER 2962 NEW BEST:: SOT 920478 SOS 539439 HAS SOPS 533457 HAS SOUS 259795 HAS SOUPS 258613 WITH SCORE 259152.439
AT ITER 2988 NEW BEST:: SOT 920461 SOS 539422 HAS SOPS 533440 HAS SOUS 259778 HAS SOUPS 258596 WITH SCORE 259135.422
AT ITER 2992 NEW BEST:: SOT 920143 SOS 539104 HAS SOPS 533122 HAS SOUS 259459 HAS SOUPS 258277 WITH SCORE 258816.104
AT ITER 2997 NEW BEST:: SOT 920075 SOS 539002 HAS SOPS 533020 HAS SOUS 259357 HAS SOUPS 258175 WITH SCORE 258714.002
AT ITER 2998 NEW BEST:: SOT 920014 SOS 538737 HAS SOPS 532755 HAS SOUS 259235 HAS SOUPS 258053 WITH SCORE 258591.737
AT ITER 3008 NEW BEST:: SOT 920154 SOS 539274 HAS SOPS 533292 HAS SOUS 258915 HAS SOUPS 257733 WITH SCORE 258272.274
AT ITER 3009 NEW BEST:: SOT 920135 SOS 539255 HAS SOPS 533273 HAS SOUS 258915 HAS SOUPS 257733 WITH SCORE 258272.255
AT ITER 3023 NEW BEST:: SOT 920222 SOS 539431 HAS SOPS 533449 HAS SOUS 258897 HAS SOUPS 257715 WITH SCORE 258254.431
AT ITER 3028 NEW BEST:: SOT 920222 SOS 539635 HAS SOPS 533653 HAS SOUS 258885 HAS SOUPS 257703 WITH SCORE 258242.635
AT ITER 3039 NEW BEST:: SOT 919737 SOS 539196 HAS SOPS 533214 HAS SOUS 258777 HAS SOUPS 257595 WITH SCORE 258134.196
AT ITER 3051 NEW BEST:: SOT 919537 SOS 539698 HAS SOPS 533014 HAS SOUS 258663 HAS SOUPS 257454 WITH SCORE 257993.698
AT ITER 3053 NEW BEST:: SOT 919355 SOS 539536 HAS SOPS 532931 HAS SOUS 258521 HAS SOUPS 257312 WITH SCORE 257851.536
AT ITER 3064 NEW BEST:: SOT 919313 SOS 539494 HAS SOPS 532870 HAS SOUS 258479 HAS SOUPS 257251 WITH SCORE 257790.494
AT ITER 3065 NEW BEST:: SOT 919262 SOS 539493 HAS SOPS 532869 HAS SOUS 258377 HAS SOUPS 257149 WITH SCORE 257688.493
AT ITER 3069 NEW BEST:: SOT 919262 SOS 539489 HAS SOPS 532865 HAS SOUS 258345 HAS SOUPS 257117 WITH SCORE 257656.489
AT ITER 3070 NEW BEST:: SOT 919121 SOS 539395 HAS SOPS 532771 HAS SOUS 258063 HAS SOUPS 256835 WITH SCORE 257374.395
AT ITER 3078 NEW BEST:: SOT 919073 SOS 539299 HAS SOPS 532675 HAS SOUS 257909 HAS SOUPS 256681 WITH SCORE 257220.299
AT ITER 3090 NEW BEST:: SOT 919059 SOS 539299 HAS SOPS 532675 HAS SOUS 257881 HAS SOUPS 256653 WITH SCORE 257192.299
AT ITER 3093 NEW BEST:: SOT 918991 SOS 539487 HAS SOPS 532863 HAS SOUS 257856 HAS SOUPS 256628 WITH SCORE 257167.487
AT ITER 3102 NEW BEST:: SOT 918938 SOS 539414 HAS SOPS 532790 HAS SOUS 257763 HAS SOUPS 256535 WITH SCORE 257074.414
AT ITER 3115 NEW BEST:: SOT 919223 SOS 538948 HAS SOPS 532324 HAS SOUS 257228 HAS SOUPS 256000 WITH SCORE 256538.948
AT ITER 3121 NEW BEST:: SOT 919186 SOS 539426 HAS SOPS 532802 HAS SOUS 256744 HAS SOUPS 255516 WITH SCORE 256055.426
AT ITER 3143 NEW BEST:: SOT 919135 SOS 539534 HAS SOPS 532910 HAS SOUS 256642 HAS SOUPS 255414 WITH SCORE 255953.534
AT ITER 3165 NEW BEST:: SOT 919127 SOS 539522 HAS SOPS 532898 HAS SOUS 256630 HAS SOUPS 255402 WITH SCORE 255941.522
AT ITER 3170 NEW BEST:: SOT 919125 SOS 539520 HAS SOPS 532896 HAS SOUS 256626 HAS SOUPS 255398 WITH SCORE 255937.52
AT ITER 3174 NEW BEST:: SOT 919125 SOS 539476 HAS SOPS 532852 HAS SOUS 256626 HAS SOUPS 255398 WITH SCORE 255937.476
AT ITER 3199 NEW BEST:: SOT 919113 SOS 539610 HAS SOPS 532986 HAS SOUS 256602 HAS SOUPS 255374 WITH SCORE 255913.61
AT ITER 3215 NEW BEST:: SOT 917700 SOS 538197 HAS SOPS 531573 HAS SOUS 255189 HAS SOUPS 253961 WITH SCORE 254499.197
AT ITER 3219 NEW BEST:: SOT 917075 SOS 537572 HAS SOPS 530948 HAS SOUS 254816 HAS SOUPS 253588 WITH SCORE 254125.572
AT ITER 3235 NEW BEST:: SOT 917035 SOS 537552 HAS SOPS 530928 HAS SOUS 254816 HAS SOUPS 253588 WITH SCORE 254125.552
AT ITER 3245 NEW BEST:: SOT 917035 SOS 533934 HAS SOPS 527310 HAS SOUS 254816 HAS SOUPS 253588 WITH SCORE 254121.934
AT ITER 3252 NEW BEST:: SOT 917007 SOS 546015 HAS SOPS 539391 HAS SOUS 254703 HAS SOUPS 253475 WITH SCORE 254021.015
AT ITER 3269 NEW BEST:: SOT 916839 SOS 545885 HAS SOPS 539261 HAS SOUS 254649 HAS SOUPS 253421 WITH SCORE 253966.885
AT ITER 3285 NEW BEST:: SOT 916830 SOS 545876 HAS SOPS 539252 HAS SOUS 254640 HAS SOUPS 253412 WITH SCORE 253957.876
AT ITER 3310 NEW BEST:: SOT 916824 SOS 545868 HAS SOPS 539244 HAS SOUS 254634 HAS SOUPS 253406 WITH SCORE 253951.868
AT ITER 3336 NEW BEST:: SOT 917059 SOS 544398 HAS SOPS 537774 HAS SOUS 254582 HAS SOUPS 253354 WITH SCORE 253898.398
AT ITER 3348 NEW BEST:: SOT 917059 SOS 544382 HAS SOPS 537758 HAS SOUS 254514 HAS SOUPS 253286 WITH SCORE 253830.382
AT ITER 3351 NEW BEST:: SOT 917217 SOS 544951 HAS SOPS 538327 HAS SOUS 254477 HAS SOUPS 253249 WITH SCORE 253793.951
AT ITER 3376 NEW BEST:: SOT 916832 SOS 544718 HAS SOPS 538094 HAS SOUS 253903 HAS SOUPS 252675 WITH SCORE 253219.718
AT ITER 3378 NEW BEST:: SOT 916786 SOS 544683 HAS SOPS 538059 HAS SOUS 253845 HAS SOUPS 252617 WITH SCORE 253161.683
AT ITER 3382 NEW BEST:: SOT 916926 SOS 545470 HAS SOPS 538846 HAS SOUS 253723 HAS SOUPS 252495 WITH SCORE 253040.47
AT ITER 3390 NEW BEST:: SOT 916909 SOS 545245 HAS SOPS 538607 HAS SOUS 253367 HAS SOUPS 252139 WITH SCORE 252684.245
AT ITER 3398 NEW BEST:: SOT 916937 SOS 545385 HAS SOPS 538747 HAS SOUS 253339 HAS SOUPS 252111 WITH SCORE 252656.385
AT ITER 3406 NEW BEST:: SOT 916913 SOS 545361 HAS SOPS 538714 HAS SOUS 253291 HAS SOUPS 252063 WITH SCORE 252608.361
AT ITER 3424 NEW BEST:: SOT 916840 SOS 545288 HAS SOPS 538641 HAS SOUS 253145 HAS SOUPS 251917 WITH SCORE 252462.288
AT ITER 3459 NEW BEST:: SOT 916761 SOS 545869 HAS SOPS 539222 HAS SOUS 252987 HAS SOUPS 251759 WITH SCORE 252304.869
AT ITER 3512 NEW BEST:: SOT 915853 SOS 544499 HAS SOPS 537852 HAS SOUS 251617 HAS SOUPS 250389 WITH SCORE 250933.499
AT ITER 3521 NEW BEST:: SOT 915853 SOS 544499 HAS SOPS 537861 HAS SOUS 251592 HAS SOUPS 250364 WITH SCORE 250908.499
AT ITER 3543 NEW BEST:: SOT 915848 SOS 543021 HAS SOPS 535785 HAS SOUS 251577 HAS SOUPS 250117 WITH SCORE 250660.021
AT ITER 3544 NEW BEST:: SOT 915767 SOS 542916 HAS SOPS 535641 HAS SOUS 251533 HAS SOUPS 250073 WITH SCORE 250615.916
AT ITER 3545 NEW BEST:: SOT 915682 SOS 542814 HAS SOPS 535539 HAS SOUS 251465 HAS SOUPS 250005 WITH SCORE 250547.814
AT ITER 3574 NEW BEST:: SOT 915640 SOS 542815 HAS SOPS 535540 HAS SOUS 251445 HAS SOUPS 249985 WITH SCORE 250527.815
AT ITER 3576 NEW BEST:: SOT 915650 SOS 542725 HAS SOPS 535450 HAS SOUS 251445 HAS SOUPS 249985 WITH SCORE 250527.725
AT ITER 3577 NEW BEST:: SOT 915848 SOS 543197 HAS SOPS 535922 HAS SOUS 251304 HAS SOUPS 249844 WITH SCORE 250387.197
AT ITER 3583 NEW BEST:: SOT 915846 SOS 543193 HAS SOPS 535918 HAS SOUS 251283 HAS SOUPS 249823 WITH SCORE 250366.193
AT ITER 3590 NEW BEST:: SOT 916088 SOS 544002 HAS SOPS 536727 HAS SOUS 251130 HAS SOUPS 249670 WITH SCORE 250214.002
AT ITER 3595 NEW BEST:: SOT 916060 SOS 544051 HAS SOPS 536776 HAS SOUS 251091 HAS SOUPS 249631 WITH SCORE 250175.051
AT ITER 3603 NEW BEST:: SOT 915970 SOS 543871 HAS SOPS 536596 HAS SOUS 250986 HAS SOUPS 249526 WITH SCORE 250069.871
AT ITER 3610 NEW BEST:: SOT 916035 SOS 544275 HAS SOPS 537000 HAS SOUS 250777 HAS SOUPS 249317 WITH SCORE 249861.275
AT ITER 3611 NEW BEST:: SOT 916064 SOS 544411 HAS SOPS 537136 HAS SOUS 250757 HAS SOUPS 249297 WITH SCORE 249841.411
AT ITER 3612 NEW BEST:: SOT 916042 SOS 544669 HAS SOPS 537394 HAS SOUS 250743 HAS SOUPS 249283 WITH SCORE 249827.669
AT ITER 3638 NEW BEST:: SOT 916186 SOS 545432 HAS SOPS 538157 HAS SOUS 250609 HAS SOUPS 249149 WITH SCORE 249694.432
AT ITER 3639 NEW BEST:: SOT 916186 SOS 545432 HAS SOPS 538157 HAS SOUS 250525 HAS SOUPS 249065 WITH SCORE 249610.432
AT ITER 3649 NEW BEST:: SOT 916130 SOS 545376 HAS SOPS 538101 HAS SOUS 250326 HAS SOUPS 248866 WITH SCORE 249411.376
AT ITER 3667 NEW BEST:: SOT 916114 SOS 545344 HAS SOPS 538069 HAS SOUS 250294 HAS SOUPS 248834 WITH SCORE 249379.344
AT ITER 3676 NEW BEST:: SOT 916356 SOS 545408 HAS SOPS 538133 HAS SOUS 250129 HAS SOUPS 248669 WITH SCORE 249214.408
AT ITER 3681 NEW BEST:: SOT 916602 SOS 545567 HAS SOPS 538292 HAS SOUS 249833 HAS SOUPS 248373 WITH SCORE 248918.567
AT ITER 3684 NEW BEST:: SOT 916593 SOS 545558 HAS SOPS 538283 HAS SOUS 249779 HAS SOUPS 248319 WITH SCORE 248864.558
AT ITER 3723 NEW BEST:: SOT 916579 SOS 545520 HAS SOPS 538245 HAS SOUS 249751 HAS SOUPS 248291 WITH SCORE 248836.52
AT ITER 3738 NEW BEST:: SOT 918197 SOS 547853 HAS SOPS 540578 HAS SOUS 249010 HAS SOUPS 247550 WITH SCORE 248097.853
AT ITER 3743 NEW BEST:: SOT 918214 SOS 547845 HAS SOPS 540570 HAS SOUS 248960 HAS SOUPS 247500 WITH SCORE 248047.845
AT ITER 3783 NEW BEST:: SOT 918229 SOS 547942 HAS SOPS 540667 HAS SOUS 248938 HAS SOUPS 247478 WITH SCORE 248025.942
AT ITER 3786 NEW BEST:: SOT 918124 SOS 547837 HAS SOPS 540541 HAS SOUS 248797 HAS SOUPS 247337 WITH SCORE 247884.837
AT ITER 3790 NEW BEST:: SOT 918124 SOS 547795 HAS SOPS 540499 HAS SOUS 248797 HAS SOUPS 247337 WITH SCORE 247884.795
AT ITER 3798 NEW BEST:: SOT 918089 SOS 547760 HAS SOPS 540464 HAS SOUS 248762 HAS SOUPS 247302 WITH SCORE 247849.76
AT ITER 3805 NEW BEST:: SOT 918045 SOS 547812 HAS SOPS 540516 HAS SOUS 248615 HAS SOUPS 247155 WITH SCORE 247702.812
AT ITER 3806 NEW BEST:: SOT 918017 SOS 547756 HAS SOPS 540460 HAS SOUS 248559 HAS SOUPS 247099 WITH SCORE 247646.756
AT ITER 3811 NEW BEST:: SOT 917980 SOS 547718 HAS SOPS 540459 HAS SOUS 248503 HAS SOUPS 247080 WITH SCORE 247627.718
AT ITER 3816 NEW BEST:: SOT 918117 SOS 547723 HAS SOPS 540464 HAS SOUS 248280 HAS SOUPS 246857 WITH SCORE 247404.723
AT ITER 3831 NEW BEST:: SOT 918109 SOS 547715 HAS SOPS 540456 HAS SOUS 248264 HAS SOUPS 246841 WITH SCORE 247388.715
AT ITER 3839 NEW BEST:: SOT 918102 SOS 547701 HAS SOPS 540442 HAS SOUS 248250 HAS SOUPS 246827 WITH SCORE 247374.701
AT ITER 3850 NEW BEST:: SOT 917903 SOS 547502 HAS SOPS 540243 HAS SOUS 248107 HAS SOUPS 246684 WITH SCORE 247231.502
AT ITER 3879 NEW BEST:: SOT 917903 SOS 547670 HAS SOPS 540411 HAS SOUS 247995 HAS SOUPS 246572 WITH SCORE 247119.67
AT ITER 3890 NEW BEST:: SOT 917955 SOS 547787 HAS SOPS 540528 HAS SOUS 247906 HAS SOUPS 246483 WITH SCORE 247030.787
AT ITER 3924 NEW BEST:: SOT 917749 SOS 547755 HAS SOPS 540496 HAS SOUS 247393 HAS SOUPS 245970 WITH SCORE 246517.755
AT ITER 3925 NEW BEST:: SOT 917711 SOS 547719 HAS SOPS 540460 HAS SOUS 247317 HAS SOUPS 245894 WITH SCORE 246441.719
AT ITER 3929 NEW BEST:: SOT 917430 SOS 547438 HAS SOPS 540179 HAS SOUS 246989 HAS SOUPS 245566 WITH SCORE 246113.438
AT ITER 3951 NEW BEST:: SOT 917430 SOS 546704 HAS SOPS 539445 HAS SOUS 246989 HAS SOUPS 245566 WITH SCORE 246112.704
AT ITER 3981 NEW BEST:: SOT 917319 SOS 546593 HAS SOPS 539334 HAS SOUS 246817 HAS SOUPS 245394 WITH SCORE 245940.593
AT ITER 3989 NEW BEST:: SOT 917385 SOS 546659 HAS SOPS 539400 HAS SOUS 246791 HAS SOUPS 245368 WITH SCORE 245914.659
AT ITER 4005 NEW BEST:: SOT 917362 SOS 546644 HAS SOPS 539385 HAS SOUS 246744 HAS SOUPS 245321 WITH SCORE 245867.644
AT ITER 4040 NEW BEST:: SOT 917321 SOS 546584 HAS SOPS 539325 HAS SOUS 246684 HAS SOUPS 245261 WITH SCORE 245807.584
AT ITER 4042 NEW BEST:: SOT 916913 SOS 546125 HAS SOPS 538866 HAS SOUS 246306 HAS SOUPS 244883 WITH SCORE 245429.125
AT ITER 4043 NEW BEST:: SOT 916880 SOS 546095 HAS SOPS 538836 HAS SOUS 246210 HAS SOUPS 244787 WITH SCORE 245333.095
AT ITER 4049 NEW BEST:: SOT 916902 SOS 546032 HAS SOPS 538773 HAS SOUS 246083 HAS SOUPS 244660 WITH SCORE 245206.032
AT ITER 4051 NEW BEST:: SOT 916090 SOS 545360 HAS SOPS 538101 HAS SOUS 245698 HAS SOUPS 244275 WITH SCORE 244820.36
AT ITER 4064 NEW BEST:: SOT 916077 SOS 545464 HAS SOPS 538205 HAS SOUS 245685 HAS SOUPS 244262 WITH SCORE 244807.464
AT ITER 4065 NEW BEST:: SOT 914660 SOS 544047 HAS SOPS 536788 HAS SOUS 245255 HAS SOUPS 243832 WITH SCORE 244376.047
AT ITER 4067 NEW BEST:: SOT 914658 SOS 544043 HAS SOPS 536782 HAS SOUS 245251 HAS SOUPS 243828 WITH SCORE 244372.043
AT ITER 4077 NEW BEST:: SOT 914344 SOS 543567 HAS SOPS 536306 HAS SOUS 244986 HAS SOUPS 243563 WITH SCORE 244106.567
AT ITER 4086 NEW BEST:: SOT 914338 SOS 543561 HAS SOPS 536300 HAS SOUS 244974 HAS SOUPS 243551 WITH SCORE 244094.561
AT ITER 4088 NEW BEST:: SOT 915772 SOS 544919 HAS SOPS 537658 HAS SOUS 244852 HAS SOUPS 243429 WITH SCORE 243973.919
AT ITER 4095 NEW BEST:: SOT 915649 SOS 544733 HAS SOPS 537472 HAS SOUS 244702 HAS SOUPS 243279 WITH SCORE 243823.733
AT ITER 4096 NEW BEST:: SOT 915749 SOS 544833 HAS SOPS 537572 HAS SOUS 244686 HAS SOUPS 243263 WITH SCORE 243807.833
AT ITER 4111 NEW BEST:: SOT 915626 SOS 544588 HAS SOPS 537327 HAS SOUS 244555 HAS SOUPS 243132 WITH SCORE 243676.588
AT ITER 4115 NEW BEST:: SOT 915587 SOS 544549 HAS SOPS 537295 HAS SOUS 244521 HAS SOUPS 243098 WITH SCORE 243642.549
AT ITER 4131 NEW BEST:: SOT 916689 SOS 543275 HAS SOPS 536021 HAS SOUS 243745 HAS SOUPS 242322 WITH SCORE 242865.275
AT ITER 4140 NEW BEST:: SOT 916677 SOS 543263 HAS SOPS 536009 HAS SOUS 243721 HAS SOUPS 242298 WITH SCORE 242841.263
AT ITER 4151 NEW BEST:: SOT 916652 SOS 543259 HAS SOPS 536005 HAS SOUS 243664 HAS SOUPS 242241 WITH SCORE 242784.259
AT ITER 4158 NEW BEST:: SOT 916295 SOS 542528 HAS SOPS 535274 HAS SOUS 243468 HAS SOUPS 242045 WITH SCORE 242587.528
AT ITER 4159 NEW BEST:: SOT 916222 SOS 542455 HAS SOPS 535201 HAS SOUS 243401 HAS SOUPS 241978 WITH SCORE 242520.455
AT ITER 4164 NEW BEST:: SOT 916221 SOS 542453 HAS SOPS 535199 HAS SOUS 243399 HAS SOUPS 241976 WITH SCORE 242518.453
AT ITER 4165 NEW BEST:: SOT 916235 SOS 542417 HAS SOPS 535163 HAS SOUS 243379 HAS SOUPS 241956 WITH SCORE 242498.417
AT ITER 4196 NEW BEST:: SOT 916334 SOS 542516 HAS SOPS 535262 HAS SOUS 243346 HAS SOUPS 241923 WITH SCORE 242465.516
AT ITER 4205 NEW BEST:: SOT 916302 SOS 542484 HAS SOPS 535230 HAS SOUS 243282 HAS SOUPS 241859 WITH SCORE 242401.484
AT ITER 4216 NEW BEST:: SOT 916302 SOS 542486 HAS SOPS 535232 HAS SOUS 243280 HAS SOUPS 241857 WITH SCORE 242399.486
AT ITER 4232 NEW BEST:: SOT 916296 SOS 542474 HAS SOPS 535220 HAS SOUS 243268 HAS SOUPS 241845 WITH SCORE 242387.474
AT ITER 4246 NEW BEST:: SOT 916281 SOS 542504 HAS SOPS 535250 HAS SOUS 243208 HAS SOUPS 241785 WITH SCORE 242327.504
AT ITER 4252 NEW BEST:: SOT 916281 SOS 541886 HAS SOPS 534632 HAS SOUS 243205 HAS SOUPS 241782 WITH SCORE 242323.886
AT ITER 4269 NEW BEST:: SOT 916263 SOS 541850 HAS SOPS 534578 HAS SOUS 243169 HAS SOUPS 241746 WITH SCORE 242287.85
AT ITER 4278 NEW BEST:: SOT 916237 SOS 541824 HAS SOPS 534520 HAS SOUS 243122 HAS SOUPS 241699 WITH SCORE 242240.824
AT ITER 4309 NEW BEST:: SOT 916167 SOS 541754 HAS SOPS 534450 HAS SOUS 242982 HAS SOUPS 241559 WITH SCORE 242100.754
AT ITER 4313 NEW BEST:: SOT 916163 SOS 541750 HAS SOPS 534446 HAS SOUS 242978 HAS SOUPS 241555 WITH SCORE 242096.75
AT ITER 4327 NEW BEST:: SOT 916067 SOS 541707 HAS SOPS 534403 HAS SOUS 242874 HAS SOUPS 241451 WITH SCORE 241992.707
AT ITER 4330 NEW BEST:: SOT 915895 SOS 541671 HAS SOPS 534367 HAS SOUS 242811 HAS SOUPS 241388 WITH SCORE 241929.671
AT ITER 4341 NEW BEST:: SOT 915853 SOS 541649 HAS SOPS 534345 HAS SOUS 242793 HAS SOUPS 241370 WITH SCORE 241911.649
AT ITER 4359 NEW BEST:: SOT 915807 SOS 541756 HAS SOPS 534452 HAS SOUS 242548 HAS SOUPS 241125 WITH SCORE 241666.756
AT ITER 4361 NEW BEST:: SOT 915807 SOS 541712 HAS SOPS 534408 HAS SOUS 242548 HAS SOUPS 241125 WITH SCORE 241666.712
AT ITER 4364 NEW BEST:: SOT 915775 SOS 541396 HAS SOPS 534092 HAS SOUS 241920 HAS SOUPS 240497 WITH SCORE 241038.396
AT ITER 4367 NEW BEST:: SOT 915697 SOS 541407 HAS SOPS 534103 HAS SOUS 241764 HAS SOUPS 240341 WITH SCORE 240882.407
AT ITER 4381 NEW BEST:: SOT 915734 SOS 541380 HAS SOPS 534076 HAS SOUS 241643 HAS SOUPS 240220 WITH SCORE 240761.38
AT ITER 4382 NEW BEST:: SOT 915752 SOS 541842 HAS SOPS 534538 HAS SOUS 241235 HAS SOUPS 239812 WITH SCORE 240353.842
AT ITER 4406 NEW BEST:: SOT 915622 SOS 541730 HAS SOPS 534426 HAS SOUS 240864 HAS SOUPS 239441 WITH SCORE 239982.73
AT ITER 4414 NEW BEST:: SOT 915684 SOS 541403 HAS SOPS 533905 HAS SOUS 240658 HAS SOUPS 239235 WITH SCORE 239776.403
AT ITER 4422 NEW BEST:: SOT 915576 SOS 541295 HAS SOPS 533797 HAS SOUS 240442 HAS SOUPS 239019 WITH SCORE 239560.295
AT ITER 4423 NEW BEST:: SOT 915409 SOS 541281 HAS SOPS 533783 HAS SOUS 240180 HAS SOUPS 238757 WITH SCORE 239298.281
AT ITER 4428 NEW BEST:: SOT 915409 SOS 541281 HAS SOPS 533783 HAS SOUS 240167 HAS SOUPS 238744 WITH SCORE 239285.281
AT ITER 4445 NEW BEST:: SOT 915224 SOS 541096 HAS SOPS 533598 HAS SOUS 240019 HAS SOUPS 238596 WITH SCORE 239137.096
AT ITER 4446 NEW BEST:: SOT 915350 SOS 541420 HAS SOPS 533922 HAS SOUS 240009 HAS SOUPS 238586 WITH SCORE 239127.42
AT ITER 4475 NEW BEST:: SOT 915350 SOS 541130 HAS SOPS 533632 HAS SOUS 240009 HAS SOUPS 238586 WITH SCORE 239127.13
AT ITER 4484 NEW BEST:: SOT 915360 SOS 540520 HAS SOPS 533022 HAS SOUS 239596 HAS SOUPS 238173 WITH SCORE 238713.52
AT ITER 4488 NEW BEST:: SOT 915276 SOS 540436 HAS SOPS 532938 HAS SOUS 239428 HAS SOUPS 238005 WITH SCORE 238545.436
AT ITER 4495 NEW BEST:: SOT 915612 SOS 540145 HAS SOPS 532647 HAS SOUS 238805 HAS SOUPS 237382 WITH SCORE 237922.145
AT ITER 4515 NEW BEST:: SOT 915604 SOS 540137 HAS SOPS 532639 HAS SOUS 238795 HAS SOUPS 237372 WITH SCORE 237912.137
AT ITER 4526 NEW BEST:: SOT 915538 SOS 540133 HAS SOPS 532635 HAS SOUS 238768 HAS SOUPS 237345 WITH SCORE 237885.133
AT ITER 4538 NEW BEST:: SOT 915520 SOS 540499 HAS SOPS 533001 HAS SOUS 238743 HAS SOUPS 237320 WITH SCORE 237860.499
AT ITER 4543 NEW BEST:: SOT 915484 SOS 540485 HAS SOPS 532987 HAS SOUS 238729 HAS SOUPS 237306 WITH SCORE 237846.485
AT ITER 4545 NEW BEST:: SOT 915296 SOS 540002 HAS SOPS 532504 HAS SOUS 238559 HAS SOUPS 237136 WITH SCORE 237676.002
AT ITER 4562 NEW BEST:: SOT 915265 SOS 539971 HAS SOPS 532473 HAS SOUS 238470 HAS SOUPS 237047 WITH SCORE 237586.971
AT ITER 4574 NEW BEST:: SOT 915265 SOS 539971 HAS SOPS 532473 HAS SOUS 238434 HAS SOUPS 237011 WITH SCORE 237550.971
AT ITER 4605 NEW BEST:: SOT 915253 SOS 539959 HAS SOPS 532461 HAS SOUS 238410 HAS SOUPS 236987 WITH SCORE 237526.959
AT ITER 4608 NEW BEST:: SOT 915304 SOS 531943 HAS SOPS 524445 HAS SOUS 238360 HAS SOUPS 236937 WITH SCORE 237468.943
AT ITER 4620 NEW BEST:: SOT 915248 SOS 531999 HAS SOPS 524501 HAS SOUS 238248 HAS SOUPS 236825 WITH SCORE 237356.999
AT ITER 4622 NEW BEST:: SOT 915248 SOS 531940 HAS SOPS 524442 HAS SOUS 238248 HAS SOUPS 236825 WITH SCORE 237356.94
AT ITER 4624 NEW BEST:: SOT 915248 SOS 531800 HAS SOPS 524302 HAS SOUS 238228 HAS SOUPS 236805 WITH SCORE 237336.8
AT ITER 4635 NEW BEST:: SOT 915100 SOS 531636 HAS SOPS 524138 HAS SOUS 238064 HAS SOUPS 236641 WITH SCORE 237172.636
AT ITER 4648 NEW BEST:: SOT 915075 SOS 531366 HAS SOPS 523868 HAS SOUS 238005 HAS SOUPS 236582 WITH SCORE 237113.366
AT ITER 4693 NEW BEST:: SOT 915152 SOS 531476 HAS SOPS 523978 HAS SOUS 237993 HAS SOUPS 236570 WITH SCORE 237101.476
AT ITER 4699 NEW BEST:: SOT 915967 SOS 532344 HAS SOPS 524846 HAS SOUS 237978 HAS SOUPS 236555 WITH SCORE 237087.344
AT ITER 4704 NEW BEST:: SOT 915538 SOS 532124 HAS SOPS 524626 HAS SOUS 237398 HAS SOUPS 235975 WITH SCORE 236507.124
AT ITER 4705 NEW BEST:: SOT 915931 SOS 532690 HAS SOPS 525192 HAS SOUS 236620 HAS SOUPS 235197 WITH SCORE 235729.69
AT ITER 4724 NEW BEST:: SOT 916464 SOS 532508 HAS SOPS 525010 HAS SOUS 236062 HAS SOUPS 234639 WITH SCORE 235171.508
AT ITER 4727 NEW BEST:: SOT 916429 SOS 532473 HAS SOPS 524966 HAS SOUS 236032 HAS SOUPS 234609 WITH SCORE 235141.473
AT ITER 4733 NEW BEST:: SOT 916247 SOS 532230 HAS SOPS 524729 HAS SOUS 235829 HAS SOUPS 234406 WITH SCORE 234938.23
AT ITER 4735 NEW BEST:: SOT 916235 SOS 532218 HAS SOPS 524729 HAS SOUS 235829 HAS SOUPS 234406 WITH SCORE 234938.218
AT ITER 4750 NEW BEST:: SOT 916146 SOS 532129 HAS SOPS 524640 HAS SOUS 235651 HAS SOUPS 234228 WITH SCORE 234760.129
AT ITER 4764 NEW BEST:: SOT 916128 SOS 532111 HAS SOPS 524622 HAS SOUS 235615 HAS SOUPS 234192 WITH SCORE 234724.111
AT ITER 4772 NEW BEST:: SOT 916029 SOS 532215 HAS SOPS 524726 HAS SOUS 235607 HAS SOUPS 234184 WITH SCORE 234716.215
AT ITER 4783 NEW BEST:: SOT 915993 SOS 532359 HAS SOPS 524870 HAS SOUS 235587 HAS SOUPS 234164 WITH SCORE 234696.359
AT ITER 4788 NEW BEST:: SOT 915993 SOS 532241 HAS SOPS 524752 HAS SOUS 235587 HAS SOUPS 234164 WITH SCORE 234696.241
AT ITER 4794 NEW BEST:: SOT 916213 SOS 532461 HAS SOPS 524972 HAS SOUS 235553 HAS SOUPS 234130 WITH SCORE 234662.461
AT ITER 4798 NEW BEST:: SOT 916189 SOS 532437 HAS SOPS 524948 HAS SOUS 235541 HAS SOUPS 234118 WITH SCORE 234650.437
AT ITER 4808 NEW BEST:: SOT 916415 SOS 530820 HAS SOPS 523331 HAS SOUS 232663 HAS SOUPS 231240 WITH SCORE 231770.82
AT ITER 4822 NEW BEST:: SOT 916423 SOS 530836 HAS SOPS 523347 HAS SOUS 232642 HAS SOUPS 231219 WITH SCORE 231749.836
AT ITER 4825 NEW BEST:: SOT 917177 SOS 528586 HAS SOPS 521097 HAS SOUS 232439 HAS SOUPS 231016 WITH SCORE 231544.586
AT ITER 4856 NEW BEST:: SOT 917168 SOS 528577 HAS SOPS 521088 HAS SOUS 232414 HAS SOUPS 230991 WITH SCORE 231519.577
AT ITER 4872 NEW BEST:: SOT 917304 SOS 528906 HAS SOPS 521417 HAS SOUS 232152 HAS SOUPS 230729 WITH SCORE 231257.906
AT ITER 4874 NEW BEST:: SOT 917229 SOS 528633 HAS SOPS 521144 HAS SOUS 232142 HAS SOUPS 230719 WITH SCORE 231247.633
AT ITER 4881 NEW BEST:: SOT 917213 SOS 528617 HAS SOPS 521128 HAS SOUS 231465 HAS SOUPS 230042 WITH SCORE 230570.617
AT ITER 4913 NEW BEST:: SOT 917195 SOS 528599 HAS SOPS 521110 HAS SOUS 231429 HAS SOUPS 230006 WITH SCORE 230534.599
AT ITER 4920 NEW BEST:: SOT 915922 SOS 527600 HAS SOPS 520111 HAS SOUS 229984 HAS SOUPS 228561 WITH SCORE 229088.6
AT ITER 4928 NEW BEST:: SOT 915905 SOS 527583 HAS SOPS 520094 HAS SOUS 229967 HAS SOUPS 228544 WITH SCORE 229071.583
AT ITER 4943 NEW BEST:: SOT 915876 SOS 527533 HAS SOPS 520044 HAS SOUS 229847 HAS SOUPS 228424 WITH SCORE 228951.533
AT ITER 4950 NEW BEST:: SOT 915876 SOS 527533 HAS SOPS 520044 HAS SOUS 229803 HAS SOUPS 228380 WITH SCORE 228907.533
AT ITER 4967 NEW BEST:: SOT 915860 SOS 528099 HAS SOPS 520610 HAS SOUS 229718 HAS SOUPS 228295 WITH SCORE 228823.099
AT ITER 4973 NEW BEST:: SOT 916106 SOS 528578 HAS SOPS 521089 HAS SOUS 229566 HAS SOUPS 228143 WITH SCORE 228671.578
AT ITER 4977 NEW BEST:: SOT 916059 SOS 528771 HAS SOPS 521282 HAS SOUS 229472 HAS SOUPS 228049 WITH SCORE 228577.771
AT ITER 4994 NEW BEST:: SOT 914640 SOS 527352 HAS SOPS 519863 HAS SOUS 229118 HAS SOUPS 227695 WITH SCORE 228222.352
AT ITER 5010 NEW BEST:: SOT 914640 SOS 527535 HAS SOPS 520046 HAS SOUS 229111 HAS SOUPS 227688 WITH SCORE 228215.535
AT ITER 5012 NEW BEST:: SOT 914622 SOS 527661 HAS SOPS 520028 HAS SOUS 229057 HAS SOUPS 227616 WITH SCORE 228143.661
AT ITER 5034 NEW BEST:: SOT 914582 SOS 527601 HAS SOPS 519968 HAS SOUS 229007 HAS SOUPS 227566 WITH SCORE 228093.601
AT ITER 5041 NEW BEST:: SOT 914354 SOS 527449 HAS SOPS 519816 HAS SOUS 228619 HAS SOUPS 227178 WITH SCORE 227705.449
AT ITER 5044 NEW BEST:: SOT 914354 SOS 527410 HAS SOPS 519749 HAS SOUS 228580 HAS SOUPS 227139 WITH SCORE 227666.41
AT ITER 5063 NEW BEST:: SOT 914332 SOS 527414 HAS SOPS 519753 HAS SOUS 228567 HAS SOUPS 227126 WITH SCORE 227653.414
AT ITER 5079 NEW BEST:: SOT 914264 SOS 527352 HAS SOPS 519691 HAS SOUS 228499 HAS SOUPS 227058 WITH SCORE 227585.352
AT ITER 5082 NEW BEST:: SOT 914251 SOS 527339 HAS SOPS 519691 HAS SOUS 228499 HAS SOUPS 227058 WITH SCORE 227585.339
AT ITER 5108 NEW BEST:: SOT 914272 SOS 527434 HAS SOPS 519786 HAS SOUS 228436 HAS SOUPS 226995 WITH SCORE 227522.434
AT ITER 5123 NEW BEST:: SOT 913984 SOS 508743 HAS SOPS 501095 HAS SOUS 228374 HAS SOUPS 226933 WITH SCORE 227441.743
AT ITER 5129 NEW BEST:: SOT 913984 SOS 508704 HAS SOPS 501056 HAS SOUS 228371 HAS SOUPS 226930 WITH SCORE 227438.704
AT ITER 5132 NEW BEST:: SOT 913979 SOS 508704 HAS SOPS 501056 HAS SOUS 228366 HAS SOUPS 226925 WITH SCORE 227433.704
AT ITER 5142 NEW BEST:: SOT 913991 SOS 508740 HAS SOPS 501092 HAS SOUS 228354 HAS SOUPS 226913 WITH SCORE 227421.74
AT ITER 5146 NEW BEST:: SOT 914000 SOS 509922 HAS SOPS 502274 HAS SOUS 228312 HAS SOUPS 226871 WITH SCORE 227380.922
AT ITER 5176 NEW BEST:: SOT 913787 SOS 509709 HAS SOPS 502061 HAS SOUS 227999 HAS SOUPS 226558 WITH SCORE 227067.709
AT ITER 5189 NEW BEST:: SOT 913746 SOS 509668 HAS SOPS 502020 HAS SOUS 227833 HAS SOUPS 226392 WITH SCORE 226901.668
AT ITER 5216 NEW BEST:: SOT 913727 SOS 509649 HAS SOPS 502001 HAS SOUS 227795 HAS SOUPS 226354 WITH SCORE 226863.649
AT ITER 5226 NEW BEST:: SOT 913692 SOS 509649 HAS SOPS 502001 HAS SOUS 227760 HAS SOUPS 226319 WITH SCORE 226828.649
AT ITER 5262 NEW BEST:: SOT 913692 SOS 504986 HAS SOPS 497338 HAS SOUS 227760 HAS SOUPS 226319 WITH SCORE 226823.986
AT ITER 5302 NEW BEST:: SOT 913586 SOS 505250 HAS SOPS 497602 HAS SOUS 227443 HAS SOUPS 226002 WITH SCORE 226507.25
AT ITER 5304 NEW BEST:: SOT 913582 SOS 505242 HAS SOPS 497594 HAS SOUS 227435 HAS SOUPS 225994 WITH SCORE 226499.242
AT ITER 5323 NEW BEST:: SOT 913575 SOS 505228 HAS SOPS 497580 HAS SOUS 227428 HAS SOUPS 225987 WITH SCORE 226492.228
AT ITER 5328 NEW BEST:: SOT 913530 SOS 505189 HAS SOPS 497541 HAS SOUS 227394 HAS SOUPS 225953 WITH SCORE 226458.189
AT ITER 5356 NEW BEST:: SOT 913518 SOS 505216 HAS SOPS 497568 HAS SOUS 227370 HAS SOUPS 225929 WITH SCORE 226434.216
AT ITER 5368 NEW BEST:: SOT 913269 SOS 504672 HAS SOPS 497024 HAS SOUS 226799 HAS SOUPS 225358 WITH SCORE 225862.672
AT ITER 5369 NEW BEST:: SOT 912966 SOS 504534 HAS SOPS 496886 HAS SOUS 226725 HAS SOUPS 225284 WITH SCORE 225788.534
AT ITER 5391 NEW BEST:: SOT 912966 SOS 504534 HAS SOPS 496886 HAS SOUS 226723 HAS SOUPS 225282 WITH SCORE 225786.534
AT ITER 5393 NEW BEST:: SOT 912863 SOS 504320 HAS SOPS 496672 HAS SOUS 226723 HAS SOUPS 225282 WITH SCORE 225786.32
AT ITER 5395 NEW BEST:: SOT 912865 SOS 504322 HAS SOPS 496564 HAS SOUS 226541 HAS SOUPS 225074 WITH SCORE 225578.322
AT ITER 5408 NEW BEST:: SOT 912648 SOS 503954 HAS SOPS 496196 HAS SOUS 226311 HAS SOUPS 224844 WITH SCORE 225347.954
AT ITER 5459 NEW BEST:: SOT 912762 SOS 504068 HAS SOPS 496310 HAS SOUS 226190 HAS SOUPS 224723 WITH SCORE 225227.068
AT ITER 5475 NEW BEST:: SOT 912708 SOS 504014 HAS SOPS 496256 HAS SOUS 226109 HAS SOUPS 224642 WITH SCORE 225146.014
AT ITER 5480 NEW BEST:: SOT 912654 SOS 503985 HAS SOPS 496213 HAS SOUS 226090 HAS SOUPS 224623 WITH SCORE 225126.985
AT ITER 5497 NEW BEST:: SOT 912578 SOS 503833 HAS SOPS 496061 HAS SOUS 226052 HAS SOUPS 224585 WITH SCORE 225088.833
AT ITER 5500 NEW BEST:: SOT 912645 SOS 504132 HAS SOPS 496360 HAS SOUS 226003 HAS SOUPS 224536 WITH SCORE 225040.132
AT ITER 5506 NEW BEST:: SOT 912645 SOS 504132 HAS SOPS 496360 HAS SOUS 225983 HAS SOUPS 224516 WITH SCORE 225020.132
AT ITER 5508 NEW BEST:: SOT 912645 SOS 503865 HAS SOPS 496093 HAS SOUS 225983 HAS SOUPS 224516 WITH SCORE 225019.865
AT ITER 5546 NEW BEST:: SOT 912645 SOS 503865 HAS SOPS 496093 HAS SOUS 225928 HAS SOUPS 224461 WITH SCORE 224964.865
AT ITER 5549 NEW BEST:: SOT 912639 SOS 503959 HAS SOPS 496187 HAS SOUS 225916 HAS SOUPS 224449 WITH SCORE 224952.959
AT ITER 5557 NEW BEST:: SOT 912475 SOS 503795 HAS SOPS 496023 HAS SOUS 225544 HAS SOUPS 224077 WITH SCORE 224580.795
AT ITER 5576 NEW BEST:: SOT 912370 SOS 503690 HAS SOPS 495976 HAS SOUS 225510 HAS SOUPS 224043 WITH SCORE 224546.69
AT ITER 5613 NEW BEST:: SOT 912368 SOS 503686 HAS SOPS 495972 HAS SOUS 225506 HAS SOUPS 224039 WITH SCORE 224542.686
AT ITER 5615 NEW BEST:: SOT 912027 SOS 503025 HAS SOPS 495311 HAS SOUS 225304 HAS SOUPS 223837 WITH SCORE 224340.025
AT ITER 5632 NEW BEST:: SOT 911962 SOS 502986 HAS SOPS 495272 HAS SOUS 225252 HAS SOUPS 223785 WITH SCORE 224287.986
AT ITER 5636 NEW BEST:: SOT 911645 SOS 502864 HAS SOPS 495150 HAS SOUS 224736 HAS SOUPS 223269 WITH SCORE 223771.864
AT ITER 5648 NEW BEST:: SOT 910851 SOS 502181 HAS SOPS 494467 HAS SOUS 223693 HAS SOUPS 222226 WITH SCORE 222728.181
AT ITER 5660 NEW BEST:: SOT 910863 SOS 502241 HAS SOPS 494527 HAS SOUS 223681 HAS SOUPS 222214 WITH SCORE 222716.241
AT ITER 5664 NEW BEST:: SOT 910846 SOS 502233 HAS SOPS 494519 HAS SOUS 223647 HAS SOUPS 222180 WITH SCORE 222682.233
AT ITER 5673 NEW BEST:: SOT 910391 SOS 502029 HAS SOPS 494315 HAS SOUS 222988 HAS SOUPS 221521 WITH SCORE 222023.029
AT ITER 5695 NEW BEST:: SOT 910383 SOS 502021 HAS SOPS 494307 HAS SOUS 222930 HAS SOUPS 221463 WITH SCORE 221965.021
AT ITER 5701 NEW BEST:: SOT 910386 SOS 502204 HAS SOPS 494490 HAS SOUS 222908 HAS SOUPS 221441 WITH SCORE 221943.204
AT ITER 5702 NEW BEST:: SOT 909829 SOS 502350 HAS SOPS 494563 HAS SOUS 222764 HAS SOUPS 221253 WITH SCORE 221755.35
AT ITER 5720 NEW BEST:: SOT 909717 SOS 501930 HAS SOPS 494143 HAS SOUS 222596 HAS SOUPS 221085 WITH SCORE 221586.93
AT ITER 5741 NEW BEST:: SOT 909693 SOS 501906 HAS SOPS 494119 HAS SOUS 222548 HAS SOUPS 221037 WITH SCORE 221538.906
AT ITER 5750 NEW BEST:: SOT 909690 SOS 501903 HAS SOPS 494116 HAS SOUS 222542 HAS SOUPS 221031 WITH SCORE 221532.903
AT ITER 5774 NEW BEST:: SOT 909688 SOS 501901 HAS SOPS 494112 HAS SOUS 222538 HAS SOUPS 221027 WITH SCORE 221528.901
AT ITER 5784 NEW BEST:: SOT 909839 SOS 498482 HAS SOPS 490693 HAS SOUS 222210 HAS SOUPS 220699 WITH SCORE 221197.482
AT ITER 5788 NEW BEST:: SOT 909839 SOS 498460 HAS SOPS 490671 HAS SOUS 222210 HAS SOUPS 220699 WITH SCORE 221197.46
AT ITER 5808 NEW BEST:: SOT 909846 SOS 498497 HAS SOPS 490708 HAS SOUS 222194 HAS SOUPS 220683 WITH SCORE 221181.497
AT ITER 5819 NEW BEST:: SOT 909757 SOS 498541 HAS SOPS 490863 HAS SOUS 222127 HAS SOUPS 220616 WITH SCORE 221114.541
AT ITER 5857 NEW BEST:: SOT 909742 SOS 498526 HAS SOPS 490848 HAS SOUS 222112 HAS SOUPS 220601 WITH SCORE 221099.526
AT ITER 5872 NEW BEST:: SOT 909566 SOS 498372 HAS SOPS 490694 HAS SOUS 222024 HAS SOUPS 220513 WITH SCORE 221011.372
AT ITER 5874 NEW BEST:: SOT 910045 SOS 497543 HAS SOPS 489865 HAS SOUS 221851 HAS SOUPS 220340 WITH SCORE 220837.543
AT ITER 5878 NEW BEST:: SOT 909134 SOS 496247 HAS SOPS 488569 HAS SOUS 220921 HAS SOUPS 219410 WITH SCORE 219906.247
AT ITER 5880 NEW BEST:: SOT 909043 SOS 496135 HAS SOPS 488457 HAS SOUS 220873 HAS SOUPS 219362 WITH SCORE 219858.135
AT ITER 5887 NEW BEST:: SOT 908974 SOS 495907 HAS SOPS 488229 HAS SOUS 220873 HAS SOUPS 219362 WITH SCORE 219857.907
AT ITER 5891 NEW BEST:: SOT 908962 SOS 495895 HAS SOPS 488217 HAS SOUS 220849 HAS SOUPS 219338 WITH SCORE 219833.895
AT ITER 5909 NEW BEST:: SOT 908895 SOS 495859 HAS SOPS 488181 HAS SOUS 220622 HAS SOUPS 219111 WITH SCORE 219606.859
AT ITER 5936 NEW BEST:: SOT 908805 SOS 495655 HAS SOPS 487977 HAS SOUS 220474 HAS SOUPS 218963 WITH SCORE 219458.655
AT ITER 5957 NEW BEST:: SOT 908730 SOS 495475 HAS SOPS 487797 HAS SOUS 220465 HAS SOUPS 218954 WITH SCORE 219449.475
AT ITER 5964 NEW BEST:: SOT 908718 SOS 495463 HAS SOPS 487785 HAS SOUS 220398 HAS SOUPS 218887 WITH SCORE 219382.463
AT ITER 5969 NEW BEST:: SOT 908707 SOS 495452 HAS SOPS 487774 HAS SOUS 220376 HAS SOUPS 218865 WITH SCORE 219360.452
AT ITER 5976 NEW BEST:: SOT 908385 SOS 495104 HAS SOPS 487426 HAS SOUS 219797 HAS SOUPS 218286 WITH SCORE 218781.104
AT ITER 5979 NEW BEST:: SOT 908330 SOS 494904 HAS SOPS 487226 HAS SOUS 219695 HAS SOUPS 218184 WITH SCORE 218678.904
AT ITER 5991 NEW BEST:: SOT 908302 SOS 494800 HAS SOPS 487136 HAS SOUS 219681 HAS SOUPS 218170 WITH SCORE 218664.8
AT ITER 5996 NEW BEST:: SOT 908123 SOS 494603 HAS SOPS 486939 HAS SOUS 219574 HAS SOUPS 218063 WITH SCORE 218557.603
AT ITER 6007 NEW BEST:: SOT 908079 SOS 494559 HAS SOPS 486895 HAS SOUS 219530 HAS SOUPS 218019 WITH SCORE 218513.559
AT ITER 6025 NEW BEST:: SOT 908114 SOS 494594 HAS SOPS 486930 HAS SOUS 219506 HAS SOUPS 217995 WITH SCORE 218489.594
AT ITER 6033 NEW BEST:: SOT 907744 SOS 493628 HAS SOPS 485964 HAS SOUS 219370 HAS SOUPS 217859 WITH SCORE 218352.628
AT ITER 6047 NEW BEST:: SOT 907686 SOS 493578 HAS SOPS 485914 HAS SOUS 219287 HAS SOUPS 217776 WITH SCORE 218269.578
AT ITER 6050 NEW BEST:: SOT 907701 SOS 493593 HAS SOPS 485929 HAS SOUS 219272 HAS SOUPS 217761 WITH SCORE 218254.593
AT ITER 6052 NEW BEST:: SOT 907686 SOS 493578 HAS SOPS 485914 HAS SOUS 219272 HAS SOUPS 217761 WITH SCORE 218254.578
AT ITER 6055 NEW BEST:: SOT 907704 SOS 493569 HAS SOPS 485905 HAS SOUS 219236 HAS SOUPS 217725 WITH SCORE 218218.569
AT ITER 6058 NEW BEST:: SOT 907687 SOS 493552 HAS SOPS 485871 HAS SOUS 219236 HAS SOUPS 217725 WITH SCORE 218218.552
AT ITER 6061 NEW BEST:: SOT 907687 SOS 493535 HAS SOPS 485854 HAS SOUS 219233 HAS SOUPS 217722 WITH SCORE 218215.535
AT ITER 6092 NEW BEST:: SOT 907672 SOS 493520 HAS SOPS 485839 HAS SOUS 219233 HAS SOUPS 217722 WITH SCORE 218215.52
AT ITER 6096 NEW BEST:: SOT 907662 SOS 493510 HAS SOPS 485829 HAS SOUS 219213 HAS SOUPS 217702 WITH SCORE 218195.51
AT ITER 6112 NEW BEST:: SOT 908323 SOS 494145 HAS SOPS 486464 HAS SOUS 219043 HAS SOUPS 217532 WITH SCORE 218026.145
AT ITER 6117 NEW BEST:: SOT 908287 SOS 494058 HAS SOPS 486377 HAS SOUS 218991 HAS SOUPS 217480 WITH SCORE 217974.058
AT ITER 6124 NEW BEST:: SOT 908287 SOS 494040 HAS SOPS 486359 HAS SOUS 218989 HAS SOUPS 217478 WITH SCORE 217972.04
AT ITER 6127 NEW BEST:: SOT 907952 SOS 493600 HAS SOPS 485919 HAS SOUS 218683 HAS SOUPS 217172 WITH SCORE 217665.6
AT ITER 6131 NEW BEST:: SOT 907915 SOS 493586 HAS SOPS 485905 HAS SOUS 218660 HAS SOUPS 217149 WITH SCORE 217642.586
AT ITER 6155 NEW BEST:: SOT 907878 SOS 493463 HAS SOPS 485777 HAS SOUS 218593 HAS SOUPS 217082 WITH SCORE 217575.463
AT ITER 6178 NEW BEST:: SOT 907904 SOS 493435 HAS SOPS 485691 HAS SOUS 218587 HAS SOUPS 217076 WITH SCORE 217569.435
AT ITER 6180 NEW BEST:: SOT 907918 SOS 493593 HAS SOPS 485849 HAS SOUS 218570 HAS SOUPS 217059 WITH SCORE 217552.593
AT ITER 6181 NEW BEST:: SOT 907591 SOS 493374 HAS SOPS 485630 HAS SOUS 218376 HAS SOUPS 216865 WITH SCORE 217358.374
AT ITER 6219 NEW BEST:: SOT 907457 SOS 493240 HAS SOPS 485496 HAS SOUS 218344 HAS SOUPS 216833 WITH SCORE 217326.24
AT ITER 6221 NEW BEST:: SOT 907445 SOS 493228 HAS SOPS 485472 HAS SOUS 218344 HAS SOUPS 216833 WITH SCORE 217326.228
AT ITER 6232 NEW BEST:: SOT 907640 SOS 493688 HAS SOPS 485932 HAS SOUS 218315 HAS SOUPS 216804 WITH SCORE 217297.688
AT ITER 6233 NEW BEST:: SOT 907640 SOS 493682 HAS SOPS 485926 HAS SOUS 218309 HAS SOUPS 216798 WITH SCORE 217291.682
AT ITER 6264 NEW BEST:: SOT 907640 SOS 494648 HAS SOPS 486892 HAS SOUS 218267 HAS SOUPS 216756 WITH SCORE 217250.648
AT ITER 6276 NEW BEST:: SOT 907812 SOS 494885 HAS SOPS 487129 HAS SOUS 218246 HAS SOUPS 216735 WITH SCORE 217229.885
AT ITER 6287 NEW BEST:: SOT 907656 SOS 494612 HAS SOPS 486856 HAS SOUS 218058 HAS SOUPS 216547 WITH SCORE 217041.612
AT ITER 6288 NEW BEST:: SOT 907623 SOS 494540 HAS SOPS 486784 HAS SOUS 218024 HAS SOUPS 216513 WITH SCORE 217007.54
AT ITER 6313 NEW BEST:: SOT 907588 SOS 494505 HAS SOPS 486756 HAS SOUS 217996 HAS SOUPS 216485 WITH SCORE 216979.505
AT ITER 6326 NEW BEST:: SOT 907313 SOS 494316 HAS SOPS 486567 HAS SOUS 217546 HAS SOUPS 216035 WITH SCORE 216529.316
AT ITER 6338 NEW BEST:: SOT 907324 SOS 494311 HAS SOPS 486562 HAS SOUS 217541 HAS SOUPS 216030 WITH SCORE 216524.311
AT ITER 6346 NEW BEST:: SOT 907618 SOS 494794 HAS SOPS 487045 HAS SOUS 217363 HAS SOUPS 215852 WITH SCORE 216346.794
AT ITER 6369 NEW BEST:: SOT 907296 SOS 494377 HAS SOPS 486628 HAS SOUS 217264 HAS SOUPS 215753 WITH SCORE 216247.377
AT ITER 6371 NEW BEST:: SOT 907375 SOS 495232 HAS SOPS 487483 HAS SOUS 216951 HAS SOUPS 215440 WITH SCORE 215935.232
AT ITER 6373 NEW BEST:: SOT 907375 SOS 495232 HAS SOPS 487483 HAS SOUS 216928 HAS SOUPS 215417 WITH SCORE 215912.232
AT ITER 6381 NEW BEST:: SOT 907294 SOS 495207 HAS SOPS 487515 HAS SOUS 216904 HAS SOUPS 215393 WITH SCORE 215888.207
AT ITER 6400 NEW BEST:: SOT 907350 SOS 495435 HAS SOPS 487743 HAS SOUS 216900 HAS SOUPS 215389 WITH SCORE 215884.435
AT ITER 6402 NEW BEST:: SOT 907383 SOS 495468 HAS SOPS 487776 HAS SOUS 216888 HAS SOUPS 215377 WITH SCORE 215872.468
AT ITER 6432 NEW BEST:: SOT 907478 SOS 495961 HAS SOPS 488269 HAS SOUS 216882 HAS SOUPS 215371 WITH SCORE 215866.961
AT ITER 6443 NEW BEST:: SOT 907200 SOS 495603 HAS SOPS 487911 HAS SOUS 216486 HAS SOUPS 214975 WITH SCORE 215470.603
AT ITER 6447 NEW BEST:: SOT 907152 SOS 495514 HAS SOPS 487822 HAS SOUS 216397 HAS SOUPS 214886 WITH SCORE 215381.514
AT ITER 6495 NEW BEST:: SOT 907051 SOS 495615 HAS SOPS 487923 HAS SOUS 216195 HAS SOUPS 214684 WITH SCORE 215179.615
AT ITER 6507 NEW BEST:: SOT 906879 SOS 495530 HAS SOPS 487838 HAS SOUS 216009 HAS SOUPS 214498 WITH SCORE 214993.53
AT ITER 6509 NEW BEST:: SOT 906823 SOS 495474 HAS SOPS 487761 HAS SOUS 215997 HAS SOUPS 214486 WITH SCORE 214981.474
AT ITER 6516 NEW BEST:: SOT 906811 SOS 495462 HAS SOPS 487749 HAS SOUS 215982 HAS SOUPS 214471 WITH SCORE 214966.462
AT ITER 6533 NEW BEST:: SOT 906768 SOS 495419 HAS SOPS 487706 HAS SOUS 215940 HAS SOUPS 214429 WITH SCORE 214924.419
AT ITER 6534 NEW BEST:: SOT 906736 SOS 495387 HAS SOPS 487676 HAS SOUS 215876 HAS SOUPS 214365 WITH SCORE 214860.387
AT ITER 6554 NEW BEST:: SOT 906487 SOS 495138 HAS SOPS 487427 HAS SOUS 215627 HAS SOUPS 214116 WITH SCORE 214611.138
AT ITER 6555 NEW BEST:: SOT 906478 SOS 495129 HAS SOPS 487418 HAS SOUS 215618 HAS SOUPS 214107 WITH SCORE 214602.129
AT ITER 6573 NEW BEST:: SOT 906511 SOS 495210 HAS SOPS 487499 HAS SOUS 215540 HAS SOUPS 214029 WITH SCORE 214524.21
AT ITER 6574 NEW BEST:: SOT 906511 SOS 494958 HAS SOPS 487247 HAS SOUS 215540 HAS SOUPS 214029 WITH SCORE 214523.958
AT ITER 6586 NEW BEST:: SOT 906737 SOS 495188 HAS SOPS 487477 HAS SOUS 215273 HAS SOUPS 213762 WITH SCORE 214257.188
AT ITER 6597 NEW BEST:: SOT 906708 SOS 495190 HAS SOPS 487479 HAS SOUS 215208 HAS SOUPS 213697 WITH SCORE 214192.19
AT ITER 6602 NEW BEST:: SOT 906708 SOS 495065 HAS SOPS 487278 HAS SOUS 215083 HAS SOUPS 213572 WITH SCORE 214067.065
AT ITER 6615 NEW BEST:: SOT 906708 SOS 495065 HAS SOPS 487278 HAS SOUS 215075 HAS SOUPS 213564 WITH SCORE 214059.065
AT ITER 6635 NEW BEST:: SOT 906683 SOS 495040 HAS SOPS 487253 HAS SOUS 215066 HAS SOUPS 213555 WITH SCORE 214050.04
AT ITER 6643 NEW BEST:: SOT 906509 SOS 495203 HAS SOPS 487416 HAS SOUS 215065 HAS SOUPS 213554 WITH SCORE 214049.203
AT ITER 6671 NEW BEST:: SOT 906583 SOS 495399 HAS SOPS 487612 HAS SOUS 215056 HAS SOUPS 213545 WITH SCORE 214040.399
AT ITER 6675 NEW BEST:: SOT 905993 SOS 494631 HAS SOPS 486844 HAS SOUS 214438 HAS SOUPS 212927 WITH SCORE 213421.631
AT ITER 6677 NEW BEST:: SOT 906206 SOS 494960 HAS SOPS 487173 HAS SOUS 214432 HAS SOUPS 212921 WITH SCORE 213415.96
AT ITER 6691 NEW BEST:: SOT 906206 SOS 494851 HAS SOPS 487064 HAS SOUS 214432 HAS SOUPS 212921 WITH SCORE 213415.851
AT ITER 6699 NEW BEST:: SOT 906199 SOS 494866 HAS SOPS 487079 HAS SOUS 214418 HAS SOUPS 212907 WITH SCORE 213401.866
AT ITER 6700 NEW BEST:: SOT 906183 SOS 494850 HAS SOPS 487063 HAS SOUS 214378 HAS SOUPS 212867 WITH SCORE 213361.85
AT ITER 6737 NEW BEST:: SOT 906132 SOS 494816 HAS SOPS 487029 HAS SOUS 214344 HAS SOUPS 212833 WITH SCORE 213327.816
AT ITER 6749 NEW BEST:: SOT 906132 SOS 494730 HAS SOPS 486943 HAS SOUS 214344 HAS SOUPS 212833 WITH SCORE 213327.73
AT ITER 6751 NEW BEST:: SOT 906122 SOS 494730 HAS SOPS 486943 HAS SOUS 214340 HAS SOUPS 212829 WITH SCORE 213323.73
AT ITER 6776 NEW BEST:: SOT 906086 SOS 494730 HAS SOPS 486943 HAS SOUS 214288 HAS SOUPS 212777 WITH SCORE 213271.73
AT ITER 6815 NEW BEST:: SOT 905957 SOS 494685 HAS SOPS 486898 HAS SOUS 214233 HAS SOUPS 212722 WITH SCORE 213216.685
AT ITER 6827 NEW BEST:: SOT 905931 SOS 494117 HAS SOPS 486330 HAS SOUS 214182 HAS SOUPS 212671 WITH SCORE 213165.117
AT ITER 6830 NEW BEST:: SOT 905917 SOS 494103 HAS SOPS 486316 HAS SOUS 214133 HAS SOUPS 212622 WITH SCORE 213116.103
AT ITER 6838 NEW BEST:: SOT 905888 SOS 494132 HAS SOPS 486345 HAS SOUS 214075 HAS SOUPS 212564 WITH SCORE 213058.132
AT ITER 6859 NEW BEST:: SOT 905976 SOS 494311 HAS SOPS 486524 HAS SOUS 214059 HAS SOUPS 212548 WITH SCORE 213042.311
AT ITER 6880 NEW BEST:: SOT 905972 SOS 494307 HAS SOPS 486520 HAS SOUS 214051 HAS SOUPS 212540 WITH SCORE 213034.307
AT ITER 6885 NEW BEST:: SOT 905969 SOS 494283 HAS SOPS 486496 HAS SOUS 214045 HAS SOUPS 212534 WITH SCORE 213028.283
AT ITER 6926 NEW BEST:: SOT 905854 SOS 494225 HAS SOPS 486438 HAS SOUS 214019 HAS SOUPS 212508 WITH SCORE 213002.225
AT ITER 6930 NEW BEST:: SOT 905845 SOS 494198 HAS SOPS 486411 HAS SOUS 213992 HAS SOUPS 212481 WITH SCORE 212975.198
AT ITER 6941 NEW BEST:: SOT 905815 SOS 494168 HAS SOPS 486381 HAS SOUS 213906 HAS SOUPS 212395 WITH SCORE 212889.168
AT ITER 6960 NEW BEST:: SOT 905630 SOS 493983 HAS SOPS 486457 HAS SOUS 213797 HAS SOUPS 212286 WITH SCORE 212779.983
AT ITER 6961 NEW BEST:: SOT 905710 SOS 494063 HAS SOPS 486505 HAS SOUS 213794 HAS SOUPS 212283 WITH SCORE 212777.063
AT ITER 6972 NEW BEST:: SOT 905692 SOS 494099 HAS SOPS 486541 HAS SOUS 213758 HAS SOUPS 212247 WITH SCORE 212741.099
AT ITER 6984 NEW BEST:: SOT 905673 SOS 493966 HAS SOPS 486408 HAS SOUS 213758 HAS SOUPS 212247 WITH SCORE 212740.966
AT ITER 6987 NEW BEST:: SOT 905657 SOS 493868 HAS SOPS 486310 HAS SOUS 213719 HAS SOUPS 212208 WITH SCORE 212701.868
AT ITER 6995 NEW BEST:: SOT 905573 SOS 493564 HAS SOPS 486006 HAS SOUS 213595 HAS SOUPS 212084 WITH SCORE 212577.564
AT ITER 7026 NEW BEST:: SOT 905565 SOS 493418 HAS SOPS 485860 HAS SOUS 213587 HAS SOUPS 212076 WITH SCORE 212569.418
AT ITER 7033 NEW BEST:: SOT 905023 SOS 492971 HAS SOPS 485413 HAS SOUS 212876 HAS SOUPS 211365 WITH SCORE 211857.971
AT ITER 7049 NEW BEST:: SOT 905014 SOS 493040 HAS SOPS 485482 HAS SOUS 212622 HAS SOUPS 211111 WITH SCORE 211604.04
AT ITER 7059 NEW BEST:: SOT 905023 SOS 493049 HAS SOPS 485491 HAS SOUS 212556 HAS SOUPS 211045 WITH SCORE 211538.049
AT ITER 7077 NEW BEST:: SOT 905012 SOS 493480 HAS SOPS 485922 HAS SOUS 212427 HAS SOUPS 210916 WITH SCORE 211409.48
AT ITER 7087 NEW BEST:: SOT 905011 SOS 493484 HAS SOPS 485930 HAS SOUS 212425 HAS SOUPS 210914 WITH SCORE 211407.484
AT ITER 7109 NEW BEST:: SOT 904920 SOS 493353 HAS SOPS 485799 HAS SOUS 212400 HAS SOUPS 210889 WITH SCORE 211382.353
AT ITER 7119 NEW BEST:: SOT 904946 SOS 493136 HAS SOPS 485582 HAS SOUS 212399 HAS SOUPS 210888 WITH SCORE 211381.136
AT ITER 7123 NEW BEST:: SOT 904925 SOS 493115 HAS SOPS 485561 HAS SOUS 212378 HAS SOUPS 210867 WITH SCORE 211360.115
AT ITER 7137 NEW BEST:: SOT 905157 SOS 493347 HAS SOPS 485793 HAS SOUS 212344 HAS SOUPS 210833 WITH SCORE 211326.347
AT ITER 7143 NEW BEST:: SOT 905119 SOS 493157 HAS SOPS 485603 HAS SOUS 212287 HAS SOUPS 210776 WITH SCORE 211269.157
AT ITER 7196 NEW BEST:: SOT 904851 SOS 492216 HAS SOPS 484662 HAS SOUS 212171 HAS SOUPS 210660 WITH SCORE 211152.216
AT ITER 7200 NEW BEST:: SOT 904795 SOS 492160 HAS SOPS 484606 HAS SOUS 212033 HAS SOUPS 210522 WITH SCORE 211014.16
AT ITER 7210 NEW BEST:: SOT 903604 SOS 490405 HAS SOPS 482593 HAS SOUS 210999 HAS SOUPS 209488 WITH SCORE 209978.405
AT ITER 7212 NEW BEST:: SOT 903578 SOS 490353 HAS SOPS 482541 HAS SOUS 210947 HAS SOUPS 209436 WITH SCORE 209926.353
AT ITER 7223 NEW BEST:: SOT 903572 SOS 490349 HAS SOPS 482537 HAS SOUS 210943 HAS SOUPS 209432 WITH SCORE 209922.349
AT ITER 7233 NEW BEST:: SOT 903560 SOS 490337 HAS SOPS 482525 HAS SOUS 210919 HAS SOUPS 209408 WITH SCORE 209898.337
AT ITER 7247 NEW BEST:: SOT 903560 SOS 489557 HAS SOPS 481625 HAS SOUS 210904 HAS SOUPS 209378 WITH SCORE 209867.557
AT ITER 7253 NEW BEST:: SOT 903586 SOS 491377 HAS SOPS 483445 HAS SOUS 210878 HAS SOUPS 209352 WITH SCORE 209843.377
AT ITER 7289 NEW BEST:: SOT 903586 SOS 491276 HAS SOPS 483344 HAS SOUS 210768 HAS SOUPS 209242 WITH SCORE 209733.276
AT ITER 7292 NEW BEST:: SOT 903540 SOS 490414 HAS SOPS 482482 HAS SOUS 210565 HAS SOUPS 209039 WITH SCORE 209529.414
AT ITER 7296 NEW BEST:: SOT 903592 SOS 490466 HAS SOPS 482583 HAS SOUS 210549 HAS SOUPS 209023 WITH SCORE 209513.466
AT ITER 7304 NEW BEST:: SOT 904166 SOS 486577 HAS SOPS 478694 HAS SOUS 210238 HAS SOUPS 208712 WITH SCORE 209198.577
AT ITER 7308 NEW BEST:: SOT 904090 SOS 486349 HAS SOPS 478466 HAS SOUS 210010 HAS SOUPS 208484 WITH SCORE 208970.349
AT ITER 7316 NEW BEST:: SOT 904009 SOS 486187 HAS SOPS 478304 HAS SOUS 209848 HAS SOUPS 208322 WITH SCORE 208808.187
AT ITER 7319 NEW BEST:: SOT 904032 SOS 486186 HAS SOPS 478303 HAS SOUS 209774 HAS SOUPS 208248 WITH SCORE 208734.186
AT ITER 7324 NEW BEST:: SOT 903976 SOS 486130 HAS SOPS 478247 HAS SOUS 209606 HAS SOUPS 208080 WITH SCORE 208566.13
AT ITER 7330 NEW BEST:: SOT 903833 SOS 486021 HAS SOPS 478138 HAS SOUS 209602 HAS SOUPS 208076 WITH SCORE 208562.021
AT ITER 7338 NEW BEST:: SOT 903737 SOS 485925 HAS SOPS 478042 HAS SOUS 209455 HAS SOUPS 207929 WITH SCORE 208414.925
AT ITER 7346 NEW BEST:: SOT 903867 SOS 486568 HAS SOPS 478685 HAS SOUS 209202 HAS SOUPS 207676 WITH SCORE 208162.568
AT ITER 7365 NEW BEST:: SOT 903864 SOS 486565 HAS SOPS 478682 HAS SOUS 209199 HAS SOUPS 207673 WITH SCORE 208159.565
AT ITER 7393 NEW BEST:: SOT 903864 SOS 486565 HAS SOPS 478682 HAS SOUS 209149 HAS SOUPS 207623 WITH SCORE 208109.565
AT ITER 7399 NEW BEST:: SOT 903864 SOS 486409 HAS SOPS 478526 HAS SOUS 209149 HAS SOUPS 207623 WITH SCORE 208109.409
AT ITER 7401 NEW BEST:: SOT 903781 SOS 486326 HAS SOPS 478443 HAS SOUS 209052 HAS SOUPS 207526 WITH SCORE 208012.326
AT ITER 7436 NEW BEST:: SOT 903922 SOS 486467 HAS SOPS 478584 HAS SOUS 208679 HAS SOUPS 207153 WITH SCORE 207639.467
AT ITER 7447 NEW BEST:: SOT 903918 SOS 486451 HAS SOPS 478568 HAS SOUS 208663 HAS SOUPS 207137 WITH SCORE 207623.451
AT ITER 7456 NEW BEST:: SOT 903585 SOS 486946 HAS SOPS 479063 HAS SOUS 208504 HAS SOUPS 206978 WITH SCORE 207464.946
AT ITER 7460 NEW BEST:: SOT 903493 SOS 486854 HAS SOPS 478971 HAS SOUS 208441 HAS SOUPS 206915 WITH SCORE 207401.854
AT ITER 7463 NEW BEST:: SOT 903466 SOS 486794 HAS SOPS 478911 HAS SOUS 208387 HAS SOUPS 206861 WITH SCORE 207347.794
AT ITER 7478 NEW BEST:: SOT 903454 SOS 486782 HAS SOPS 478899 HAS SOUS 208375 HAS SOUPS 206849 WITH SCORE 207335.782
AT ITER 7485 NEW BEST:: SOT 903437 SOS 486790 HAS SOPS 478907 HAS SOUS 208295 HAS SOUPS 206769 WITH SCORE 207255.79
AT ITER 7497 NEW BEST:: SOT 903437 SOS 486747 HAS SOPS 478864 HAS SOUS 208295 HAS SOUPS 206769 WITH SCORE 207255.747
AT ITER 7501 NEW BEST:: SOT 903281 SOS 486591 HAS SOPS 478708 HAS SOUS 208139 HAS SOUPS 206613 WITH SCORE 207099.591
AT ITER 7505 NEW BEST:: SOT 903334 SOS 486697 HAS SOPS 478814 HAS SOUS 208086 HAS SOUPS 206560 WITH SCORE 207046.697
AT ITER 7513 NEW BEST:: SOT 902943 SOS 486578 HAS SOPS 478695 HAS SOUS 207884 HAS SOUPS 206358 WITH SCORE 206844.578
AT ITER 7514 NEW BEST:: SOT 902973 SOS 486548 HAS SOPS 478665 HAS SOUS 207864 HAS SOUPS 206338 WITH SCORE 206824.548
AT ITER 7521 NEW BEST:: SOT 902926 SOS 486501 HAS SOPS 478618 HAS SOUS 207804 HAS SOUPS 206278 WITH SCORE 206764.501
AT ITER 7535 NEW BEST:: SOT 902923 SOS 486498 HAS SOPS 478615 HAS SOUS 207801 HAS SOUPS 206275 WITH SCORE 206761.498
AT ITER 7571 NEW BEST:: SOT 902982 SOS 486473 HAS SOPS 478590 HAS SOUS 207695 HAS SOUPS 206169 WITH SCORE 206655.473
AT ITER 7583 NEW BEST:: SOT 902876 SOS 486367 HAS SOPS 478484 HAS SOUS 207451 HAS SOUPS 205925 WITH SCORE 206411.367
AT ITER 7594 NEW BEST:: SOT 902876 SOS 486367 HAS SOPS 478484 HAS SOUS 207416 HAS SOUPS 205890 WITH SCORE 206376.367
AT ITER 7633 NEW BEST:: SOT 902873 SOS 486364 HAS SOPS 478485 HAS SOUS 207409 HAS SOUPS 205883 WITH SCORE 206369.364
AT ITER 7635 NEW BEST:: SOT 902822 SOS 486283 HAS SOPS 478404 HAS SOUS 207366 HAS SOUPS 205840 WITH SCORE 206326.283
AT ITER 7658 NEW BEST:: SOT 902807 SOS 486268 HAS SOPS 478389 HAS SOUS 207304 HAS SOUPS 205778 WITH SCORE 206264.268
AT ITER 7662 NEW BEST:: SOT 902839 SOS 486258 HAS SOPS 478379 HAS SOUS 207242 HAS SOUPS 205716 WITH SCORE 206202.258
AT ITER 7671 NEW BEST:: SOT 902721 SOS 475668 HAS SOPS 467789 HAS SOUS 207038 HAS SOUPS 205512 WITH SCORE 205987.668
AT ITER 7700 NEW BEST:: SOT 902660 SOS 478055 HAS SOPS 470176 HAS SOUS 206862 HAS SOUPS 205336 WITH SCORE 205814.055
AT ITER 7714 NEW BEST:: SOT 902658 SOS 478053 HAS SOPS 470174 HAS SOUS 206860 HAS SOUPS 205334 WITH SCORE 205812.053
AT ITER 7715 NEW BEST:: SOT 902634 SOS 478029 HAS SOPS 470150 HAS SOUS 206836 HAS SOUPS 205310 WITH SCORE 205788.029
AT ITER 7745 NEW BEST:: SOT 902635 SOS 478057 HAS SOPS 470178 HAS SOUS 206821 HAS SOUPS 205295 WITH SCORE 205773.057
AT ITER 7747 NEW BEST:: SOT 902635 SOS 478057 HAS SOPS 470178 HAS SOUS 206719 HAS SOUPS 205193 WITH SCORE 205671.057
AT ITER 7753 NEW BEST:: SOT 902632 SOS 478054 HAS SOPS 470175 HAS SOUS 206713 HAS SOUPS 205187 WITH SCORE 205665.054
AT ITER 7774 NEW BEST:: SOT 902284 SOS 477602 HAS SOPS 469723 HAS SOUS 206510 HAS SOUPS 204984 WITH SCORE 205461.602
AT ITER 7785 NEW BEST:: SOT 902547 SOS 477865 HAS SOPS 469986 HAS SOUS 206445 HAS SOUPS 204919 WITH SCORE 205396.865
AT ITER 7809 NEW BEST:: SOT 902555 SOS 477865 HAS SOPS 469986 HAS SOUS 206361 HAS SOUPS 204835 WITH SCORE 205312.865
AT ITER 7831 NEW BEST:: SOT 902489 SOS 477755 HAS SOPS 469876 HAS SOUS 206329 HAS SOUPS 204803 WITH SCORE 205280.755
AT ITER 7834 NEW BEST:: SOT 902524 SOS 478287 HAS SOPS 470408 HAS SOUS 206224 HAS SOUPS 204698 WITH SCORE 205176.287
AT ITER 7837 NEW BEST:: SOT 902206 SOS 477969 HAS SOPS 470090 HAS SOUS 205906 HAS SOUPS 204380 WITH SCORE 204857.969
AT ITER 7876 NEW BEST:: SOT 902742 SOS 478358 HAS SOPS 470479 HAS SOUS 205873 HAS SOUPS 204347 WITH SCORE 204825.358
AT ITER 7883 NEW BEST:: SOT 902771 SOS 478309 HAS SOPS 470430 HAS SOUS 205839 HAS SOUPS 204313 WITH SCORE 204791.309
AT ITER 7891 NEW BEST:: SOT 902750 SOS 478288 HAS SOPS 470409 HAS SOUS 205797 HAS SOUPS 204271 WITH SCORE 204749.288
AT ITER 7893 NEW BEST:: SOT 902876 SOS 478423 HAS SOPS 470544 HAS SOUS 205686 HAS SOUPS 204160 WITH SCORE 204638.423
AT ITER 7908 NEW BEST:: SOT 902791 SOS 474258 HAS SOPS 466379 HAS SOUS 205482 HAS SOUPS 203956 WITH SCORE 204430.258
AT ITER 7912 NEW BEST:: SOT 902516 SOS 473837 HAS SOPS 465958 HAS SOUS 205249 HAS SOUPS 203723 WITH SCORE 204196.837
AT ITER 7937 NEW BEST:: SOT 902586 SOS 473907 HAS SOPS 466028 HAS SOUS 205179 HAS SOUPS 203653 WITH SCORE 204126.907
AT ITER 7938 NEW BEST:: SOT 902417 SOS 473962 HAS SOPS 466083 HAS SOUS 205137 HAS SOUPS 203611 WITH SCORE 204084.962
AT ITER 7965 NEW BEST:: SOT 902417 SOS 473951 HAS SOPS 466072 HAS SOUS 204900 HAS SOUPS 203374 WITH SCORE 203847.951
AT ITER 7980 NEW BEST:: SOT 902414 SOS 474053 HAS SOPS 466174 HAS SOUS 204894 HAS SOUPS 203368 WITH SCORE 203842.053
AT ITER 8016 NEW BEST:: SOT 902383 SOS 474022 HAS SOPS 466143 HAS SOUS 204832 HAS SOUPS 203306 WITH SCORE 203780.022
AT ITER 8019 NEW BEST:: SOT 902302 SOS 473941 HAS SOPS 466062 HAS SOUS 204633 HAS SOUPS 203107 WITH SCORE 203580.941
AT ITER 8022 NEW BEST:: SOT 902302 SOS 473945 HAS SOPS 466066 HAS SOUS 204627 HAS SOUPS 203101 WITH SCORE 203574.945
AT ITER 8043 NEW BEST:: SOT 902393 SOS 474075 HAS SOPS 466196 HAS SOUS 204541 HAS SOUPS 203015 WITH SCORE 203489.075
AT ITER 8044 NEW BEST:: SOT 902270 SOS 473952 HAS SOPS 466073 HAS SOUS 204268 HAS SOUPS 202742 WITH SCORE 203215.952
AT ITER 8075 NEW BEST:: SOT 901987 SOS 477854 HAS SOPS 470777 HAS SOUS 203821 HAS SOUPS 202465 WITH SCORE 202942.854
AT ITER 8078 NEW BEST:: SOT 901911 SOS 477827 HAS SOPS 470750 HAS SOUS 203799 HAS SOUPS 202443 WITH SCORE 202920.827
AT ITER 8079 NEW BEST:: SOT 901854 SOS 477770 HAS SOPS 470693 HAS SOUS 203652 HAS SOUPS 202296 WITH SCORE 202773.77
AT ITER 8082 NEW BEST:: SOT 901834 SOS 477730 HAS SOPS 470653 HAS SOUS 203612 HAS SOUPS 202256 WITH SCORE 202733.73
AT ITER 8085 NEW BEST:: SOT 901828 SOS 477577 HAS SOPS 470500 HAS SOUS 203600 HAS SOUPS 202244 WITH SCORE 202721.577
AT ITER 8099 NEW BEST:: SOT 901309 SOS 477010 HAS SOPS 469933 HAS SOUS 203510 HAS SOUPS 202154 WITH SCORE 202631.01
AT ITER 8103 NEW BEST:: SOT 901693 SOS 477394 HAS SOPS 470317 HAS SOUS 203325 HAS SOUPS 201969 WITH SCORE 202446.394
AT ITER 8105 NEW BEST:: SOT 901659 SOS 477366 HAS SOPS 470289 HAS SOUS 203257 HAS SOUPS 201901 WITH SCORE 202378.366
AT ITER 8129 NEW BEST:: SOT 901684 SOS 477725 HAS SOPS 470648 HAS SOUS 203065 HAS SOUPS 201709 WITH SCORE 202186.725
AT ITER 8148 NEW BEST:: SOT 901708 SOS 478565 HAS SOPS 471488 HAS SOUS 203046 HAS SOUPS 201690 WITH SCORE 202168.565
AT ITER 8181 NEW BEST:: SOT 901686 SOS 478602 HAS SOPS 471525 HAS SOUS 202921 HAS SOUPS 201565 WITH SCORE 202043.602
AT ITER 8186 NEW BEST:: SOT 901638 SOS 478554 HAS SOPS 471477 HAS SOUS 202825 HAS SOUPS 201469 WITH SCORE 201947.554
AT ITER 8197 NEW BEST:: SOT 901638 SOS 478533 HAS SOPS 471456 HAS SOUS 202825 HAS SOUPS 201469 WITH SCORE 201947.533
AT ITER 8207 NEW BEST:: SOT 901652 SOS 478623 HAS SOPS 471546 HAS SOUS 202815 HAS SOUPS 201459 WITH SCORE 201937.623
AT ITER 8229 NEW BEST:: SOT 901500 SOS 478357 HAS SOPS 471280 HAS SOUS 202587 HAS SOUPS 201231 WITH SCORE 201709.357
AT ITER 8242 NEW BEST:: SOT 901481 SOS 478357 HAS SOPS 471280 HAS SOUS 202568 HAS SOUPS 201212 WITH SCORE 201690.357
AT ITER 8267 NEW BEST:: SOT 901469 SOS 478349 HAS SOPS 471272 HAS SOUS 202552 HAS SOUPS 201196 WITH SCORE 201674.349
AT ITER 8268 NEW BEST:: SOT 901897 SOS 473457 HAS SOPS 466380 HAS SOUS 202344 HAS SOUPS 200988 WITH SCORE 201461.457
AT ITER 8290 NEW BEST:: SOT 901887 SOS 473437 HAS SOPS 466360 HAS SOUS 202282 HAS SOUPS 200926 WITH SCORE 201399.437
AT ITER 8291 NEW BEST:: SOT 901653 SOS 472662 HAS SOPS 465585 HAS SOUS 202171 HAS SOUPS 200815 WITH SCORE 201287.662
AT ITER 8307 NEW BEST:: SOT 901716 SOS 472875 HAS SOPS 465798 HAS SOUS 202147 HAS SOUPS 200791 WITH SCORE 201263.875
AT ITER 8318 NEW BEST:: SOT 901679 SOS 472732 HAS SOPS 465584 HAS SOUS 202144 HAS SOUPS 200788 WITH SCORE 201260.732
AT ITER 8319 NEW BEST:: SOT 901644 SOS 472825 HAS SOPS 465677 HAS SOUS 202139 HAS SOUPS 200783 WITH SCORE 201255.825
AT ITER 8339 NEW BEST:: SOT 901931 SOS 473821 HAS SOPS 466673 HAS SOUS 202055 HAS SOUPS 200699 WITH SCORE 201172.821
AT ITER 8341 NEW BEST:: SOT 901762 SOS 472973 HAS SOPS 465825 HAS SOUS 202006 HAS SOUPS 200650 WITH SCORE 201122.973
AT ITER 8351 NEW BEST:: SOT 901735 SOS 472946 HAS SOPS 465798 HAS SOUS 201872 HAS SOUPS 200516 WITH SCORE 200988.946
AT ITER 8360 NEW BEST:: SOT 901733 SOS 472851 HAS SOPS 465703 HAS SOUS 201781 HAS SOUPS 200425 WITH SCORE 200897.851
AT ITER 8369 NEW BEST:: SOT 901729 SOS 472859 HAS SOPS 465711 HAS SOUS 201778 HAS SOUPS 200422 WITH SCORE 200894.859
AT ITER 8370 NEW BEST:: SOT 901645 SOS 472902 HAS SOPS 465754 HAS SOUS 201613 HAS SOUPS 200257 WITH SCORE 200729.902
AT ITER 8371 NEW BEST:: SOT 901627 SOS 472884 HAS SOPS 465736 HAS SOUS 201547 HAS SOUPS 200191 WITH SCORE 200663.884
AT ITER 8393 NEW BEST:: SOT 901627 SOS 472884 HAS SOPS 465736 HAS SOUS 201546 HAS SOUPS 200190 WITH SCORE 200662.884
AT ITER 8400 NEW BEST:: SOT 901636 SOS 472881 HAS SOPS 465733 HAS SOUS 201540 HAS SOUPS 200184 WITH SCORE 200656.881
AT ITER 8401 NEW BEST:: SOT 901613 SOS 472843 HAS SOPS 465695 HAS SOUS 201521 HAS SOUPS 200165 WITH SCORE 200637.843
AT ITER 8451 NEW BEST:: SOT 901632 SOS 473176 HAS SOPS 466028 HAS SOUS 201489 HAS SOUPS 200133 WITH SCORE 200606.176
AT ITER 8458 NEW BEST:: SOT 901628 SOS 473168 HAS SOPS 466020 HAS SOUS 201481 HAS SOUPS 200125 WITH SCORE 200598.168
AT ITER 8485 NEW BEST:: SOT 901625 SOS 473165 HAS SOPS 466000 HAS SOUS 201441 HAS SOUPS 200085 WITH SCORE 200558.165
AT ITER 8502 NEW BEST:: SOT 901625 SOS 472969 HAS SOPS 465804 HAS SOUS 201441 HAS SOUPS 200085 WITH SCORE 200557.969
AT ITER 8563 NEW BEST:: SOT 901408 SOS 472752 HAS SOPS 465587 HAS SOUS 201357 HAS SOUPS 200001 WITH SCORE 200473.752
AT ITER 8576 NEW BEST:: SOT 901408 SOS 472869 HAS SOPS 465704 HAS SOUS 201276 HAS SOUPS 199920 WITH SCORE 200392.869
AT ITER 8597 NEW BEST:: SOT 901083 SOS 472576 HAS SOPS 465411 HAS SOUS 201020 HAS SOUPS 199664 WITH SCORE 200136.576
AT ITER 8602 NEW BEST:: SOT 901019 SOS 472512 HAS SOPS 465347 HAS SOUS 201003 HAS SOUPS 199647 WITH SCORE 200119.512
AT ITER 8604 NEW BEST:: SOT 900979 SOS 472456 HAS SOPS 465291 HAS SOUS 200861 HAS SOUPS 199505 WITH SCORE 199977.456
AT ITER 8628 NEW BEST:: SOT 900959 SOS 472378 HAS SOPS 465213 HAS SOUS 200821 HAS SOUPS 199465 WITH SCORE 199937.378
AT ITER 8658 NEW BEST:: SOT 900922 SOS 472304 HAS SOPS 465139 HAS SOUS 200784 HAS SOUPS 199428 WITH SCORE 199900.304
AT ITER 8681 NEW BEST:: SOT 900922 SOS 474433 HAS SOPS 467268 HAS SOUS 200710 HAS SOUPS 199354 WITH SCORE 199828.433
AT ITER 8688 NEW BEST:: SOT 900880 SOS 474391 HAS SOPS 467226 HAS SOUS 200620 HAS SOUPS 199264 WITH SCORE 199738.391
AT ITER 8694 NEW BEST:: SOT 900780 SOS 474174 HAS SOPS 467009 HAS SOUS 200427 HAS SOUPS 199071 WITH SCORE 199545.174
AT ITER 8697 NEW BEST:: SOT 900681 SOS 474075 HAS SOPS 466910 HAS SOUS 200239 HAS SOUPS 198883 WITH SCORE 199357.075
AT ITER 8716 NEW BEST:: SOT 900415 SOS 473404 HAS SOPS 466239 HAS SOUS 199480 HAS SOUPS 198124 WITH SCORE 198597.404
AT ITER 8722 NEW BEST:: SOT 900414 SOS 473402 HAS SOPS 466237 HAS SOUS 199478 HAS SOUPS 198122 WITH SCORE 198595.402
AT ITER 8728 NEW BEST:: SOT 900404 SOS 473372 HAS SOPS 466207 HAS SOUS 199462 HAS SOUPS 198106 WITH SCORE 198579.372
AT ITER 8742 NEW BEST:: SOT 900359 SOS 473208 HAS SOPS 466043 HAS SOUS 199372 HAS SOUPS 198016 WITH SCORE 198489.208
AT ITER 8758 NEW BEST:: SOT 900450 SOS 473299 HAS SOPS 466134 HAS SOUS 199300 HAS SOUPS 197944 WITH SCORE 198417.299
AT ITER 8778 NEW BEST:: SOT 900398 SOS 473412 HAS SOPS 466247 HAS SOUS 199167 HAS SOUPS 197811 WITH SCORE 198284.412
AT ITER 8795 NEW BEST:: SOT 900518 SOS 473898 HAS SOPS 466733 HAS SOUS 199063 HAS SOUPS 197707 WITH SCORE 198180.898
AT ITER 8806 NEW BEST:: SOT 900478 SOS 473858 HAS SOPS 466693 HAS SOUS 199061 HAS SOUPS 197705 WITH SCORE 198178.858
AT ITER 8810 NEW BEST:: SOT 900401 SOS 473730 HAS SOPS 466623 HAS SOUS 199023 HAS SOUPS 197667 WITH SCORE 198140.73
AT ITER 8817 NEW BEST:: SOT 900129 SOS 473322 HAS SOPS 466215 HAS SOUS 198683 HAS SOUPS 197327 WITH SCORE 197800.322
AT ITER 8860 NEW BEST:: SOT 900100 SOS 473293 HAS SOPS 466157 HAS SOUS 198625 HAS SOUPS 197269 WITH SCORE 197742.293
AT ITER 8863 NEW BEST:: SOT 900136 SOS 473410 HAS SOPS 466274 HAS SOUS 198605 HAS SOUPS 197249 WITH SCORE 197722.41
AT ITER 8891 NEW BEST:: SOT 900073 SOS 473370 HAS SOPS 466260 HAS SOUS 198581 HAS SOUPS 197225 WITH SCORE 197698.37
AT ITER 8916 NEW BEST:: SOT 899914 SOS 473211 HAS SOPS 466101 HAS SOUS 198581 HAS SOUPS 197225 WITH SCORE 197698.211
AT ITER 8917 NEW BEST:: SOT 899869 SOS 473189 HAS SOPS 466079 HAS SOUS 198536 HAS SOUPS 197180 WITH SCORE 197653.189
AT ITER 8918 NEW BEST:: SOT 899875 SOS 473213 HAS SOPS 466103 HAS SOUS 198530 HAS SOUPS 197174 WITH SCORE 197647.213
AT ITER 8919 NEW BEST:: SOT 899595 SOS 472973 HAS SOPS 465863 HAS SOUS 198210 HAS SOUPS 196854 WITH SCORE 197326.973
AT ITER 8922 NEW BEST:: SOT 899937 SOS 473588 HAS SOPS 466478 HAS SOUS 198102 HAS SOUPS 196746 WITH SCORE 197219.588
AT ITER 8928 NEW BEST:: SOT 899710 SOS 473562 HAS SOPS 466452 HAS SOUS 197802 HAS SOUPS 196446 WITH SCORE 196919.562
AT ITER 8961 NEW BEST:: SOT 899720 SOS 473456 HAS SOPS 466346 HAS SOUS 197795 HAS SOUPS 196439 WITH SCORE 196912.456
AT ITER 8967 NEW BEST:: SOT 899542 SOS 473484 HAS SOPS 466374 HAS SOUS 197583 HAS SOUPS 196227 WITH SCORE 196700.484
AT ITER 8970 NEW BEST:: SOT 899513 SOS 473462 HAS SOPS 466352 HAS SOUS 197525 HAS SOUPS 196169 WITH SCORE 196642.462
AT ITER 8997 NEW BEST:: SOT 899788 SOS 474478 HAS SOPS 467368 HAS SOUS 197493 HAS SOUPS 196137 WITH SCORE 196611.478
AT ITER 9016 NEW BEST:: SOT 899724 SOS 474649 HAS SOPS 467539 HAS SOUS 197195 HAS SOUPS 195839 WITH SCORE 196313.649
AT ITER 9040 NEW BEST:: SOT 899714 SOS 474639 HAS SOPS 467529 HAS SOUS 197185 HAS SOUPS 195829 WITH SCORE 196303.639
AT ITER 9050 NEW BEST:: SOT 899651 SOS 474576 HAS SOPS 467466 HAS SOUS 197059 HAS SOUPS 195703 WITH SCORE 196177.576
AT ITER 9063 NEW BEST:: SOT 899683 SOS 474555 HAS SOPS 467445 HAS SOUS 197032 HAS SOUPS 195676 WITH SCORE 196150.555
AT ITER 9086 NEW BEST:: SOT 899571 SOS 475275 HAS SOPS 468165 HAS SOUS 197030 HAS SOUPS 195674 WITH SCORE 196149.275
AT ITER 9092 NEW BEST:: SOT 899855 SOS 479216 HAS SOPS 472106 HAS SOUS 196426 HAS SOUPS 195070 WITH SCORE 195549.216
AT ITER 9100 NEW BEST:: SOT 899914 SOS 479389 HAS SOPS 472279 HAS SOUS 196082 HAS SOUPS 194726 WITH SCORE 195205.389
AT ITER 9124 NEW BEST:: SOT 899928 SOS 478996 HAS SOPS 471886 HAS SOUS 196082 HAS SOUPS 194726 WITH SCORE 195204.996
AT ITER 9126 NEW BEST:: SOT 899928 SOS 478996 HAS SOPS 471886 HAS SOUS 195929 HAS SOUPS 194573 WITH SCORE 195051.996
AT ITER 9127 NEW BEST:: SOT 899922 SOS 478990 HAS SOPS 471880 HAS SOUS 195927 HAS SOUPS 194571 WITH SCORE 195049.99
AT ITER 9129 NEW BEST:: SOT 899903 SOS 478990 HAS SOPS 471880 HAS SOUS 195908 HAS SOUPS 194552 WITH SCORE 195030.99
AT ITER 9132 NEW BEST:: SOT 899891 SOS 478972 HAS SOPS 471862 HAS SOUS 195884 HAS SOUPS 194528 WITH SCORE 195006.972
AT ITER 9241 NEW BEST:: SOT 899891 SOS 478972 HAS SOPS 471862 HAS SOUS 195879 HAS SOUPS 194523 WITH SCORE 195001.972
AT ITER 9263 NEW BEST:: SOT 899735 SOS 478579 HAS SOPS 471788 HAS SOUS 195864 HAS SOUPS 194508 WITH SCORE 194986.579
AT ITER 9277 NEW BEST:: SOT 899711 SOS 478533 HAS SOPS 471742 HAS SOUS 195836 HAS SOUPS 194480 WITH SCORE 194958.533
AT ITER 9289 NEW BEST:: SOT 899591 SOS 478413 HAS SOPS 471622 HAS SOUS 195716 HAS SOUPS 194360 WITH SCORE 194838.413
AT ITER 9333 NEW BEST:: SOT 899588 SOS 478380 HAS SOPS 471589 HAS SOUS 195710 HAS SOUPS 194354 WITH SCORE 194832.38
AT ITER 9345 NEW BEST:: SOT 899581 SOS 478680 HAS SOPS 471889 HAS SOUS 195696 HAS SOUPS 194340 WITH SCORE 194818.68
AT ITER 9361 NEW BEST:: SOT 899581 SOS 479010 HAS SOPS 472219 HAS SOUS 195523 HAS SOUPS 194167 WITH SCORE 194646.01
AT ITER 9385 NEW BEST:: SOT 899824 SOS 478982 HAS SOPS 472191 HAS SOUS 195497 HAS SOUPS 194141 WITH SCORE 194619.982
AT ITER 9389 NEW BEST:: SOT 899622 SOS 478780 HAS SOPS 471989 HAS SOUS 195302 HAS SOUPS 193946 WITH SCORE 194424.78
AT ITER 9399 NEW BEST:: SOT 899256 SOS 478147 HAS SOPS 471356 HAS SOUS 194953 HAS SOUPS 193597 WITH SCORE 194075.147
AT ITER 9419 NEW BEST:: SOT 899236 SOS 478107 HAS SOPS 471316 HAS SOUS 194953 HAS SOUPS 193597 WITH SCORE 194075.107
AT ITER 9444 NEW BEST:: SOT 899185 SOS 478049 HAS SOPS 471258 HAS SOUS 194811 HAS SOUPS 193455 WITH SCORE 193933.049
AT ITER 9479 NEW BEST:: SOT 899273 SOS 478115 HAS SOPS 471324 HAS SOUS 194676 HAS SOUPS 193320 WITH SCORE 193798.115
AT ITER 9502 NEW BEST:: SOT 899102 SOS 477557 HAS SOPS 470766 HAS SOUS 194516 HAS SOUPS 193160 WITH SCORE 193637.557
AT ITER 9521 NEW BEST:: SOT 899094 SOS 477084 HAS SOPS 470293 HAS SOUS 194387 HAS SOUPS 193031 WITH SCORE 193508.084
AT ITER 9547 NEW BEST:: SOT 899079 SOS 476701 HAS SOPS 469550 HAS SOUS 193990 HAS SOUPS 192634 WITH SCORE 193110.701
AT ITER 9557 NEW BEST:: SOT 899068 SOS 476679 HAS SOPS 469528 HAS SOUS 193968 HAS SOUPS 192612 WITH SCORE 193088.679
AT ITER 9561 NEW BEST:: SOT 899001 SOS 476638 HAS SOPS 469487 HAS SOUS 193927 HAS SOUPS 192571 WITH SCORE 193047.638
AT ITER 9563 NEW BEST:: SOT 898961 SOS 476558 HAS SOPS 469407 HAS SOUS 193847 HAS SOUPS 192491 WITH SCORE 192967.558
AT ITER 9624 NEW BEST:: SOT 898980 SOS 476626 HAS SOPS 469475 HAS SOUS 193766 HAS SOUPS 192410 WITH SCORE 192886.626
AT ITER 9639 NEW BEST:: SOT 899006 SOS 476668 HAS SOPS 469517 HAS SOUS 193744 HAS SOUPS 192388 WITH SCORE 192864.668
AT ITER 9646 NEW BEST:: SOT 898980 SOS 476690 HAS SOPS 469539 HAS SOUS 193662 HAS SOUPS 192306 WITH SCORE 192782.69
AT ITER 9665 NEW BEST:: SOT 899040 SOS 476698 HAS SOPS 469547 HAS SOUS 193631 HAS SOUPS 192275 WITH SCORE 192751.698
AT ITER 9702 NEW BEST:: SOT 899032 SOS 476558 HAS SOPS 469407 HAS SOUS 193615 HAS SOUPS 192259 WITH SCORE 192735.558
AT ITER 9728 NEW BEST:: SOT 898794 SOS 476433 HAS SOPS 469282 HAS SOUS 193139 HAS SOUPS 191783 WITH SCORE 192259.433
AT ITER 9740 NEW BEST:: SOT 898794 SOS 476413 HAS SOPS 469262 HAS SOUS 193135 HAS SOUPS 191779 WITH SCORE 192255.413
AT ITER 9766 NEW BEST:: SOT 898738 SOS 476357 HAS SOPS 469206 HAS SOUS 192941 HAS SOUPS 191585 WITH SCORE 192061.357
AT ITER 9779 NEW BEST:: SOT 898588 SOS 476207 HAS SOPS 469056 HAS SOUS 192746 HAS SOUPS 191390 WITH SCORE 191866.207
AT ITER 9792 NEW BEST:: SOT 898670 SOS 476307 HAS SOPS 469156 HAS SOUS 192412 HAS SOUPS 191056 WITH SCORE 191532.307
AT ITER 9794 NEW BEST:: SOT 898574 SOS 476227 HAS SOPS 469076 HAS SOUS 192319 HAS SOUPS 190963 WITH SCORE 191439.227
AT ITER 9819 NEW BEST:: SOT 898478 SOS 476157 HAS SOPS 469006 HAS SOUS 192239 HAS SOUPS 190883 WITH SCORE 191359.157
AT ITER 9829 NEW BEST:: SOT 898431 SOS 476110 HAS SOPS 468959 HAS SOUS 192167 HAS SOUPS 190811 WITH SCORE 191287.11
AT ITER 9861 NEW BEST:: SOT 898370 SOS 476344 HAS SOPS 469193 HAS SOUS 192031 HAS SOUPS 190675 WITH SCORE 191151.344
AT ITER 9867 NEW BEST:: SOT 898434 SOS 476366 HAS SOPS 469191 HAS SOUS 192027 HAS SOUPS 190671 WITH SCORE 191147.366
AT ITER 9879 NEW BEST:: SOT 898480 SOS 476526 HAS SOPS 469351 HAS SOUS 192020 HAS SOUPS 190664 WITH SCORE 191140.526
AT ITER 9887 NEW BEST:: SOT 898464 SOS 476498 HAS SOPS 469323 HAS SOUS 191992 HAS SOUPS 190636 WITH SCORE 191112.498
AT ITER 9896 NEW BEST:: SOT 898307 SOS 476433 HAS SOPS 469351 HAS SOUS 191906 HAS SOUPS 190550 WITH SCORE 191026.433
AT ITER 9917 NEW BEST:: SOT 898189 SOS 476359 HAS SOPS 469277 HAS SOUS 191714 HAS SOUPS 190358 WITH SCORE 190834.359
AT ITER 9935 NEW BEST:: SOT 898201 SOS 476335 HAS SOPS 469253 HAS SOUS 191702 HAS SOUPS 190346 WITH SCORE 190822.335
AT ITER 9951 NEW BEST:: SOT 898132 SOS 476305 HAS SOPS 469223 HAS SOUS 191618 HAS SOUPS 190262 WITH SCORE 190738.305
AT ITER 9986 NEW BEST:: SOT 898113 SOS 476267 HAS SOPS 469185 HAS SOUS 191574 HAS SOUPS 190218 WITH SCORE 190694.267
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11921192 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16131848 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="PolyORBLF-COL-S04J06T08"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-COL-S04J06T08, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942900432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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