Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.8K Apr 12 05:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 12 05:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 33K Apr 11 05:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 119K Apr 11 05:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 10 12:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 10 12:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 214K Apr 9 18:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 685K Apr 9 18:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589646150141

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T06
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 700 places, 10740 transitions, 89778 arcs.
AT ITER 0 NEW BEST:: SOT 4938061 SOS 2871192 HAS SOPS 2858779 HAS SOUS 526712 HAS SOUPS 526044 WITH SCORE 528915.192
AT ITER 7 NEW BEST:: SOT 4937875 SOS 2870861 HAS SOPS 2858448 HAS SOUS 526472 HAS SOUPS 525804 WITH SCORE 528674.861
AT ITER 11 NEW BEST:: SOT 4937756 SOS 2870978 HAS SOPS 2858704 HAS SOUS 526119 HAS SOUPS 525451 WITH SCORE 528321.978
AT ITER 22 NEW BEST:: SOT 4937674 SOS 2871219 HAS SOPS 2858926 HAS SOUS 525981 HAS SOUPS 525313 WITH SCORE 528184.219
AT ITER 48 NEW BEST:: SOT 4937618 SOS 2871154 HAS SOPS 2858968 HAS SOUS 525976 HAS SOUPS 525308 WITH SCORE 528179.154
AT ITER 50 NEW BEST:: SOT 4936078 SOS 2869661 HAS SOPS 2857475 HAS SOUS 524481 HAS SOUPS 523813 WITH SCORE 526682.661
AT ITER 54 NEW BEST:: SOT 4935415 SOS 2869121 HAS SOPS 2856935 HAS SOUS 523920 HAS SOUPS 523252 WITH SCORE 526121.121
AT ITER 60 NEW BEST:: SOT 4935388 SOS 2869067 HAS SOPS 2856881 HAS SOUS 523866 HAS SOUPS 523198 WITH SCORE 526067.067
AT ITER 65 NEW BEST:: SOT 4934320 SOS 2868121 HAS SOPS 2855935 HAS SOUS 522920 HAS SOUPS 522252 WITH SCORE 525120.121
AT ITER 66 NEW BEST:: SOT 4934217 SOS 2868018 HAS SOPS 2855729 HAS SOUS 522782 HAS SOUPS 522082 WITH SCORE 524950.018
AT ITER 77 NEW BEST:: SOT 4933572 SOS 2867169 HAS SOPS 2854880 HAS SOUS 522122 HAS SOUPS 521422 WITH SCORE 524289.169
AT ITER 79 NEW BEST:: SOT 4932350 SOS 2866160 HAS SOPS 2853871 HAS SOUS 521348 HAS SOUPS 520648 WITH SCORE 523514.16
AT ITER 84 NEW BEST:: SOT 4932371 SOS 2866069 HAS SOPS 2853780 HAS SOUS 521257 HAS SOUPS 520557 WITH SCORE 523423.069
AT ITER 97 NEW BEST:: SOT 4931961 SOS 2865659 HAS SOPS 2853370 HAS SOUS 520929 HAS SOUPS 520229 WITH SCORE 523094.659
AT ITER 102 NEW BEST:: SOT 4931995 SOS 2865761 HAS SOPS 2853472 HAS SOUS 520911 HAS SOUPS 520211 WITH SCORE 523076.761
AT ITER 105 NEW BEST:: SOT 4932062 SOS 2865842 HAS SOPS 2853553 HAS SOUS 520675 HAS SOUPS 519975 WITH SCORE 522840.842
AT ITER 125 NEW BEST:: SOT 4931580 SOS 2865385 HAS SOPS 2853096 HAS SOUS 520029 HAS SOUPS 519329 WITH SCORE 522194.385
AT ITER 129 NEW BEST:: SOT 4931580 SOS 2865937 HAS SOPS 2853648 HAS SOUS 519044 HAS SOUPS 518344 WITH SCORE 521209.937
AT ITER 131 NEW BEST:: SOT 4931556 SOS 2866097 HAS SOPS 2853808 HAS SOUS 518938 HAS SOUPS 518238 WITH SCORE 521104.097
AT ITER 135 NEW BEST:: SOT 4931389 SOS 2862735 HAS SOPS 2850446 HAS SOUS 518929 HAS SOUPS 518229 WITH SCORE 521091.735
AT ITER 149 NEW BEST:: SOT 4673071 SOS 2604417 HAS SOPS 2592128 HAS SOUS 484289 HAS SOUPS 483589 WITH SCORE 486193.417
AT ITER 150 NEW BEST:: SOT 4672627 SOS 2604047 HAS SOPS 2591758 HAS SOUS 483458 HAS SOUPS 482758 WITH SCORE 485362.047
AT ITER 157 NEW BEST:: SOT 4672615 SOS 2603886 HAS SOPS 2591760 HAS SOUS 483387 HAS SOUPS 482687 WITH SCORE 485290.886
AT ITER 165 NEW BEST:: SOT 4671836 SOS 2603262 HAS SOPS 2591136 HAS SOUS 482713 HAS SOUPS 482013 WITH SCORE 484616.262
AT ITER 168 NEW BEST:: SOT 4671583 SOS 2603490 HAS SOPS 2591494 HAS SOUS 482623 HAS SOUPS 481928 WITH SCORE 484531.49
AT ITER 181 NEW BEST:: SOT 4671134 SOS 2603137 HAS SOPS 2591141 HAS SOUS 482270 HAS SOUPS 481575 WITH SCORE 484178.137
AT ITER 200 NEW BEST:: SOT 4671262 SOS 2603406 HAS SOPS 2591410 HAS SOUS 481432 HAS SOUPS 480737 WITH SCORE 483340.406
AT ITER 213 NEW BEST:: SOT 4670719 SOS 2602977 HAS SOPS 2590981 HAS SOUS 480811 HAS SOUPS 480116 WITH SCORE 482718.977
AT ITER 220 NEW BEST:: SOT 4469644 SOS 2402134 HAS SOPS 2390138 HAS SOUS 451717 HAS SOUPS 451022 WITH SCORE 453424.134
AT ITER 222 NEW BEST:: SOT 4099482 SOS 2071092 HAS SOPS 2059096 HAS SOUS 407493 HAS SOUPS 406798 WITH SCORE 408869.092
AT ITER 228 NEW BEST:: SOT 4098771 SOS 2070509 HAS SOPS 2058513 HAS SOUS 406868 HAS SOUPS 406173 WITH SCORE 408243.509
AT ITER 238 NEW BEST:: SOT 4098735 SOS 2070473 HAS SOPS 2058477 HAS SOUS 406829 HAS SOUPS 406134 WITH SCORE 408204.473
AT ITER 245 NEW BEST:: SOT 4098663 SOS 2070401 HAS SOPS 2058382 HAS SOUS 406806 HAS SOUPS 406111 WITH SCORE 408181.401
AT ITER 266 NEW BEST:: SOT 4098135 SOS 2069967 HAS SOPS 2057948 HAS SOUS 406284 HAS SOUPS 405589 WITH SCORE 407658.967
AT ITER 274 NEW BEST:: SOT 4098135 SOS 2069811 HAS SOPS 2057792 HAS SOUS 406284 HAS SOUPS 405589 WITH SCORE 407658.811
AT ITER 277 NEW BEST:: SOT 4097897 SOS 2069708 HAS SOPS 2057689 HAS SOUS 406258 HAS SOUPS 405563 WITH SCORE 407632.708
AT ITER 278 NEW BEST:: SOT 4097825 SOS 2069636 HAS SOPS 2057611 HAS SOUS 406186 HAS SOUPS 405485 WITH SCORE 407554.636
AT ITER 288 NEW BEST:: SOT 4097811 SOS 2069622 HAS SOPS 2057597 HAS SOUS 406171 HAS SOUPS 405470 WITH SCORE 407539.622
AT ITER 299 NEW BEST:: SOT 4095908 SOS 2068618 HAS SOPS 2055936 HAS SOUS 404413 HAS SOUPS 403567 WITH SCORE 405635.618
AT ITER 313 NEW BEST:: SOT 4096552 SOS 2070486 HAS SOPS 2057804 HAS SOUS 404020 HAS SOUPS 403174 WITH SCORE 405244.486
AT ITER 325 NEW BEST:: SOT 4096385 SOS 2070243 HAS SOPS 2057561 HAS SOUS 403697 HAS SOUPS 402851 WITH SCORE 404921.243
AT ITER 328 NEW BEST:: SOT 4096100 SOS 2070015 HAS SOPS 2057333 HAS SOUS 402671 HAS SOUPS 401825 WITH SCORE 403895.015
AT ITER 334 NEW BEST:: SOT 4093622 SOS 2067748 HAS SOPS 2055066 HAS SOUS 402349 HAS SOUPS 401503 WITH SCORE 403570.748
AT ITER 335 NEW BEST:: SOT 3909896 SOS 1884161 HAS SOPS 1871479 HAS SOUS 377739 HAS SOUPS 376893 WITH SCORE 378777.161
AT ITER 336 NEW BEST:: SOT 3907860 SOS 1882230 HAS SOPS 1869548 HAS SOUS 376702 HAS SOUPS 375856 WITH SCORE 377738.23
AT ITER 344 NEW BEST:: SOT 3907900 SOS 1882450 HAS SOPS 1869768 HAS SOUS 376232 HAS SOUPS 375386 WITH SCORE 377268.45
AT ITER 349 NEW BEST:: SOT 3907349 SOS 1882030 HAS SOPS 1869348 HAS SOUS 375654 HAS SOUPS 374808 WITH SCORE 376690.03
AT ITER 356 NEW BEST:: SOT 3907349 SOS 1882030 HAS SOPS 1869348 HAS SOUS 375646 HAS SOUPS 374800 WITH SCORE 376682.03
AT ITER 363 NEW BEST:: SOT 3907201 SOS 1881971 HAS SOPS 1869289 HAS SOUS 375625 HAS SOUPS 374779 WITH SCORE 376660.971
AT ITER 367 NEW BEST:: SOT 3906389 SOS 1881387 HAS SOPS 1868705 HAS SOUS 375468 HAS SOUPS 374622 WITH SCORE 376503.387
AT ITER 369 NEW BEST:: SOT 3905391 SOS 1880603 HAS SOPS 1867921 HAS SOUS 373948 HAS SOUPS 373102 WITH SCORE 374982.603
AT ITER 392 NEW BEST:: SOT 3905391 SOS 1880603 HAS SOPS 1867921 HAS SOUS 373944 HAS SOUPS 373098 WITH SCORE 374978.603
AT ITER 396 NEW BEST:: SOT 3905337 SOS 1880605 HAS SOPS 1868070 HAS SOUS 373931 HAS SOUPS 373085 WITH SCORE 374965.605
AT ITER 406 NEW BEST:: SOT 3905190 SOS 1880302 HAS SOPS 1867923 HAS SOUS 373705 HAS SOUPS 372885 WITH SCORE 374765.302
AT ITER 421 NEW BEST:: SOT 3905206 SOS 1880335 HAS SOPS 1867956 HAS SOUS 373382 HAS SOUPS 372562 WITH SCORE 374442.335
AT ITER 441 NEW BEST:: SOT 3904807 SOS 1881427 HAS SOPS 1869048 HAS SOUS 373154 HAS SOUPS 372334 WITH SCORE 374215.427
AT ITER 443 NEW BEST:: SOT 3904616 SOS 1881253 HAS SOPS 1868874 HAS SOUS 373021 HAS SOUPS 372201 WITH SCORE 374082.253
AT ITER 450 NEW BEST:: SOT 3904496 SOS 1881145 HAS SOPS 1868766 HAS SOUS 372913 HAS SOUPS 372093 WITH SCORE 373974.145
AT ITER 458 NEW BEST:: SOT 3904271 SOS 1880949 HAS SOPS 1868570 HAS SOUS 372715 HAS SOUPS 371895 WITH SCORE 373775.949
AT ITER 462 NEW BEST:: SOT 3903907 SOS 1880653 HAS SOPS 1868274 HAS SOUS 372343 HAS SOUPS 371523 WITH SCORE 373403.653
AT ITER 472 NEW BEST:: SOT 3857253 SOS 1914213 HAS SOPS 1901834 HAS SOUS 371729 HAS SOUPS 370909 WITH SCORE 372823.213
AT ITER 478 NEW BEST:: SOT 3857224 SOS 1914143 HAS SOPS 1901764 HAS SOUS 371659 HAS SOUPS 370839 WITH SCORE 372753.143
AT ITER 487 NEW BEST:: SOT 3856990 SOS 1913909 HAS SOPS 1901530 HAS SOUS 371395 HAS SOUPS 370575 WITH SCORE 372488.909
AT ITER 502 NEW BEST:: SOT 3857005 SOS 1913996 HAS SOPS 1901617 HAS SOUS 371272 HAS SOUPS 370452 WITH SCORE 372365.996
AT ITER 505 NEW BEST:: SOT 3857007 SOS 1913956 HAS SOPS 1901577 HAS SOUS 371158 HAS SOUPS 370338 WITH SCORE 372251.956
AT ITER 508 NEW BEST:: SOT 3856935 SOS 1913884 HAS SOPS 1901483 HAS SOUS 371139 HAS SOUPS 370316 WITH SCORE 372229.884
AT ITER 518 NEW BEST:: SOT 3856720 SOS 1913572 HAS SOPS 1901346 HAS SOUS 371062 HAS SOUPS 370239 WITH SCORE 372152.572
AT ITER 520 NEW BEST:: SOT 3856774 SOS 1913680 HAS SOPS 1901454 HAS SOUS 370986 HAS SOUPS 370163 WITH SCORE 372076.68
AT ITER 526 NEW BEST:: SOT 3856480 SOS 1913386 HAS SOPS 1901160 HAS SOUS 370692 HAS SOUPS 369869 WITH SCORE 371782.386
AT ITER 532 NEW BEST:: SOT 3856468 SOS 1913374 HAS SOPS 1901148 HAS SOUS 370680 HAS SOUPS 369857 WITH SCORE 371770.374
AT ITER 533 NEW BEST:: SOT 3856545 SOS 1913711 HAS SOPS 1901485 HAS SOUS 370295 HAS SOUPS 369472 WITH SCORE 371385.711
AT ITER 542 NEW BEST:: SOT 3856089 SOS 1913339 HAS SOPS 1901113 HAS SOUS 369911 HAS SOUPS 369088 WITH SCORE 371001.339
AT ITER 545 NEW BEST:: SOT 3755328 SOS 1933277 HAS SOPS 1921051 HAS SOUS 362380 HAS SOUPS 361557 WITH SCORE 363490.277
AT ITER 549 NEW BEST:: SOT 3755320 SOS 1933269 HAS SOPS 1921043 HAS SOUS 362372 HAS SOUPS 361549 WITH SCORE 363482.269
AT ITER 551 NEW BEST:: SOT 3755385 SOS 1933262 HAS SOPS 1921036 HAS SOUS 360967 HAS SOUPS 360144 WITH SCORE 362077.262
AT ITER 559 NEW BEST:: SOT 3755373 SOS 1933250 HAS SOPS 1921030 HAS SOUS 360957 HAS SOUPS 360134 WITH SCORE 362067.25
AT ITER 565 NEW BEST:: SOT 3755324 SOS 1932874 HAS SOPS 1920768 HAS SOUS 360901 HAS SOUPS 360097 WITH SCORE 362029.874
AT ITER 568 NEW BEST:: SOT 3755325 SOS 1933070 HAS SOPS 1920927 HAS SOUS 360886 HAS SOUPS 360082 WITH SCORE 362015.07
AT ITER 569 NEW BEST:: SOT 3755236 SOS 1933345 HAS SOPS 1921389 HAS SOUS 359642 HAS SOUPS 358838 WITH SCORE 360771.345
AT ITER 588 NEW BEST:: SOT 3754998 SOS 1933155 HAS SOPS 1921426 HAS SOUS 359521 HAS SOUPS 358717 WITH SCORE 360650.155
AT ITER 594 NEW BEST:: SOT 3754125 SOS 1932513 HAS SOPS 1920784 HAS SOUS 358298 HAS SOUPS 357494 WITH SCORE 359426.513
AT ITER 599 NEW BEST:: SOT 3754019 SOS 1932409 HAS SOPS 1920680 HAS SOUS 358200 HAS SOUPS 357396 WITH SCORE 359328.409
AT ITER 605 NEW BEST:: SOT 3577164 SOS 1890959 HAS SOPS 1879230 HAS SOUS 344332 HAS SOUPS 343528 WITH SCORE 345418.959
AT ITER 613 NEW BEST:: SOT 3577056 SOS 1890810 HAS SOPS 1879081 HAS SOUS 344170 HAS SOUPS 343366 WITH SCORE 345256.81
AT ITER 615 NEW BEST:: SOT 3576898 SOS 1890686 HAS SOPS 1878957 HAS SOUS 343757 HAS SOUPS 342953 WITH SCORE 344843.686
AT ITER 637 NEW BEST:: SOT 3576324 SOS 1889980 HAS SOPS 1878251 HAS SOUS 342952 HAS SOUPS 342148 WITH SCORE 344037.98
AT ITER 648 NEW BEST:: SOT 3576034 SOS 1889728 HAS SOPS 1877999 HAS SOUS 342805 HAS SOUPS 342001 WITH SCORE 343890.728
AT ITER 654 NEW BEST:: SOT 3575742 SOS 1889550 HAS SOPS 1877821 HAS SOUS 342211 HAS SOUPS 341407 WITH SCORE 343296.55
AT ITER 668 NEW BEST:: SOT 3575507 SOS 1889445 HAS SOPS 1877716 HAS SOUS 341741 HAS SOUPS 340937 WITH SCORE 342826.445
AT ITER 671 NEW BEST:: SOT 3575490 SOS 1889411 HAS SOPS 1877682 HAS SOUS 341707 HAS SOUPS 340903 WITH SCORE 342792.411
AT ITER 686 NEW BEST:: SOT 3575133 SOS 1889279 HAS SOPS 1877550 HAS SOUS 341578 HAS SOUPS 340774 WITH SCORE 342663.279
AT ITER 689 NEW BEST:: SOT 3575133 SOS 1889327 HAS SOPS 1877598 HAS SOUS 341566 HAS SOUPS 340762 WITH SCORE 342651.327
AT ITER 700 NEW BEST:: SOT 3575133 SOS 1889327 HAS SOPS 1877598 HAS SOUS 341563 HAS SOUPS 340759 WITH SCORE 342648.327
AT ITER 711 NEW BEST:: SOT 3575157 SOS 1889383 HAS SOPS 1877298 HAS SOUS 341525 HAS SOUPS 340721 WITH SCORE 342610.383
AT ITER 716 NEW BEST:: SOT 3575031 SOS 1889254 HAS SOPS 1877169 HAS SOUS 341393 HAS SOUPS 340589 WITH SCORE 342478.254
AT ITER 742 NEW BEST:: SOT 3574617 SOS 1888718 HAS SOPS 1876633 HAS SOUS 340986 HAS SOUPS 340182 WITH SCORE 342070.718
AT ITER 753 NEW BEST:: SOT 3574856 SOS 1888988 HAS SOPS 1876681 HAS SOUS 340968 HAS SOUPS 340142 WITH SCORE 342030.988
AT ITER 755 NEW BEST:: SOT 3574820 SOS 1888946 HAS SOPS 1876639 HAS SOUS 340926 HAS SOUPS 340100 WITH SCORE 341988.946
AT ITER 761 NEW BEST:: SOT 3574814 SOS 1888941 HAS SOPS 1876634 HAS SOUS 340920 HAS SOUPS 340094 WITH SCORE 341982.941
AT ITER 783 NEW BEST:: SOT 3574478 SOS 1888509 HAS SOPS 1876202 HAS SOUS 340795 HAS SOUPS 339969 WITH SCORE 341857.509
AT ITER 788 NEW BEST:: SOT 3574193 SOS 1888307 HAS SOPS 1876000 HAS SOUS 340677 HAS SOUPS 339851 WITH SCORE 341739.307
AT ITER 791 NEW BEST:: SOT 3573134 SOS 1892405 HAS SOPS 1880098 HAS SOUS 339685 HAS SOUPS 338859 WITH SCORE 340751.405
AT ITER 796 NEW BEST:: SOT 3569732 SOS 1889026 HAS SOPS 1876719 HAS SOUS 338968 HAS SOUPS 338142 WITH SCORE 340031.026
AT ITER 816 NEW BEST:: SOT 3569237 SOS 1888503 HAS SOPS 1876196 HAS SOUS 338713 HAS SOUPS 337887 WITH SCORE 339775.503
AT ITER 820 NEW BEST:: SOT 3569197 SOS 1888423 HAS SOPS 1876116 HAS SOUS 338633 HAS SOUPS 337807 WITH SCORE 339695.423
AT ITER 826 NEW BEST:: SOT 3569235 SOS 1889518 HAS SOPS 1877280 HAS SOUS 337889 HAS SOUPS 337070 WITH SCORE 338959.518
AT ITER 831 NEW BEST:: SOT 3569212 SOS 1889495 HAS SOPS 1877257 HAS SOUS 337866 HAS SOUPS 337047 WITH SCORE 338936.495
AT ITER 833 NEW BEST:: SOT 3569228 SOS 1889511 HAS SOPS 1877273 HAS SOUS 337850 HAS SOUPS 337031 WITH SCORE 338920.511
AT ITER 841 NEW BEST:: SOT 3568522 SOS 1888917 HAS SOPS 1876679 HAS SOUS 337174 HAS SOUPS 336355 WITH SCORE 338243.917
AT ITER 868 NEW BEST:: SOT 3568545 SOS 1888940 HAS SOPS 1876601 HAS SOUS 337191 HAS SOUPS 336347 WITH SCORE 338235.94
AT ITER 879 NEW BEST:: SOT 3573824 SOS 1803924 HAS SOPS 1791585 HAS SOUS 335594 HAS SOUPS 334750 WITH SCORE 336553.924
AT ITER 900 NEW BEST:: SOT 3573758 SOS 1803858 HAS SOPS 1791486 HAS SOUS 335561 HAS SOUPS 334717 WITH SCORE 336520.858
AT ITER 907 NEW BEST:: SOT 3575209 SOS 1805391 HAS SOPS 1793019 HAS SOUS 334691 HAS SOUPS 333847 WITH SCORE 335652.391
AT ITER 908 NEW BEST:: SOT 3575177 SOS 1805359 HAS SOPS 1792987 HAS SOUS 334659 HAS SOUPS 333815 WITH SCORE 335620.359
AT ITER 912 NEW BEST:: SOT 3574812 SOS 1805122 HAS SOPS 1792750 HAS SOUS 334553 HAS SOUPS 333709 WITH SCORE 335514.122
AT ITER 927 NEW BEST:: SOT 3575313 SOS 1805746 HAS SOPS 1793374 HAS SOUS 334084 HAS SOUPS 333240 WITH SCORE 335045.746
AT ITER 929 NEW BEST:: SOT 3575215 SOS 1805648 HAS SOPS 1793276 HAS SOUS 334029 HAS SOUPS 333185 WITH SCORE 334990.648
AT ITER 941 NEW BEST:: SOT 3575215 SOS 1804849 HAS SOPS 1792477 HAS SOUS 334006 HAS SOUPS 333162 WITH SCORE 334966.849
AT ITER 950 NEW BEST:: SOT 3575195 SOS 1804779 HAS SOPS 1792047 HAS SOUS 334006 HAS SOUPS 333102 WITH SCORE 334906.779
AT ITER 951 NEW BEST:: SOT 3576045 SOS 1805700 HAS SOPS 1793117 HAS SOUS 333642 HAS SOUPS 332738 WITH SCORE 334543.7
AT ITER 956 NEW BEST:: SOT 3575964 SOS 1805692 HAS SOPS 1793109 HAS SOUS 333634 HAS SOUPS 332730 WITH SCORE 334535.692
AT ITER 962 NEW BEST:: SOT 3575438 SOS 1805166 HAS SOPS 1792577 HAS SOUS 333401 HAS SOUPS 332495 WITH SCORE 334300.166
AT ITER 974 NEW BEST:: SOT 3575438 SOS 1805166 HAS SOPS 1792577 HAS SOUS 333388 HAS SOUPS 332482 WITH SCORE 334287.166
AT ITER 997 NEW BEST:: SOT 3575189 SOS 1805033 HAS SOPS 1792444 HAS SOUS 333322 HAS SOUPS 332416 WITH SCORE 334221.033
AT ITER 1001 NEW BEST:: SOT 3575124 SOS 1804983 HAS SOPS 1792394 HAS SOUS 333287 HAS SOUPS 332381 WITH SCORE 334185.983
AT ITER 1005 NEW BEST:: SOT 3575124 SOS 1804983 HAS SOPS 1792494 HAS SOUS 333243 HAS SOUPS 332334 WITH SCORE 334138.983
AT ITER 1012 NEW BEST:: SOT 3575137 SOS 1804971 HAS SOPS 1792482 HAS SOUS 333231 HAS SOUPS 332322 WITH SCORE 334126.971
AT ITER 1014 NEW BEST:: SOT 3575121 SOS 1804955 HAS SOPS 1792466 HAS SOUS 333151 HAS SOUPS 332242 WITH SCORE 334046.955
AT ITER 1019 NEW BEST:: SOT 3575109 SOS 1804943 HAS SOPS 1792454 HAS SOUS 333091 HAS SOUPS 332182 WITH SCORE 333986.943
AT ITER 1022 NEW BEST:: SOT 3575027 SOS 1804808 HAS SOPS 1792319 HAS SOUS 332986 HAS SOUPS 332077 WITH SCORE 333881.808
AT ITER 1051 NEW BEST:: SOT 3575023 SOS 1804804 HAS SOPS 1792317 HAS SOUS 332986 HAS SOUPS 332077 WITH SCORE 333881.804
AT ITER 1052 NEW BEST:: SOT 3574840 SOS 1804755 HAS SOPS 1792262 HAS SOUS 332703 HAS SOUPS 331794 WITH SCORE 333598.755
AT ITER 1054 NEW BEST:: SOT 3573807 SOS 1803722 HAS SOPS 1791229 HAS SOUS 331554 HAS SOUPS 330645 WITH SCORE 332448.722
AT ITER 1070 NEW BEST:: SOT 3573848 SOS 1803865 HAS SOPS 1791372 HAS SOUS 331493 HAS SOUPS 330584 WITH SCORE 332387.865
AT ITER 1080 NEW BEST:: SOT 3573841 SOS 1803858 HAS SOPS 1791358 HAS SOUS 331480 HAS SOUPS 330571 WITH SCORE 332374.858
AT ITER 1097 NEW BEST:: SOT 3573811 SOS 1803828 HAS SOPS 1791328 HAS SOUS 331342 HAS SOUPS 330433 WITH SCORE 332236.828
AT ITER 1112 NEW BEST:: SOT 3573480 SOS 1803625 HAS SOPS 1791125 HAS SOUS 331294 HAS SOUPS 330385 WITH SCORE 332188.625
AT ITER 1116 NEW BEST:: SOT 3573480 SOS 1791863 HAS SOPS 1779363 HAS SOUS 331278 HAS SOUPS 330369 WITH SCORE 332160.863
AT ITER 1130 NEW BEST:: SOT 3573266 SOS 1791649 HAS SOPS 1779149 HAS SOUS 329841 HAS SOUPS 328932 WITH SCORE 330723.649
AT ITER 1133 NEW BEST:: SOT 3573229 SOS 1791863 HAS SOPS 1779363 HAS SOUS 329822 HAS SOUPS 328913 WITH SCORE 330704.863
AT ITER 1153 NEW BEST:: SOT 3573213 SOS 1791847 HAS SOPS 1779347 HAS SOUS 329806 HAS SOUPS 328897 WITH SCORE 330688.847
AT ITER 1164 NEW BEST:: SOT 3573691 SOS 1792637 HAS SOPS 1780137 HAS SOUS 329803 HAS SOUPS 328894 WITH SCORE 330686.637
AT ITER 1171 NEW BEST:: SOT 3574090 SOS 1793036 HAS SOPS 1780536 HAS SOUS 327510 HAS SOUPS 326601 WITH SCORE 328394.036
AT ITER 1177 NEW BEST:: SOT 3574042 SOS 1792939 HAS SOPS 1780439 HAS SOUS 327425 HAS SOUPS 326516 WITH SCORE 328308.939
AT ITER 1188 NEW BEST:: SOT 3574107 SOS 1794011 HAS SOPS 1781514 HAS SOUS 326915 HAS SOUPS 326006 WITH SCORE 327800.011
AT ITER 1206 NEW BEST:: SOT 3574102 SOS 1794006 HAS SOPS 1781509 HAS SOUS 326910 HAS SOUPS 326001 WITH SCORE 327795.006
AT ITER 1209 NEW BEST:: SOT 3574102 SOS 1792785 HAS SOPS 1780288 HAS SOUS 326910 HAS SOUPS 326001 WITH SCORE 327793.785
AT ITER 1210 NEW BEST:: SOT 3576083 SOS 1794888 HAS SOPS 1782445 HAS SOUS 326835 HAS SOUPS 325926 WITH SCORE 327720.888
AT ITER 1222 NEW BEST:: SOT 3566970 SOS 1801245 HAS SOPS 1796027 HAS SOUS 320342 HAS SOUPS 319658 WITH SCORE 321459.245
AT ITER 1225 NEW BEST:: SOT 3566965 SOS 1801196 HAS SOPS 1795978 HAS SOUS 320332 HAS SOUPS 319648 WITH SCORE 321449.196
AT ITER 1245 NEW BEST:: SOT 3581117 SOS 1815138 HAS SOPS 1810130 HAS SOUS 318915 HAS SOUPS 318266 WITH SCORE 320081.138
AT ITER 1253 NEW BEST:: SOT 3580844 SOS 1814795 HAS SOPS 1809787 HAS SOUS 318700 HAS SOUPS 318051 WITH SCORE 319865.795
AT ITER 1256 NEW BEST:: SOT 3580844 SOS 1814795 HAS SOPS 1809787 HAS SOUS 318693 HAS SOUPS 318044 WITH SCORE 319858.795
AT ITER 1266 NEW BEST:: SOT 3580844 SOS 1811977 HAS SOPS 1806969 HAS SOUS 318690 HAS SOUPS 318041 WITH SCORE 319852.977
AT ITER 1268 NEW BEST:: SOT 3580776 SOS 1811943 HAS SOPS 1806935 HAS SOUS 318664 HAS SOUPS 318015 WITH SCORE 319826.943
AT ITER 1272 NEW BEST:: SOT 3580699 SOS 1811688 HAS SOPS 1806680 HAS SOUS 318662 HAS SOUPS 318013 WITH SCORE 319824.688
AT ITER 1278 NEW BEST:: SOT 3580835 SOS 1811824 HAS SOPS 1806816 HAS SOUS 318522 HAS SOUPS 317873 WITH SCORE 319684.824
AT ITER 1285 NEW BEST:: SOT 3580820 SOS 1811809 HAS SOPS 1806765 HAS SOUS 318413 HAS SOUPS 317764 WITH SCORE 319575.809
AT ITER 1291 NEW BEST:: SOT 3580812 SOS 1811794 HAS SOPS 1806750 HAS SOUS 318390 HAS SOUPS 317741 WITH SCORE 319552.794
AT ITER 1295 NEW BEST:: SOT 3580539 SOS 1811608 HAS SOPS 1806564 HAS SOUS 318054 HAS SOUPS 317405 WITH SCORE 319216.608
AT ITER 1306 NEW BEST:: SOT 3580393 SOS 1811326 HAS SOPS 1806382 HAS SOUS 318050 HAS SOUPS 317401 WITH SCORE 319212.326
AT ITER 1309 NEW BEST:: SOT 3580339 SOS 1811223 HAS SOPS 1806279 HAS SOUS 317642 HAS SOUPS 316993 WITH SCORE 318804.223
AT ITER 1318 NEW BEST:: SOT 3580284 SOS 1811162 HAS SOPS 1806218 HAS SOUS 317563 HAS SOUPS 316914 WITH SCORE 318725.162
AT ITER 1325 NEW BEST:: SOT 3580233 SOS 1811111 HAS SOPS 1806167 HAS SOUS 317491 HAS SOUPS 316842 WITH SCORE 318653.111
AT ITER 1350 NEW BEST:: SOT 3580222 SOS 1811094 HAS SOPS 1806150 HAS SOUS 317457 HAS SOUPS 316808 WITH SCORE 318619.094
AT ITER 1354 NEW BEST:: SOT 3579876 SOS 1810560 HAS SOPS 1805616 HAS SOUS 316950 HAS SOUPS 316301 WITH SCORE 318111.56
AT ITER 1357 NEW BEST:: SOT 3579717 SOS 1810481 HAS SOPS 1805616 HAS SOUS 316873 HAS SOUPS 316224 WITH SCORE 318034.481
AT ITER 1366 NEW BEST:: SOT 3579361 SOS 1810057 HAS SOPS 1805192 HAS SOUS 316396 HAS SOUPS 315747 WITH SCORE 317557.057
AT ITER 1367 NEW BEST:: SOT 3579177 SOS 1809698 HAS SOPS 1804948 HAS SOUS 316299 HAS SOUPS 315650 WITH SCORE 317459.698
AT ITER 1368 NEW BEST:: SOT 3579006 SOS 1809527 HAS SOPS 1804777 HAS SOUS 316025 HAS SOUPS 315376 WITH SCORE 317185.527
AT ITER 1374 NEW BEST:: SOT 3580169 SOS 1810672 HAS SOPS 1805940 HAS SOUS 315950 HAS SOUPS 315304 WITH SCORE 317114.672
AT ITER 1390 NEW BEST:: SOT 3580187 SOS 1810501 HAS SOPS 1805786 HAS SOUS 315950 HAS SOUPS 315304 WITH SCORE 317114.501
AT ITER 1404 NEW BEST:: SOT 3580074 SOS 1810388 HAS SOPS 1805673 HAS SOUS 315724 HAS SOUPS 315078 WITH SCORE 316888.388
AT ITER 1406 NEW BEST:: SOT 3579672 SOS 1810043 HAS SOPS 1805328 HAS SOUS 315652 HAS SOUPS 315006 WITH SCORE 316816.043
AT ITER 1411 NEW BEST:: SOT 3547671 SOS 1778087 HAS SOPS 1773372 HAS SOUS 310207 HAS SOUPS 309561 WITH SCORE 311339.087
AT ITER 1416 NEW BEST:: SOT 3547610 SOS 1777942 HAS SOPS 1773227 HAS SOUS 309986 HAS SOUPS 309340 WITH SCORE 311117.942
AT ITER 1419 NEW BEST:: SOT 3547288 SOS 1777710 HAS SOPS 1772995 HAS SOUS 309942 HAS SOUPS 309296 WITH SCORE 311073.71
AT ITER 1420 NEW BEST:: SOT 3547297 SOS 1777484 HAS SOPS 1772769 HAS SOUS 309855 HAS SOUPS 309209 WITH SCORE 310986.484
AT ITER 1423 NEW BEST:: SOT 3546163 SOS 1776223 HAS SOPS 1771508 HAS SOUS 308594 HAS SOUPS 307948 WITH SCORE 309724.223
AT ITER 1433 NEW BEST:: SOT 3546182 SOS 1776242 HAS SOPS 1771491 HAS SOUS 308525 HAS SOUPS 307876 WITH SCORE 309652.242
AT ITER 1435 NEW BEST:: SOT 3546183 SOS 1763031 HAS SOPS 1756122 HAS SOUS 308430 HAS SOUPS 307731 WITH SCORE 309494.031
AT ITER 1443 NEW BEST:: SOT 3546177 SOS 1763019 HAS SOPS 1756110 HAS SOUS 308418 HAS SOUPS 307719 WITH SCORE 309482.019
AT ITER 1456 NEW BEST:: SOT 3546144 SOS 1762953 HAS SOPS 1756044 HAS SOUS 308352 HAS SOUPS 307653 WITH SCORE 309415.953
AT ITER 1472 NEW BEST:: SOT 3545591 SOS 1762693 HAS SOPS 1755784 HAS SOUS 308240 HAS SOUPS 307541 WITH SCORE 309303.693
AT ITER 1499 NEW BEST:: SOT 3545603 SOS 1762689 HAS SOPS 1755780 HAS SOUS 308188 HAS SOUPS 307489 WITH SCORE 309251.689
AT ITER 1503 NEW BEST:: SOT 3464551 SOS 1681807 HAS SOPS 1674898 HAS SOUS 295687 HAS SOUPS 294988 WITH SCORE 296669.807
AT ITER 1504 NEW BEST:: SOT 3440068 SOS 1697604 HAS SOPS 1690695 HAS SOUS 295442 HAS SOUPS 294743 WITH SCORE 296440.604
AT ITER 1505 NEW BEST:: SOT 3440068 SOS 1657275 HAS SOPS 1650366 HAS SOUS 294900 HAS SOUPS 294201 WITH SCORE 295858.275
AT ITER 1510 NEW BEST:: SOT 3439708 SOS 1656915 HAS SOPS 1650006 HAS SOUS 294540 HAS SOUPS 293841 WITH SCORE 295497.915
AT ITER 1530 NEW BEST:: SOT 3439153 SOS 1656175 HAS SOPS 1649266 HAS SOUS 294110 HAS SOUPS 293411 WITH SCORE 295067.175
AT ITER 1532 NEW BEST:: SOT 3438814 SOS 1655791 HAS SOPS 1648882 HAS SOUS 293726 HAS SOUPS 293027 WITH SCORE 294682.791
AT ITER 1547 NEW BEST:: SOT 3438540 SOS 1655593 HAS SOPS 1648684 HAS SOUS 293718 HAS SOUPS 293019 WITH SCORE 294674.593
AT ITER 1555 NEW BEST:: SOT 3438439 SOS 1655446 HAS SOPS 1648537 HAS SOUS 293594 HAS SOUPS 292895 WITH SCORE 294550.446
AT ITER 1566 NEW BEST:: SOT 3438041 SOS 1655048 HAS SOPS 1648103 HAS SOUS 293159 HAS SOUPS 292460 WITH SCORE 294115.048
AT ITER 1574 NEW BEST:: SOT 3438032 SOS 1654985 HAS SOPS 1648040 HAS SOUS 293141 HAS SOUPS 292442 WITH SCORE 294096.985
AT ITER 1583 NEW BEST:: SOT 3438035 SOS 1654988 HAS SOPS 1648043 HAS SOUS 293132 HAS SOUPS 292433 WITH SCORE 294087.988
AT ITER 1593 NEW BEST:: SOT 3438014 SOS 1654931 HAS SOPS 1648022 HAS SOUS 292486 HAS SOUPS 291793 WITH SCORE 293447.931
AT ITER 1596 NEW BEST:: SOT 3438011 SOS 1654925 HAS SOPS 1648016 HAS SOUS 292480 HAS SOUPS 291787 WITH SCORE 293441.925
AT ITER 1599 NEW BEST:: SOT 3437965 SOS 1654879 HAS SOPS 1647970 HAS SOUS 292414 HAS SOUPS 291721 WITH SCORE 293375.879
AT ITER 1602 NEW BEST:: SOT 3438102 SOS 1655016 HAS SOPS 1648023 HAS SOUS 292328 HAS SOUPS 291635 WITH SCORE 293290.016
AT ITER 1625 NEW BEST:: SOT 3438338 SOS 1653960 HAS SOPS 1646856 HAS SOUS 292174 HAS SOUPS 291481 WITH SCORE 293134.96
AT ITER 1629 NEW BEST:: SOT 3438338 SOS 1653960 HAS SOPS 1646626 HAS SOUS 292275 HAS SOUPS 291360 WITH SCORE 293013.96
AT ITER 1635 NEW BEST:: SOT 3438325 SOS 1653934 HAS SOPS 1646600 HAS SOUS 292260 HAS SOUPS 291345 WITH SCORE 292998.934
AT ITER 1636 NEW BEST:: SOT 3415784 SOS 1633819 HAS SOPS 1626485 HAS SOUS 291567 HAS SOUPS 290652 WITH SCORE 292285.819
AT ITER 1642 NEW BEST:: SOT 3415784 SOS 1633812 HAS SOPS 1626478 HAS SOUS 291567 HAS SOUPS 290652 WITH SCORE 292285.812
AT ITER 1643 NEW BEST:: SOT 3415706 SOS 1633734 HAS SOPS 1626400 HAS SOUS 291481 HAS SOUPS 290566 WITH SCORE 292199.734
AT ITER 1685 NEW BEST:: SOT 3416111 SOS 1634016 HAS SOPS 1626682 HAS SOUS 291045 HAS SOUPS 290130 WITH SCORE 291764.016
AT ITER 1706 NEW BEST:: SOT 3416109 SOS 1634014 HAS SOPS 1626680 HAS SOUS 291036 HAS SOUPS 290121 WITH SCORE 291755.014
AT ITER 1708 NEW BEST:: SOT 3416103 SOS 1634002 HAS SOPS 1626668 HAS SOUS 291024 HAS SOUPS 290109 WITH SCORE 291743.002
AT ITER 1709 NEW BEST:: SOT 3415930 SOS 1633902 HAS SOPS 1626568 HAS SOUS 290612 HAS SOUPS 289697 WITH SCORE 291330.902
AT ITER 1711 NEW BEST:: SOT 3415923 SOS 1633895 HAS SOPS 1626561 HAS SOUS 290605 HAS SOUPS 289690 WITH SCORE 291323.895
AT ITER 1714 NEW BEST:: SOT 3415832 SOS 1633680 HAS SOPS 1626346 HAS SOUS 290390 HAS SOUPS 289475 WITH SCORE 291108.68
AT ITER 1719 NEW BEST:: SOT 3415780 SOS 1633628 HAS SOPS 1626294 HAS SOUS 290351 HAS SOUPS 289436 WITH SCORE 291069.628
AT ITER 1722 NEW BEST:: SOT 3416377 SOS 1633985 HAS SOPS 1620135 HAS SOUS 291074 HAS SOUPS 289073 WITH SCORE 290706.985
AT ITER 1733 NEW BEST:: SOT 3416161 SOS 1633733 HAS SOPS 1619883 HAS SOUS 290822 HAS SOUPS 288821 WITH SCORE 290454.733
AT ITER 1740 NEW BEST:: SOT 3416013 SOS 1633858 HAS SOPS 1620008 HAS SOUS 290330 HAS SOUPS 288329 WITH SCORE 289962.858
AT ITER 1763 NEW BEST:: SOT 3416050 SOS 1633895 HAS SOPS 1620009 HAS SOUS 290241 HAS SOUPS 288240 WITH SCORE 289873.895
AT ITER 1764 NEW BEST:: SOT 3415866 SOS 1633481 HAS SOPS 1619595 HAS SOUS 290057 HAS SOUPS 288056 WITH SCORE 289689.481
AT ITER 1766 NEW BEST:: SOT 3415622 SOS 1633119 HAS SOPS 1619233 HAS SOUS 289909 HAS SOUPS 287908 WITH SCORE 289541.119
AT ITER 1771 NEW BEST:: SOT 3415620 SOS 1633117 HAS SOPS 1619195 HAS SOUS 289777 HAS SOUPS 287776 WITH SCORE 289409.117
AT ITER 1774 NEW BEST:: SOT 3415611 SOS 1633108 HAS SOPS 1619186 HAS SOUS 289726 HAS SOUPS 287725 WITH SCORE 289358.108
AT ITER 1778 NEW BEST:: SOT 3415639 SOS 1633164 HAS SOPS 1619242 HAS SOUS 289720 HAS SOUPS 287719 WITH SCORE 289352.164
AT ITER 1784 NEW BEST:: SOT 3415310 SOS 1632835 HAS SOPS 1618913 HAS SOUS 287922 HAS SOUPS 285921 WITH SCORE 287553.835
AT ITER 1789 NEW BEST:: SOT 3415310 SOS 1633039 HAS SOPS 1619117 HAS SOUS 287871 HAS SOUPS 285870 WITH SCORE 287503.039
AT ITER 1795 NEW BEST:: SOT 3415265 SOS 1632948 HAS SOPS 1619026 HAS SOUS 287780 HAS SOUPS 285779 WITH SCORE 287411.948
AT ITER 1801 NEW BEST:: SOT 3415215 SOS 1632898 HAS SOPS 1618951 HAS SOUS 287699 HAS SOUPS 285698 WITH SCORE 287330.898
AT ITER 1808 NEW BEST:: SOT 3415199 SOS 1626834 HAS SOPS 1612887 HAS SOUS 287671 HAS SOUPS 285670 WITH SCORE 287296.834
AT ITER 1810 NEW BEST:: SOT 3415199 SOS 1626801 HAS SOPS 1612854 HAS SOUS 287473 HAS SOUPS 285472 WITH SCORE 287098.801
AT ITER 1825 NEW BEST:: SOT 3415199 SOS 1626801 HAS SOPS 1612854 HAS SOUS 287465 HAS SOUPS 285464 WITH SCORE 287090.801
AT ITER 1828 NEW BEST:: SOT 3415198 SOS 1626799 HAS SOPS 1612852 HAS SOUS 287463 HAS SOUPS 285462 WITH SCORE 287088.799
AT ITER 1841 NEW BEST:: SOT 3363405 SOS 1719603 HAS SOPS 1705656 HAS SOUS 284901 HAS SOUPS 282900 WITH SCORE 284619.603
AT ITER 1851 NEW BEST:: SOT 3363071 SOS 1719269 HAS SOPS 1705322 HAS SOUS 281749 HAS SOUPS 279748 WITH SCORE 281467.269
AT ITER 1861 NEW BEST:: SOT 3363059 SOS 1719193 HAS SOPS 1705246 HAS SOUS 281694 HAS SOUPS 279693 WITH SCORE 281412.193
AT ITER 1878 NEW BEST:: SOT 3363047 SOS 1719181 HAS SOPS 1705234 HAS SOUS 281670 HAS SOUPS 279669 WITH SCORE 281388.181
AT ITER 1883 NEW BEST:: SOT 3362963 SOS 1719097 HAS SOPS 1705150 HAS SOUS 281628 HAS SOUPS 279627 WITH SCORE 281346.097
AT ITER 1892 NEW BEST:: SOT 3362913 SOS 1719047 HAS SOPS 1705100 HAS SOUS 281582 HAS SOUPS 279581 WITH SCORE 281300.047
AT ITER 1904 NEW BEST:: SOT 3362846 SOS 1718981 HAS SOPS 1705034 HAS SOUS 281546 HAS SOUPS 279545 WITH SCORE 281263.981
AT ITER 1911 NEW BEST:: SOT 3362762 SOS 1718897 HAS SOPS 1704950 HAS SOUS 281448 HAS SOUPS 279447 WITH SCORE 281165.897
AT ITER 1957 NEW BEST:: SOT 3362733 SOS 1718868 HAS SOPS 1704921 HAS SOUS 281393 HAS SOUPS 279392 WITH SCORE 281110.868
AT ITER 1965 NEW BEST:: SOT 3201531 SOS 1576078 HAS SOPS 1562131 HAS SOUS 264246 HAS SOUPS 262245 WITH SCORE 263821.078
AT ITER 1967 NEW BEST:: SOT 3201202 SOS 1575858 HAS SOPS 1561911 HAS SOUS 263990 HAS SOUPS 261989 WITH SCORE 263564.858
AT ITER 1971 NEW BEST:: SOT 3201197 SOS 1572043 HAS SOPS 1558096 HAS SOUS 263950 HAS SOUPS 261949 WITH SCORE 263521.043
AT ITER 1999 NEW BEST:: SOT 3201192 SOS 1572033 HAS SOPS 1558086 HAS SOUS 263940 HAS SOUPS 261939 WITH SCORE 263511.033
AT ITER 2013 NEW BEST:: SOT 3200845 SOS 1571123 HAS SOPS 1557326 HAS SOUS 263750 HAS SOUPS 261749 WITH SCORE 263320.123
AT ITER 2019 NEW BEST:: SOT 3200726 SOS 1571004 HAS SOPS 1557192 HAS SOUS 263557 HAS SOUPS 261556 WITH SCORE 263127.004
AT ITER 2032 NEW BEST:: SOT 3200719 SOS 1570861 HAS SOPS 1557049 HAS SOUS 263484 HAS SOUPS 261483 WITH SCORE 263053.861
AT ITER 2039 NEW BEST:: SOT 3199697 SOS 1569292 HAS SOPS 1555472 HAS SOUS 262361 HAS SOUPS 260360 WITH SCORE 261929.292
AT ITER 2051 NEW BEST:: SOT 3199434 SOS 1569192 HAS SOPS 1555372 HAS SOUS 262219 HAS SOUPS 260218 WITH SCORE 261787.192
AT ITER 2055 NEW BEST:: SOT 3199024 SOS 1568738 HAS SOPS 1554918 HAS SOUS 261957 HAS SOUPS 259956 WITH SCORE 261524.738
AT ITER 2057 NEW BEST:: SOT 3199029 SOS 1502459 HAS SOPS 1488639 HAS SOUS 261168 HAS SOUPS 259167 WITH SCORE 260669.459
AT ITER 2076 NEW BEST:: SOT 3198822 SOS 1501979 HAS SOPS 1488159 HAS SOUS 260877 HAS SOUPS 258876 WITH SCORE 260377.979
AT ITER 2078 NEW BEST:: SOT 3198364 SOS 1501367 HAS SOPS 1487547 HAS SOUS 260342 HAS SOUPS 258341 WITH SCORE 259842.367
AT ITER 2098 NEW BEST:: SOT 3198352 SOS 1501343 HAS SOPS 1487523 HAS SOUS 260318 HAS SOUPS 258317 WITH SCORE 259818.343
AT ITER 2108 NEW BEST:: SOT 3198350 SOS 1501339 HAS SOPS 1487519 HAS SOUS 260314 HAS SOUPS 258313 WITH SCORE 259814.339
AT ITER 2118 NEW BEST:: SOT 3198344 SOS 1501333 HAS SOPS 1487513 HAS SOUS 260308 HAS SOUPS 258307 WITH SCORE 259808.333
AT ITER 2125 NEW BEST:: SOT 3198052 SOS 1500947 HAS SOPS 1487127 HAS SOUS 259969 HAS SOUPS 257968 WITH SCORE 259468.947
AT ITER 2136 NEW BEST:: SOT 3198052 SOS 1500947 HAS SOPS 1487127 HAS SOUS 259967 HAS SOUPS 257966 WITH SCORE 259466.947
AT ITER 2139 NEW BEST:: SOT 3198047 SOS 1500942 HAS SOPS 1487033 HAS SOUS 259721 HAS SOUPS 257720 WITH SCORE 259220.942
AT ITER 2158 NEW BEST:: SOT 3198011 SOS 1500921 HAS SOPS 1487012 HAS SOUS 259629 HAS SOUPS 257628 WITH SCORE 259128.921
AT ITER 2160 NEW BEST:: SOT 3197939 SOS 1500844 HAS SOPS 1486900 HAS SOUS 259517 HAS SOUPS 257516 WITH SCORE 259016.844
AT ITER 2174 NEW BEST:: SOT 3197833 SOS 1500545 HAS SOPS 1486601 HAS SOUS 259218 HAS SOUPS 257217 WITH SCORE 258717.545
AT ITER 2178 NEW BEST:: SOT 3195541 SOS 1498253 HAS SOPS 1484309 HAS SOUS 258869 HAS SOUPS 256868 WITH SCORE 258366.253
AT ITER 2186 NEW BEST:: SOT 3195536 SOS 1498248 HAS SOPS 1484304 HAS SOUS 258838 HAS SOUPS 256837 WITH SCORE 258335.248
AT ITER 2197 NEW BEST:: SOT 3135874 SOS 1570118 HAS SOPS 1556174 HAS SOUS 254905 HAS SOUPS 252904 WITH SCORE 254474.118
AT ITER 2204 NEW BEST:: SOT 3135911 SOS 1570190 HAS SOPS 1556246 HAS SOUS 254733 HAS SOUPS 252732 WITH SCORE 254302.19
AT ITER 2209 NEW BEST:: SOT 3135911 SOS 1570190 HAS SOPS 1556246 HAS SOUS 254709 HAS SOUPS 252708 WITH SCORE 254278.19
AT ITER 2212 NEW BEST:: SOT 3135837 SOS 1570168 HAS SOPS 1556224 HAS SOUS 254643 HAS SOUPS 252642 WITH SCORE 254212.168
AT ITER 2223 NEW BEST:: SOT 3135839 SOS 1570170 HAS SOPS 1556226 HAS SOUS 254641 HAS SOUPS 252640 WITH SCORE 254210.17
AT ITER 2235 NEW BEST:: SOT 3135822 SOS 1570102 HAS SOPS 1556158 HAS SOUS 254624 HAS SOUPS 252623 WITH SCORE 254193.102
AT ITER 2248 NEW BEST:: SOT 3063555 SOS 1511588 HAS SOPS 1497644 HAS SOUS 249348 HAS SOUPS 247347 WITH SCORE 248858.588
AT ITER 2251 NEW BEST:: SOT 3063258 SOS 1379991 HAS SOPS 1366047 HAS SOUS 247810 HAS SOUPS 245809 WITH SCORE 247188.991
AT ITER 2253 NEW BEST:: SOT 3063247 SOS 1379935 HAS SOPS 1365991 HAS SOUS 247778 HAS SOUPS 245777 WITH SCORE 247156.935
AT ITER 2271 NEW BEST:: SOT 3058215 SOS 1374830 HAS SOPS 1360886 HAS SOUS 247044 HAS SOUPS 245043 WITH SCORE 246417.83
AT ITER 2295 NEW BEST:: SOT 3057863 SOS 1374456 HAS SOPS 1360512 HAS SOUS 246959 HAS SOUPS 244958 WITH SCORE 246332.456
AT ITER 2302 NEW BEST:: SOT 3072928 SOS 1389305 HAS SOPS 1375577 HAS SOUS 243083 HAS SOUPS 241118 WITH SCORE 242507.305
AT ITER 2305 NEW BEST:: SOT 3073335 SOS 1389691 HAS SOPS 1375963 HAS SOUS 242896 HAS SOUPS 240931 WITH SCORE 242320.691
AT ITER 2310 NEW BEST:: SOT 3073311 SOS 1389724 HAS SOPS 1375916 HAS SOUS 242781 HAS SOUPS 240816 WITH SCORE 242205.724
AT ITER 2311 NEW BEST:: SOT 3073307 SOS 1387140 HAS SOPS 1373332 HAS SOUS 241883 HAS SOUPS 239918 WITH SCORE 241305.14
AT ITER 2318 NEW BEST:: SOT 3057085 SOS 1370918 HAS SOPS 1357110 HAS SOUS 240253 HAS SOUPS 238288 WITH SCORE 239658.918
AT ITER 2332 NEW BEST:: SOT 3057069 SOS 1370926 HAS SOPS 1357126 HAS SOUS 240241 HAS SOUPS 238276 WITH SCORE 239646.926
AT ITER 2334 NEW BEST:: SOT 3057049 SOS 1370904 HAS SOPS 1357104 HAS SOUS 240201 HAS SOUPS 238236 WITH SCORE 239606.904
AT ITER 2338 NEW BEST:: SOT 3057030 SOS 1370885 HAS SOPS 1357066 HAS SOUS 240176 HAS SOUPS 238192 WITH SCORE 239562.885
AT ITER 2346 NEW BEST:: SOT 3075646 SOS 1375748 HAS SOPS 1361929 HAS SOUS 239784 HAS SOUPS 237800 WITH SCORE 239175.748
AT ITER 2349 NEW BEST:: SOT 3075518 SOS 1375236 HAS SOPS 1361417 HAS SOUS 239528 HAS SOUPS 237544 WITH SCORE 238919.236
AT ITER 2353 NEW BEST:: SOT 3075518 SOS 1375217 HAS SOPS 1361398 HAS SOUS 239444 HAS SOUPS 237460 WITH SCORE 238835.217
AT ITER 2387 NEW BEST:: SOT 3075498 SOS 1375197 HAS SOPS 1361378 HAS SOUS 239416 HAS SOUPS 237432 WITH SCORE 238807.197
AT ITER 2413 NEW BEST:: SOT 3075420 SOS 1375036 HAS SOPS 1361217 HAS SOUS 239338 HAS SOUPS 237354 WITH SCORE 238729.036
AT ITER 2415 NEW BEST:: SOT 3075187 SOS 1374747 HAS SOPS 1360928 HAS SOUS 239077 HAS SOUPS 237093 WITH SCORE 238467.747
AT ITER 2422 NEW BEST:: SOT 3075140 SOS 1374700 HAS SOPS 1360881 HAS SOUS 239040 HAS SOUPS 237056 WITH SCORE 238430.7
AT ITER 2429 NEW BEST:: SOT 3075140 SOS 1374700 HAS SOPS 1360881 HAS SOUS 238569 HAS SOUPS 236585 WITH SCORE 237959.7
AT ITER 2446 NEW BEST:: SOT 3075140 SOS 1374721 HAS SOPS 1360902 HAS SOUS 238527 HAS SOUPS 236543 WITH SCORE 237917.721
AT ITER 2453 NEW BEST:: SOT 3075116 SOS 1374673 HAS SOPS 1360830 HAS SOUS 238455 HAS SOUPS 236471 WITH SCORE 237845.673
AT ITER 2460 NEW BEST:: SOT 3075049 SOS 1374567 HAS SOPS 1360724 HAS SOUS 238321 HAS SOUPS 236337 WITH SCORE 237711.567
AT ITER 2473 NEW BEST:: SOT 3074935 SOS 1374515 HAS SOPS 1360788 HAS SOUS 238253 HAS SOUPS 236269 WITH SCORE 237643.515
AT ITER 2489 NEW BEST:: SOT 3074708 SOS 1374460 HAS SOPS 1360733 HAS SOUS 238206 HAS SOUPS 236222 WITH SCORE 237596.46
AT ITER 2491 NEW BEST:: SOT 3074654 SOS 1374406 HAS SOPS 1360679 HAS SOUS 238152 HAS SOUPS 236168 WITH SCORE 237542.406
AT ITER 2502 NEW BEST:: SOT 3074609 SOS 1374361 HAS SOPS 1360642 HAS SOUS 238126 HAS SOUPS 236142 WITH SCORE 237516.361
AT ITER 2507 NEW BEST:: SOT 3074362 SOS 1374236 HAS SOPS 1360517 HAS SOUS 238084 HAS SOUPS 236100 WITH SCORE 237474.236
AT ITER 2511 NEW BEST:: SOT 3073912 SOS 1373597 HAS SOPS 1359878 HAS SOUS 237692 HAS SOUPS 235708 WITH SCORE 237081.597
AT ITER 2516 NEW BEST:: SOT 3073809 SOS 1373501 HAS SOPS 1359964 HAS SOUS 237665 HAS SOUPS 235681 WITH SCORE 237054.501
AT ITER 2520 NEW BEST:: SOT 3073749 SOS 1373441 HAS SOPS 1359904 HAS SOUS 237545 HAS SOUPS 235561 WITH SCORE 236934.441
AT ITER 2541 NEW BEST:: SOT 3073981 SOS 1373658 HAS SOPS 1360121 HAS SOUS 237386 HAS SOUPS 235402 WITH SCORE 236775.658
AT ITER 2549 NEW BEST:: SOT 3073998 SOS 1373675 HAS SOPS 1360138 HAS SOUS 237379 HAS SOUPS 235395 WITH SCORE 236768.675
AT ITER 2555 NEW BEST:: SOT 3069627 SOS 1369357 HAS SOPS 1355820 HAS SOUS 236284 HAS SOUPS 234300 WITH SCORE 235669.357
AT ITER 2556 NEW BEST:: SOT 3069617 SOS 1369342 HAS SOPS 1355805 HAS SOUS 236269 HAS SOUPS 234285 WITH SCORE 235654.342
AT ITER 2560 NEW BEST:: SOT 3069514 SOS 1369239 HAS SOPS 1355702 HAS SOUS 236216 HAS SOUPS 234232 WITH SCORE 235601.239
AT ITER 2570 NEW BEST:: SOT 3069514 SOS 1369243 HAS SOPS 1355706 HAS SOUS 236164 HAS SOUPS 234180 WITH SCORE 235549.243
AT ITER 2595 NEW BEST:: SOT 3069487 SOS 1369227 HAS SOPS 1355690 HAS SOUS 236132 HAS SOUPS 234148 WITH SCORE 235517.227
AT ITER 2599 NEW BEST:: SOT 3069506 SOS 1293828 HAS SOPS 1280291 HAS SOUS 234768 HAS SOUPS 232784 WITH SCORE 234077.828
AT ITER 2637 NEW BEST:: SOT 3069396 SOS 1293718 HAS SOPS 1280181 HAS SOUS 234636 HAS SOUPS 232652 WITH SCORE 233945.718
AT ITER 2667 NEW BEST:: SOT 3069350 SOS 1293672 HAS SOPS 1280135 HAS SOUS 234544 HAS SOUPS 232560 WITH SCORE 233853.672
AT ITER 2679 NEW BEST:: SOT 3069333 SOS 1293655 HAS SOPS 1280101 HAS SOUS 234510 HAS SOUPS 232526 WITH SCORE 233819.655
AT ITER 2687 NEW BEST:: SOT 3069352 SOS 1293464 HAS SOPS 1279864 HAS SOUS 234252 HAS SOUPS 232268 WITH SCORE 233561.464
AT ITER 2692 NEW BEST:: SOT 3069377 SOS 1293458 HAS SOPS 1279858 HAS SOUS 234109 HAS SOUPS 232125 WITH SCORE 233418.458
AT ITER 2703 NEW BEST:: SOT 3069338 SOS 1288775 HAS SOPS 1275175 HAS SOUS 234077 HAS SOUPS 232093 WITH SCORE 233381.775
AT ITER 2723 NEW BEST:: SOT 3069332 SOS 1288996 HAS SOPS 1275403 HAS SOUS 234066 HAS SOUPS 232085 WITH SCORE 233373.996
AT ITER 2732 NEW BEST:: SOT 3069282 SOS 1288965 HAS SOPS 1275372 HAS SOUS 234037 HAS SOUPS 232056 WITH SCORE 233344.965
AT ITER 2740 NEW BEST:: SOT 3069082 SOS 1288805 HAS SOPS 1275212 HAS SOUS 233837 HAS SOUPS 231856 WITH SCORE 233144.805
AT ITER 2759 NEW BEST:: SOT 3068995 SOS 1288846 HAS SOPS 1275347 HAS SOUS 233780 HAS SOUPS 231799 WITH SCORE 233087.846
AT ITER 2766 NEW BEST:: SOT 3068980 SOS 1288828 HAS SOPS 1275329 HAS SOUS 233762 HAS SOUPS 231781 WITH SCORE 233069.828
AT ITER 2775 NEW BEST:: SOT 3068966 SOS 1288814 HAS SOPS 1275315 HAS SOUS 233748 HAS SOUPS 231767 WITH SCORE 233055.814
AT ITER 2788 NEW BEST:: SOT 3068958 SOS 1288761 HAS SOPS 1275262 HAS SOUS 233732 HAS SOUPS 231751 WITH SCORE 233039.761
AT ITER 2817 NEW BEST:: SOT 3042500 SOS 1262303 HAS SOPS 1248804 HAS SOUS 230399 HAS SOUPS 228418 WITH SCORE 229680.303
AT ITER 2909 NEW BEST:: SOT 3042478 SOS 1262281 HAS SOPS 1248807 HAS SOUS 230396 HAS SOUPS 228415 WITH SCORE 229677.281
AT ITER 2914 NEW BEST:: SOT 3042458 SOS 1262274 HAS SOPS 1248800 HAS SOUS 230382 HAS SOUPS 228401 WITH SCORE 229663.274
AT ITER 2918 NEW BEST:: SOT 3042464 SOS 1262280 HAS SOPS 1248806 HAS SOUS 230380 HAS SOUPS 228399 WITH SCORE 229661.28
AT ITER 2927 NEW BEST:: SOT 3017262 SOS 1360857 HAS SOPS 1347383 HAS SOUS 229340 HAS SOUPS 227359 WITH SCORE 228719.857
AT ITER 2928 NEW BEST:: SOT 3017261 SOS 1360854 HAS SOPS 1347380 HAS SOUS 229338 HAS SOUPS 227357 WITH SCORE 228717.854
AT ITER 2947 NEW BEST:: SOT 3017270 SOS 1360863 HAS SOPS 1347361 HAS SOUS 229302 HAS SOUPS 227315 WITH SCORE 228675.863
AT ITER 2952 NEW BEST:: SOT 3017273 SOS 1360910 HAS SOPS 1347408 HAS SOUS 229264 HAS SOUPS 227277 WITH SCORE 228637.91
AT ITER 2954 NEW BEST:: SOT 3017137 SOS 1360932 HAS SOPS 1347430 HAS SOUS 228992 HAS SOUPS 227005 WITH SCORE 228365.932
AT ITER 2969 NEW BEST:: SOT 3016955 SOS 1360719 HAS SOPS 1347217 HAS SOUS 228724 HAS SOUPS 226737 WITH SCORE 228097.719
AT ITER 2971 NEW BEST:: SOT 3016933 SOS 1360675 HAS SOPS 1347173 HAS SOUS 228711 HAS SOUPS 226724 WITH SCORE 228084.675
AT ITER 2975 NEW BEST:: SOT 3016833 SOS 1360600 HAS SOPS 1347098 HAS SOUS 228586 HAS SOUPS 226599 WITH SCORE 227959.6
AT ITER 2981 NEW BEST:: SOT 3016908 SOS 1360726 HAS SOPS 1347224 HAS SOUS 228533 HAS SOUPS 226546 WITH SCORE 227906.726
AT ITER 3008 NEW BEST:: SOT 3016897 SOS 1360630 HAS SOPS 1347128 HAS SOUS 228511 HAS SOUPS 226524 WITH SCORE 227884.63
AT ITER 3011 NEW BEST:: SOT 3016891 SOS 1360624 HAS SOPS 1347125 HAS SOUS 228490 HAS SOUPS 226503 WITH SCORE 227863.624
AT ITER 3026 NEW BEST:: SOT 3016508 SOS 1360136 HAS SOPS 1346637 HAS SOUS 228072 HAS SOUPS 226085 WITH SCORE 227445.136
AT ITER 3027 NEW BEST:: SOT 3016450 SOS 1360078 HAS SOPS 1346579 HAS SOUS 228014 HAS SOUPS 226027 WITH SCORE 227387.078
AT ITER 3044 NEW BEST:: SOT 3016432 SOS 1360058 HAS SOPS 1346559 HAS SOUS 227994 HAS SOUPS 226007 WITH SCORE 227367.058
AT ITER 3076 NEW BEST:: SOT 3016361 SOS 1359944 HAS SOPS 1346445 HAS SOUS 227878 HAS SOUPS 225891 WITH SCORE 227250.944
AT ITER 3077 NEW BEST:: SOT 3016307 SOS 1359871 HAS SOPS 1346372 HAS SOUS 227818 HAS SOUPS 225831 WITH SCORE 227190.871
AT ITER 3081 NEW BEST:: SOT 3016291 SOS 1359835 HAS SOPS 1346360 HAS SOUS 227115 HAS SOUPS 225132 WITH SCORE 226491.835
AT ITER 3086 NEW BEST:: SOT 3015679 SOS 1358611 HAS SOPS 1345136 HAS SOUS 226299 HAS SOUPS 224316 WITH SCORE 225674.611
AT ITER 3096 NEW BEST:: SOT 3015679 SOS 1358598 HAS SOPS 1345123 HAS SOUS 226224 HAS SOUPS 224241 WITH SCORE 225599.598
AT ITER 3101 NEW BEST:: SOT 3015646 SOS 1358565 HAS SOPS 1345060 HAS SOUS 226158 HAS SOUPS 224175 WITH SCORE 225533.565
AT ITER 3114 NEW BEST:: SOT 3015563 SOS 1358482 HAS SOPS 1344977 HAS SOUS 226047 HAS SOUPS 224064 WITH SCORE 225422.482
AT ITER 3119 NEW BEST:: SOT 3015363 SOS 1358282 HAS SOPS 1344777 HAS SOUS 225998 HAS SOUPS 224015 WITH SCORE 225373.282
AT ITER 3121 NEW BEST:: SOT 3015394 SOS 1358313 HAS SOPS 1344732 HAS SOUS 225941 HAS SOUPS 223926 WITH SCORE 225284.313
AT ITER 3123 NEW BEST:: SOT 3015036 SOS 1358019 HAS SOPS 1344438 HAS SOUS 225581 HAS SOUPS 223566 WITH SCORE 224924.019
AT ITER 3144 NEW BEST:: SOT 3014935 SOS 1357475 HAS SOPS 1343894 HAS SOUS 225576 HAS SOUPS 223561 WITH SCORE 224918.475
AT ITER 3163 NEW BEST:: SOT 3014940 SOS 1357480 HAS SOPS 1343899 HAS SOUS 225557 HAS SOUPS 223542 WITH SCORE 224899.48
AT ITER 3172 NEW BEST:: SOT 3014930 SOS 1357470 HAS SOPS 1343889 HAS SOUS 225547 HAS SOUPS 223532 WITH SCORE 224889.47
AT ITER 3181 NEW BEST:: SOT 3014949 SOS 1357972 HAS SOPS 1344391 HAS SOUS 225506 HAS SOUPS 223491 WITH SCORE 224848.972
AT ITER 3195 NEW BEST:: SOT 3015125 SOS 1358088 HAS SOPS 1344567 HAS SOUS 224905 HAS SOUPS 222900 WITH SCORE 224258.088
AT ITER 3201 NEW BEST:: SOT 3014903 SOS 1357912 HAS SOPS 1344391 HAS SOUS 224763 HAS SOUPS 222758 WITH SCORE 224115.912
AT ITER 3203 NEW BEST:: SOT 3008556 SOS 1352855 HAS SOPS 1339334 HAS SOUS 224357 HAS SOUPS 222352 WITH SCORE 223704.855
AT ITER 3220 NEW BEST:: SOT 3008543 SOS 1352838 HAS SOPS 1339290 HAS SOUS 224342 HAS SOUPS 222337 WITH SCORE 223689.838
AT ITER 3221 NEW BEST:: SOT 3008543 SOS 1349613 HAS SOPS 1336065 HAS SOUS 224207 HAS SOUPS 222202 WITH SCORE 223551.613
AT ITER 3230 NEW BEST:: SOT 3008543 SOS 1349421 HAS SOPS 1335873 HAS SOUS 224207 HAS SOUPS 222202 WITH SCORE 223551.421
AT ITER 3238 NEW BEST:: SOT 3009011 SOS 1349889 HAS SOPS 1336341 HAS SOUS 223346 HAS SOUPS 221341 WITH SCORE 222690.889
AT ITER 3239 NEW BEST:: SOT 3008967 SOS 1349605 HAS SOPS 1336057 HAS SOUS 223100 HAS SOUPS 221095 WITH SCORE 222444.605
AT ITER 3242 NEW BEST:: SOT 3009075 SOS 1349906 HAS SOPS 1336358 HAS SOUS 223064 HAS SOUPS 221059 WITH SCORE 222408.906
AT ITER 3254 NEW BEST:: SOT 3008845 SOS 1349584 HAS SOPS 1336036 HAS SOUS 222834 HAS SOUPS 220829 WITH SCORE 222178.584
AT ITER 3277 NEW BEST:: SOT 3008558 SOS 1349126 HAS SOPS 1335578 HAS SOUS 222571 HAS SOUPS 220566 WITH SCORE 221915.126
AT ITER 3309 NEW BEST:: SOT 3008589 SOS 1349245 HAS SOPS 1335652 HAS SOUS 222546 HAS SOUPS 220541 WITH SCORE 221890.245
AT ITER 3316 NEW BEST:: SOT 3008329 SOS 1348985 HAS SOPS 1335392 HAS SOUS 222127 HAS SOUPS 220122 WITH SCORE 221470.985
AT ITER 3330 NEW BEST:: SOT 3008303 SOS 1348897 HAS SOPS 1335304 HAS SOUS 222039 HAS SOUPS 220034 WITH SCORE 221382.897
AT ITER 3333 NEW BEST:: SOT 3008332 SOS 1348906 HAS SOPS 1335313 HAS SOUS 222017 HAS SOUPS 220012 WITH SCORE 221360.906
AT ITER 3343 NEW BEST:: SOT 3008332 SOS 1348561 HAS SOPS 1334968 HAS SOUS 222002 HAS SOUPS 219997 WITH SCORE 221345.561
AT ITER 3347 NEW BEST:: SOT 3008326 SOS 1348555 HAS SOPS 1334962 HAS SOUS 221998 HAS SOUPS 219993 WITH SCORE 221341.555
AT ITER 3367 NEW BEST:: SOT 3026179 SOS 1366218 HAS SOPS 1352853 HAS SOUS 220697 HAS SOUPS 218730 WITH SCORE 220096.218
AT ITER 3373 NEW BEST:: SOT 3026185 SOS 1366230 HAS SOPS 1352865 HAS SOUS 220691 HAS SOUPS 218724 WITH SCORE 220090.23
AT ITER 3376 NEW BEST:: SOT 3026179 SOS 1366224 HAS SOPS 1352859 HAS SOUS 220685 HAS SOUPS 218718 WITH SCORE 220084.224
AT ITER 3387 NEW BEST:: SOT 3025945 SOS 1365913 HAS SOPS 1352548 HAS SOUS 220375 HAS SOUPS 218408 WITH SCORE 219773.913
AT ITER 3389 NEW BEST:: SOT 2963172 SOS 1311993 HAS SOPS 1298628 HAS SOUS 215049 HAS SOUPS 213082 WITH SCORE 214393.993
AT ITER 3395 NEW BEST:: SOT 2951544 SOS 1308965 HAS SOPS 1295600 HAS SOUS 214314 HAS SOUPS 212347 WITH SCORE 213655.965
AT ITER 3401 NEW BEST:: SOT 2950855 SOS 1308428 HAS SOPS 1295063 HAS SOUS 213485 HAS SOUPS 211518 WITH SCORE 212826.428
AT ITER 3417 NEW BEST:: SOT 2950800 SOS 1308373 HAS SOPS 1295008 HAS SOUS 213430 HAS SOUPS 211463 WITH SCORE 212771.373
AT ITER 3418 NEW BEST:: SOT 2950762 SOS 1308300 HAS SOPS 1294935 HAS SOUS 213354 HAS SOUPS 211387 WITH SCORE 212695.3
AT ITER 3435 NEW BEST:: SOT 2950753 SOS 1308291 HAS SOPS 1294926 HAS SOUS 213354 HAS SOUPS 211387 WITH SCORE 212695.291
AT ITER 3439 NEW BEST:: SOT 2950501 SOS 1308187 HAS SOPS 1294940 HAS SOUS 213087 HAS SOUPS 211120 WITH SCORE 212428.187
AT ITER 3446 NEW BEST:: SOT 2950447 SOS 1308124 HAS SOPS 1294877 HAS SOUS 212997 HAS SOUPS 211030 WITH SCORE 212338.124
AT ITER 3449 NEW BEST:: SOT 2950077 SOS 1307565 HAS SOPS 1294318 HAS SOUS 212477 HAS SOUPS 210510 WITH SCORE 211817.565
AT ITER 3467 NEW BEST:: SOT 2950144 SOS 1307865 HAS SOPS 1294618 HAS SOUS 212390 HAS SOUPS 210423 WITH SCORE 211730.865
AT ITER 3478 NEW BEST:: SOT 2949954 SOS 1307604 HAS SOPS 1294389 HAS SOUS 212266 HAS SOUPS 210299 WITH SCORE 211606.604
AT ITER 3484 NEW BEST:: SOT 2949922 SOS 1307572 HAS SOPS 1294357 HAS SOUS 212199 HAS SOUPS 210232 WITH SCORE 211539.572
AT ITER 3497 NEW BEST:: SOT 2949930 SOS 1307584 HAS SOPS 1294369 HAS SOUS 212069 HAS SOUPS 210102 WITH SCORE 211409.584
AT ITER 3498 NEW BEST:: SOT 2949895 SOS 1307549 HAS SOPS 1294334 HAS SOUS 212035 HAS SOUPS 210068 WITH SCORE 211375.549
AT ITER 3516 NEW BEST:: SOT 2949632 SOS 1307248 HAS SOPS 1294033 HAS SOUS 211716 HAS SOUPS 209749 WITH SCORE 211056.248
AT ITER 3517 NEW BEST:: SOT 2949830 SOS 1307341 HAS SOPS 1294126 HAS SOUS 211654 HAS SOUPS 209687 WITH SCORE 210994.341
AT ITER 3518 NEW BEST:: SOT 2949135 SOS 1306646 HAS SOPS 1293431 HAS SOUS 211057 HAS SOUPS 209090 WITH SCORE 210396.646
AT ITER 3527 NEW BEST:: SOT 2948989 SOS 1306540 HAS SOPS 1293172 HAS SOUS 210642 HAS SOUPS 208675 WITH SCORE 209981.54
AT ITER 3531 NEW BEST:: SOT 2948881 SOS 1306432 HAS SOPS 1293064 HAS SOUS 210453 HAS SOUPS 208486 WITH SCORE 209792.432
AT ITER 3537 NEW BEST:: SOT 2948877 SOS 1306428 HAS SOPS 1293060 HAS SOUS 210453 HAS SOUPS 208486 WITH SCORE 209792.428
AT ITER 3557 NEW BEST:: SOT 2948877 SOS 1306428 HAS SOPS 1293060 HAS SOUS 210434 HAS SOUPS 208467 WITH SCORE 209773.428
AT ITER 3561 NEW BEST:: SOT 2948866 SOS 1297419 HAS SOPS 1284051 HAS SOUS 209931 HAS SOUPS 207964 WITH SCORE 209261.419
AT ITER 3572 NEW BEST:: SOT 2948837 SOS 1297390 HAS SOPS 1284022 HAS SOUS 209931 HAS SOUPS 207964 WITH SCORE 209261.39
AT ITER 3576 NEW BEST:: SOT 2948714 SOS 1297414 HAS SOPS 1284202 HAS SOUS 209897 HAS SOUPS 207930 WITH SCORE 209227.414
AT ITER 3588 NEW BEST:: SOT 2948761 SOS 1297396 HAS SOPS 1284184 HAS SOUS 209851 HAS SOUPS 207884 WITH SCORE 209181.396
AT ITER 3598 NEW BEST:: SOT 2948709 SOS 1297344 HAS SOPS 1284104 HAS SOUS 209799 HAS SOUPS 207832 WITH SCORE 209129.344
AT ITER 3601 NEW BEST:: SOT 2948703 SOS 1297393 HAS SOPS 1284153 HAS SOUS 209768 HAS SOUPS 207801 WITH SCORE 209098.393
AT ITER 3651 NEW BEST:: SOT 2948520 SOS 1297210 HAS SOPS 1283944 HAS SOUS 209559 HAS SOUPS 207592 WITH SCORE 208889.21
AT ITER 3689 NEW BEST:: SOT 2948520 SOS 1297210 HAS SOPS 1283944 HAS SOUS 209555 HAS SOUPS 207588 WITH SCORE 208885.21
AT ITER 3707 NEW BEST:: SOT 2948520 SOS 1297189 HAS SOPS 1283923 HAS SOUS 209430 HAS SOUPS 207463 WITH SCORE 208760.189
AT ITER 3709 NEW BEST:: SOT 2948468 SOS 1288243 HAS SOPS 1274977 HAS SOUS 209191 HAS SOUPS 207224 WITH SCORE 208512.243
AT ITER 3745 NEW BEST:: SOT 2948457 SOS 1288228 HAS SOPS 1274962 HAS SOUS 209169 HAS SOUPS 207202 WITH SCORE 208490.228
AT ITER 3747 NEW BEST:: SOT 2948450 SOS 1288221 HAS SOPS 1274955 HAS SOUS 209162 HAS SOUPS 207195 WITH SCORE 208483.221
AT ITER 3765 NEW BEST:: SOT 2948450 SOS 1288019 HAS SOPS 1274753 HAS SOUS 209136 HAS SOUPS 207169 WITH SCORE 208457.019
AT ITER 3787 NEW BEST:: SOT 2948410 SOS 1287979 HAS SOPS 1274713 HAS SOUS 209051 HAS SOUPS 207084 WITH SCORE 208371.979
AT ITER 3808 NEW BEST:: SOT 2948330 SOS 1287930 HAS SOPS 1274664 HAS SOUS 208531 HAS SOUPS 206564 WITH SCORE 207851.93
AT ITER 3820 NEW BEST:: SOT 2948288 SOS 1287888 HAS SOPS 1274622 HAS SOUS 208503 HAS SOUPS 206536 WITH SCORE 207823.888
AT ITER 3823 NEW BEST:: SOT 2948288 SOS 1287828 HAS SOPS 1274562 HAS SOUS 208464 HAS SOUPS 206497 WITH SCORE 207784.828
AT ITER 3828 NEW BEST:: SOT 2948288 SOS 1287818 HAS SOPS 1274552 HAS SOUS 208454 HAS SOUPS 206487 WITH SCORE 207774.818
AT ITER 3845 NEW BEST:: SOT 2948273 SOS 1287803 HAS SOPS 1274537 HAS SOUS 208439 HAS SOUPS 206472 WITH SCORE 207759.803
AT ITER 3847 NEW BEST:: SOT 2948273 SOS 1287753 HAS SOPS 1274602 HAS SOUS 208439 HAS SOUPS 206472 WITH SCORE 207759.753
AT ITER 3848 NEW BEST:: SOT 2948046 SOS 1287321 HAS SOPS 1274170 HAS SOUS 208212 HAS SOUPS 206245 WITH SCORE 207532.321
AT ITER 3862 NEW BEST:: SOT 2947950 SOS 1287225 HAS SOPS 1274074 HAS SOUS 208074 HAS SOUPS 206107 WITH SCORE 207394.225
AT ITER 3890 NEW BEST:: SOT 2947990 SOS 1287265 HAS SOPS 1274167 HAS SOUS 208029 HAS SOUPS 206062 WITH SCORE 207349.265
AT ITER 3892 NEW BEST:: SOT 2947810 SOS 1287085 HAS SOPS 1274087 HAS SOUS 208015 HAS SOUPS 206048 WITH SCORE 207335.085
AT ITER 3936 NEW BEST:: SOT 2947571 SOS 1286846 HAS SOPS 1273848 HAS SOUS 207746 HAS SOUPS 205779 WITH SCORE 207065.846
AT ITER 3954 NEW BEST:: SOT 2947441 SOS 1286698 HAS SOPS 1273700 HAS SOUS 207538 HAS SOUPS 205571 WITH SCORE 206857.698
AT ITER 3955 NEW BEST:: SOT 2947370 SOS 1286627 HAS SOPS 1273629 HAS SOUS 207444 HAS SOUPS 205477 WITH SCORE 206763.627
AT ITER 3960 NEW BEST:: SOT 2947339 SOS 1286699 HAS SOPS 1273701 HAS SOUS 207384 HAS SOUPS 205417 WITH SCORE 206703.699
AT ITER 3961 NEW BEST:: SOT 2947312 SOS 1286672 HAS SOPS 1273647 HAS SOUS 207296 HAS SOUPS 205329 WITH SCORE 206615.672
AT ITER 3969 NEW BEST:: SOT 2946882 SOS 1286308 HAS SOPS 1273283 HAS SOUS 207198 HAS SOUPS 205231 WITH SCORE 206517.308
AT ITER 4049 NEW BEST:: SOT 2946804 SOS 1286160 HAS SOPS 1273135 HAS SOUS 207100 HAS SOUPS 205133 WITH SCORE 206419.16
AT ITER 4063 NEW BEST:: SOT 2946802 SOS 1286158 HAS SOPS 1273135 HAS SOUS 207100 HAS SOUPS 205133 WITH SCORE 206419.158
AT ITER 4066 NEW BEST:: SOT 2946801 SOS 1286157 HAS SOPS 1273134 HAS SOUS 207098 HAS SOUPS 205131 WITH SCORE 206417.157
AT ITER 4081 NEW BEST:: SOT 2946207 SOS 1285707 HAS SOPS 1272684 HAS SOUS 206961 HAS SOUPS 204994 WITH SCORE 206279.707
AT ITER 4082 NEW BEST:: SOT 2945899 SOS 1285247 HAS SOPS 1272224 HAS SOUS 206398 HAS SOUPS 204431 WITH SCORE 205716.247
AT ITER 4115 NEW BEST:: SOT 2945937 SOS 1285285 HAS SOPS 1272256 HAS SOUS 206386 HAS SOUPS 204419 WITH SCORE 205704.285
AT ITER 4116 NEW BEST:: SOT 2945925 SOS 1285299 HAS SOPS 1272245 HAS SOUS 206361 HAS SOUPS 204394 WITH SCORE 205679.299
AT ITER 4146 NEW BEST:: SOT 2945869 SOS 1285243 HAS SOPS 1272189 HAS SOUS 206249 HAS SOUPS 204282 WITH SCORE 205567.243
AT ITER 4151 NEW BEST:: SOT 2945845 SOS 1285071 HAS SOPS 1272046 HAS SOUS 206179 HAS SOUPS 204212 WITH SCORE 205497.071
AT ITER 4185 NEW BEST:: SOT 2945560 SOS 1266451 HAS SOPS 1253426 HAS SOUS 205499 HAS SOUPS 203532 WITH SCORE 204798.451
AT ITER 4194 NEW BEST:: SOT 2945786 SOS 1268003 HAS SOPS 1254978 HAS SOUS 205389 HAS SOUPS 203422 WITH SCORE 204690.003
AT ITER 4224 NEW BEST:: SOT 2945786 SOS 1268044 HAS SOPS 1255023 HAS SOUS 205350 HAS SOUPS 203384 WITH SCORE 204652.044
AT ITER 4226 NEW BEST:: SOT 2945784 SOS 1268042 HAS SOPS 1255021 HAS SOUS 205346 HAS SOUPS 203380 WITH SCORE 204648.042
AT ITER 4237 NEW BEST:: SOT 2945814 SOS 1268087 HAS SOPS 1255066 HAS SOUS 205193 HAS SOUPS 203227 WITH SCORE 204495.087
AT ITER 4261 NEW BEST:: SOT 2946920 SOS 1269103 HAS SOPS 1256082 HAS SOUS 204838 HAS SOUPS 202872 WITH SCORE 204141.103
AT ITER 4264 NEW BEST:: SOT 2946932 SOS 1269115 HAS SOPS 1256094 HAS SOUS 204834 HAS SOUPS 202868 WITH SCORE 204137.115
AT ITER 4267 NEW BEST:: SOT 2946869 SOS 1269052 HAS SOPS 1256031 HAS SOUS 204786 HAS SOUPS 202820 WITH SCORE 204089.052
AT ITER 4268 NEW BEST:: SOT 2946858 SOS 1269008 HAS SOPS 1255987 HAS SOUS 204764 HAS SOUPS 202798 WITH SCORE 204067.008
AT ITER 4273 NEW BEST:: SOT 2946812 SOS 1268534 HAS SOPS 1255513 HAS SOUS 204528 HAS SOUPS 202562 WITH SCORE 203830.534
AT ITER 4279 NEW BEST:: SOT 2946575 SOS 1268294 HAS SOPS 1255273 HAS SOUS 204501 HAS SOUPS 202535 WITH SCORE 203803.294
AT ITER 4298 NEW BEST:: SOT 2946527 SOS 1268174 HAS SOPS 1255153 HAS SOUS 204441 HAS SOUPS 202475 WITH SCORE 203743.174
AT ITER 4299 NEW BEST:: SOT 2944337 SOS 1265972 HAS SOPS 1252951 HAS SOUS 204121 HAS SOUPS 202155 WITH SCORE 203420.972
AT ITER 4301 NEW BEST:: SOT 2944259 SOS 1266168 HAS SOPS 1253147 HAS SOUS 203794 HAS SOUPS 201828 WITH SCORE 203094.168
AT ITER 4309 NEW BEST:: SOT 2944247 SOS 1266558 HAS SOPS 1253537 HAS SOUS 203771 HAS SOUPS 201805 WITH SCORE 203071.558
AT ITER 4326 NEW BEST:: SOT 2944179 SOS 1266503 HAS SOPS 1253482 HAS SOUS 203716 HAS SOUPS 201750 WITH SCORE 203016.503
AT ITER 4332 NEW BEST:: SOT 2944730 SOS 1267185 HAS SOPS 1254164 HAS SOUS 203654 HAS SOUPS 201688 WITH SCORE 202955.185
AT ITER 4356 NEW BEST:: SOT 2944607 SOS 1267062 HAS SOPS 1254041 HAS SOUS 203531 HAS SOUPS 201565 WITH SCORE 202832.062
AT ITER 4358 NEW BEST:: SOT 2944473 SOS 1266963 HAS SOPS 1254065 HAS SOUS 203438 HAS SOUPS 201472 WITH SCORE 202738.963
AT ITER 4368 NEW BEST:: SOT 2945954 SOS 1268444 HAS SOPS 1255546 HAS SOUS 203415 HAS SOUPS 201449 WITH SCORE 202717.444
AT ITER 4379 NEW BEST:: SOT 2945938 SOS 1268428 HAS SOPS 1255530 HAS SOUS 203399 HAS SOUPS 201433 WITH SCORE 202701.428
AT ITER 4380 NEW BEST:: SOT 2945929 SOS 1268391 HAS SOPS 1255493 HAS SOUS 203297 HAS SOUPS 201331 WITH SCORE 202599.391
AT ITER 4389 NEW BEST:: SOT 2945364 SOS 1267891 HAS SOPS 1254993 HAS SOUS 203008 HAS SOUPS 201042 WITH SCORE 202309.891
AT ITER 4394 NEW BEST:: SOT 2945300 SOS 1267851 HAS SOPS 1254953 HAS SOUS 202968 HAS SOUPS 201002 WITH SCORE 202269.851
AT ITER 4406 NEW BEST:: SOT 2945458 SOS 1268009 HAS SOPS 1255111 HAS SOUS 202832 HAS SOUPS 200866 WITH SCORE 202134.009
AT ITER 4410 NEW BEST:: SOT 2945458 SOS 1268009 HAS SOPS 1255111 HAS SOUS 202808 HAS SOUPS 200842 WITH SCORE 202110.009
AT ITER 4411 NEW BEST:: SOT 2945471 SOS 1268022 HAS SOPS 1255124 HAS SOUS 202755 HAS SOUPS 200789 WITH SCORE 202057.022
AT ITER 4418 NEW BEST:: SOT 2945463 SOS 1268062 HAS SOPS 1255164 HAS SOUS 202747 HAS SOUPS 200781 WITH SCORE 202049.062
AT ITER 4421 NEW BEST:: SOT 2944385 SOS 1266976 HAS SOPS 1254078 HAS SOUS 202574 HAS SOUPS 200608 WITH SCORE 201874.976
AT ITER 4423 NEW BEST:: SOT 2944321 SOS 1266912 HAS SOPS 1254014 HAS SOUS 202568 HAS SOUPS 200602 WITH SCORE 201868.912
AT ITER 4426 NEW BEST:: SOT 2944308 SOS 1266899 HAS SOPS 1253988 HAS SOUS 202542 HAS SOUPS 200576 WITH SCORE 201842.899
AT ITER 4448 NEW BEST:: SOT 2943849 SOS 1266465 HAS SOPS 1253554 HAS SOUS 201910 HAS SOUPS 199944 WITH SCORE 201210.465
AT ITER 4481 NEW BEST:: SOT 2943817 SOS 1266449 HAS SOPS 1253538 HAS SOUS 201894 HAS SOUPS 199928 WITH SCORE 201194.449
AT ITER 4485 NEW BEST:: SOT 2942760 SOS 1265392 HAS SOPS 1252481 HAS SOUS 201053 HAS SOUPS 199087 WITH SCORE 200352.392
AT ITER 4508 NEW BEST:: SOT 2942616 SOS 1265297 HAS SOPS 1252386 HAS SOUS 200964 HAS SOUPS 198998 WITH SCORE 200263.297
AT ITER 4548 NEW BEST:: SOT 2942353 SOS 1264859 HAS SOPS 1251948 HAS SOUS 200724 HAS SOUPS 198758 WITH SCORE 200022.859
AT ITER 4563 NEW BEST:: SOT 2942289 SOS 1264635 HAS SOPS 1251728 HAS SOUS 200596 HAS SOUPS 198630 WITH SCORE 199894.635
AT ITER 4577 NEW BEST:: SOT 2941821 SOS 1262898 HAS SOPS 1249991 HAS SOUS 200268 HAS SOUPS 198302 WITH SCORE 199564.898
AT ITER 4579 NEW BEST:: SOT 2941776 SOS 1262853 HAS SOPS 1249946 HAS SOUS 200219 HAS SOUPS 198253 WITH SCORE 199515.853
AT ITER 4584 NEW BEST:: SOT 2941755 SOS 1262832 HAS SOPS 1249925 HAS SOUS 200177 HAS SOUPS 198211 WITH SCORE 199473.832
AT ITER 4598 NEW BEST:: SOT 2941745 SOS 1262822 HAS SOPS 1249915 HAS SOUS 200167 HAS SOUPS 198201 WITH SCORE 199463.822
AT ITER 4599 NEW BEST:: SOT 2941688 SOS 1262765 HAS SOPS 1249899 HAS SOUS 200092 HAS SOUPS 198158 WITH SCORE 199420.765
AT ITER 4614 NEW BEST:: SOT 2941671 SOS 1262685 HAS SOPS 1249819 HAS SOUS 200016 HAS SOUPS 198082 WITH SCORE 199344.685
AT ITER 4620 NEW BEST:: SOT 2941622 SOS 1262583 HAS SOPS 1249717 HAS SOUS 199914 HAS SOUPS 197980 WITH SCORE 199242.583
AT ITER 4623 NEW BEST:: SOT 2941340 SOS 1262463 HAS SOPS 1249597 HAS SOUS 199718 HAS SOUPS 197784 WITH SCORE 199046.463
AT ITER 4628 NEW BEST:: SOT 2941250 SOS 1262407 HAS SOPS 1249541 HAS SOUS 199612 HAS SOUPS 197678 WITH SCORE 198940.407
AT ITER 4654 NEW BEST:: SOT 2941250 SOS 1262407 HAS SOPS 1249541 HAS SOUS 199609 HAS SOUPS 197675 WITH SCORE 198937.407
AT ITER 4662 NEW BEST:: SOT 2941204 SOS 1262270 HAS SOPS 1249404 HAS SOUS 199296 HAS SOUPS 197362 WITH SCORE 198624.27
AT ITER 4688 NEW BEST:: SOT 2940993 SOS 1262163 HAS SOPS 1249297 HAS SOUS 199167 HAS SOUPS 197233 WITH SCORE 198495.163
AT ITER 4731 NEW BEST:: SOT 2940745 SOS 1261750 HAS SOPS 1248884 HAS SOUS 198974 HAS SOUPS 197040 WITH SCORE 198301.75
AT ITER 4742 NEW BEST:: SOT 2940713 SOS 1261718 HAS SOPS 1248852 HAS SOUS 198942 HAS SOUPS 197008 WITH SCORE 198269.718
AT ITER 4746 NEW BEST:: SOT 2940465 SOS 1261470 HAS SOPS 1248604 HAS SOUS 198904 HAS SOUPS 196970 WITH SCORE 198231.47
AT ITER 4760 NEW BEST:: SOT 2940267 SOS 1261272 HAS SOPS 1248406 HAS SOUS 198643 HAS SOUPS 196709 WITH SCORE 197970.272
AT ITER 4785 NEW BEST:: SOT 2940154 SOS 1261115 HAS SOPS 1248249 HAS SOUS 198514 HAS SOUPS 196580 WITH SCORE 197841.115
AT ITER 4793 NEW BEST:: SOT 2940163 SOS 1261124 HAS SOPS 1248258 HAS SOUS 198447 HAS SOUPS 196513 WITH SCORE 197774.124
AT ITER 4809 NEW BEST:: SOT 2940133 SOS 1261094 HAS SOPS 1248228 HAS SOUS 198417 HAS SOUPS 196483 WITH SCORE 197744.094
AT ITER 4810 NEW BEST:: SOT 2939772 SOS 1260497 HAS SOPS 1247631 HAS SOUS 198196 HAS SOUPS 196262 WITH SCORE 197522.497
AT ITER 4835 NEW BEST:: SOT 2939771 SOS 1258340 HAS SOPS 1245474 HAS SOUS 198149 HAS SOUPS 196215 WITH SCORE 197473.34
AT ITER 4837 NEW BEST:: SOT 2939733 SOS 1258169 HAS SOPS 1245303 HAS SOUS 198073 HAS SOUPS 196139 WITH SCORE 197397.169
AT ITER 4845 NEW BEST:: SOT 2840317 SOS 1172179 HAS SOPS 1159313 HAS SOUS 189514 HAS SOUPS 187580 WITH SCORE 188752.179
AT ITER 4857 NEW BEST:: SOT 2840235 SOS 1172025 HAS SOPS 1159159 HAS SOUS 189494 HAS SOUPS 187560 WITH SCORE 188732.025
AT ITER 4859 NEW BEST:: SOT 2839880 SOS 1171728 HAS SOPS 1158862 HAS SOUS 189401 HAS SOUPS 187467 WITH SCORE 188638.728
AT ITER 4860 NEW BEST:: SOT 2839827 SOS 1171575 HAS SOPS 1158709 HAS SOUS 189313 HAS SOUPS 187379 WITH SCORE 188550.575
AT ITER 4934 NEW BEST:: SOT 2839819 SOS 1171563 HAS SOPS 1158697 HAS SOUS 189293 HAS SOUPS 187359 WITH SCORE 188530.563
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-00 (AF((AF(( potential( ( 1 ) <= (tk(P88) + tk(P168) + tk(P274) + tk(P357) + tk(P385) + tk(P687)) ) & potential( ( 3 ) <= (tk(P31) + tk(P96) + tk(P184) + tk(P277) + tk(P574) + tk(P606)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-01 (EG( (! potential( ( 2 ) <= (tk(P506)) ))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-02 (AG( (! (AG( potential( (tk(P77) + tk(P137) + tk(P250) + tk(P331) + tk(P507) + tk(P579) + tk(P631)) <= (tk(P90) + tk(P205) + tk(P367) + tk(P400) + tk(P488) + tk(P573)) ))))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-03 (AG( (EU( potential( (tk(P418)) <= (tk(P88) + tk(P168) + tk(P274) + tk(P357) + tk(P385) + tk(P687)) ),potential( ( 1 ) <= (tk(P82) + tk(P83) + tk(P167) + tk(P284) + tk(P348) + tk(P652)) ) ))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-04 (EG( (AF(( potential( (tk(P59) + tk(P259) + tk(P394) + tk(P502) + tk(P567) + tk(P663)) <= (tk(P295)) ) | potential( (tk(P16) + tk(P294) + tk(P365) + tk(P428) + tk(P514) + tk(P588)) <= (tk(P544)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-05 (AG( (AF(( potential( (tk(P15) + tk(P64) + tk(P67) + tk(P73) + tk(P92) + tk(P105) + tk(P113) + tk(P146) + tk(P162) + tk(P163) + tk(P165) + tk(P175) + tk(P230) + tk(P254) + tk(P319) + tk(P356) + tk(P359) + tk(P380) + tk(P410) + tk(P415) + tk(P423) + tk(P447) + tk(P470) + tk(P496) + tk(P534) + tk(P536) + tk(P537) + tk(P551) + tk(P557) + tk(P580) + tk(P605) + tk(P632) + tk(P645) + tk(P649) + tk(P669) + tk(P696)) <= (tk(P56) + tk(P212) + tk(P351) + tk(P501) + tk(P586) + tk(P692)) ) & potential( (tk(P2) + tk(P7) + tk(P14) + tk(P18) + tk(P21) + tk(P22) + tk(P43) + tk(P106) + tk(P111) + tk(P133) + tk(P219) + tk(P235) + tk(P261) + tk(P289) + tk(P304) + tk(P308) + tk(P336) + tk(P346) + tk(P398) + tk(P412) + tk(P424) + tk(P431) + tk(P433) + tk(P436) + tk(P465) + tk(P500) + tk(P512) + tk(P523) + tk(P524) + tk(P532) + tk(P542) + tk(P543) + tk(P545) + tk(P562) + tk(P575) + tk(P611) + tk(P615) + tk(P641) + tk(P644) + tk(P657) + tk(P673) + tk(P684)) <= (tk(P16) + tk(P294) + tk(P365) + tk(P428) + tk(P514) + tk(P588)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-06 (EF(( (! ( potential( ( 1 ) <= (tk(P36) + tk(P84) + tk(P225) + tk(P322) + tk(P466) + tk(P556)) ) | potential( (tk(P60) + tk(P135) + tk(P181) + tk(P386) + tk(P442) + tk(P585)) <= (tk(P2) + tk(P7) + tk(P14) + tk(P18) + tk(P21) + tk(P22) + tk(P43) + tk(P106) + tk(P111) + tk(P133) + tk(P219) + tk(P235) + tk(P261) + tk(P289) + tk(P304) + tk(P308) + tk(P336) + tk(P346) + tk(P398) + tk(P412) + tk(P424) + tk(P431) + tk(P433) + tk(P436) + tk(P465) + tk(P500) + tk(P512) + tk(P523) + tk(P524) + tk(P532) + tk(P542) + tk(P543) + tk(P545) + tk(P562) + tk(P575) + tk(P611) + tk(P615) + tk(P641) + tk(P644) + tk(P657) + tk(P673) + tk(P684)) ) )) | (EX( potential( ( 3 ) <= (tk(P119) + tk(P131) + tk(P191) + tk(P256) + tk(P311) + tk(P517)) ))) )))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-07 (EU( potential( (tk(P45) + tk(P58) + tk(P80) + tk(P99) + tk(P112) + tk(P125) + tk(P159) + tk(P161) + tk(P207) + tk(P211) + tk(P231) + tk(P237) + tk(P255) + tk(P273) + tk(P280) + tk(P282) + tk(P339) + tk(P345) + tk(P352) + tk(P373) + tk(P376) + tk(P381) + tk(P397) + tk(P419) + tk(P439) + tk(P454) + tk(P485) + tk(P486) + tk(P489) + tk(P495) + tk(P528) + tk(P561) + tk(P563) + tk(P576) + tk(P581) + tk(P591) + tk(P607) + tk(P619) + tk(P637) + tk(P648) + tk(P658) + tk(P661)) <= (tk(P57) + tk(P178) + tk(P310) + tk(P597) + tk(P624) + tk(P679)) ),(AG( potential( ( 2 ) <= (tk(P19)) ))) ))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-08 (EG( (EU( potential( (tk(P570)) <= (tk(P527)) ),potential( (tk(P396)) <= (tk(P629)) ) ))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-09 (EF(( (AX( potential( (tk(P440)) <= (tk(P402)) ))) & (AG( potential( ( 2 ) <= (tk(P642)) ))) )))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-10 (AU( (! ( potential( (tk(P516)) <= (tk(P569)) ) & potential( ( 2 ) <= (tk(P396)) ) )),(AX( potential( ( 2 ) <= (tk(P88)) ))) ))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-11 (EG( potential( (tk(P25)) <= (tk(P60)) )))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-12 (AG( potential( (tk(P33)) <= (tk(P553)) )))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-13 (AF((AU( potential( (tk(P132)) <= (tk(P698)) ),potential( ( 3 ) <= (tk(P387)) ) ))))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-14 (EG( ( (! ( potential( (tk(P234)) <= (tk(P38)) ) & potential( ( 2 ) <= (tk(P72)) ) )) | potential( (tk(P130)) <= (tk(P612)) ) )))
PROPERTY: PolyORBLF-PT-S06J06T06-CTLCardinality-15 (AG( (AU( potential( (tk(P540)) <= (tk(P26)) ),potential( (tk(P160)) <= (tk(P368)) ) ))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J06T06, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r123-tajo-158961354900539"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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