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-158961354800515.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-S06J04T06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800515
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 15K Apr 12 05:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 12 05:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 30K Apr 11 05:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 106K Apr 11 05:17 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 13K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 51K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 29K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.0K Apr 10 12:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 29K Apr 10 12:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 339K Apr 9 18:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Apr 9 18:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Apr 10 22:22 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-S06J04T06-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S06J04T06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646108221

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J04T06
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: 632 places, 10500 transitions, 88770 arcs.
AT ITER 0 NEW BEST:: SOT 4164132 SOS 2550479 HAS SOPS 2538061 HAS SOUS 448920 HAS SOUPS 448252 WITH SCORE 450802.479
AT ITER 2 NEW BEST:: SOT 4163377 SOS 2549962 HAS SOPS 2537544 HAS SOUS 448551 HAS SOUPS 447883 WITH SCORE 450432.962
AT ITER 11 NEW BEST:: SOT 4163073 SOS 2550241 HAS SOPS 2537823 HAS SOUS 448449 HAS SOUPS 447781 WITH SCORE 450331.241
AT ITER 13 NEW BEST:: SOT 4162758 SOS 2549812 HAS SOPS 2537394 HAS SOUS 447796 HAS SOUPS 447128 WITH SCORE 449677.812
AT ITER 23 NEW BEST:: SOT 4162418 SOS 2549472 HAS SOPS 2537054 HAS SOUS 447441 HAS SOUPS 446773 WITH SCORE 449322.472
AT ITER 26 NEW BEST:: SOT 4162003 SOS 2549057 HAS SOPS 2536639 HAS SOUS 445961 HAS SOUPS 445293 WITH SCORE 447842.057
AT ITER 28 NEW BEST:: SOT 4005554 SOS 2392608 HAS SOPS 2380190 HAS SOUS 425357 HAS SOUPS 424689 WITH SCORE 427081.608
AT ITER 39 NEW BEST:: SOT 4005518 SOS 2392572 HAS SOPS 2380042 HAS SOUS 425286 HAS SOUPS 424577 WITH SCORE 426969.572
AT ITER 44 NEW BEST:: SOT 4004863 SOS 2392146 HAS SOPS 2379616 HAS SOUS 424971 HAS SOUPS 424262 WITH SCORE 426654.146
AT ITER 50 NEW BEST:: SOT 4004887 SOS 2392170 HAS SOPS 2379544 HAS SOUS 424943 HAS SOUPS 424226 WITH SCORE 426618.17
AT ITER 55 NEW BEST:: SOT 3994491 SOS 2430134 HAS SOPS 2425273 HAS SOUS 417048 HAS SOUPS 416524 WITH SCORE 418954.134
AT ITER 66 NEW BEST:: SOT 3994593 SOS 2430236 HAS SOPS 2425339 HAS SOUS 417045 HAS SOUPS 416521 WITH SCORE 418951.236
AT ITER 69 NEW BEST:: SOT 3994253 SOS 2429932 HAS SOPS 2425035 HAS SOUS 416602 HAS SOUPS 416078 WITH SCORE 418507.932
AT ITER 72 NEW BEST:: SOT 3994253 SOS 2429921 HAS SOPS 2425024 HAS SOUS 416558 HAS SOUPS 416034 WITH SCORE 418463.921
AT ITER 76 NEW BEST:: SOT 3994253 SOS 2430084 HAS SOPS 2425187 HAS SOUS 415853 HAS SOUPS 415329 WITH SCORE 417759.084
AT ITER 79 NEW BEST:: SOT 3994154 SOS 2429894 HAS SOPS 2424994 HAS SOUS 415553 HAS SOUPS 415029 WITH SCORE 417458.894
AT ITER 82 NEW BEST:: SOT 3994067 SOS 2429662 HAS SOPS 2424719 HAS SOUS 415460 HAS SOUPS 414936 WITH SCORE 417365.662
AT ITER 83 NEW BEST:: SOT 3994067 SOS 2430669 HAS SOPS 2425726 HAS SOUS 414993 HAS SOUPS 414469 WITH SCORE 416899.669
AT ITER 86 NEW BEST:: SOT 3994067 SOS 2430490 HAS SOPS 2425547 HAS SOUS 414987 HAS SOUPS 414463 WITH SCORE 416893.49
AT ITER 87 NEW BEST:: SOT 3994085 SOS 2430494 HAS SOPS 2425551 HAS SOUS 414985 HAS SOUPS 414461 WITH SCORE 416891.494
AT ITER 102 NEW BEST:: SOT 3994085 SOS 2430950 HAS SOPS 2426007 HAS SOUS 414891 HAS SOUPS 414367 WITH SCORE 416797.95
AT ITER 105 NEW BEST:: SOT 3994052 SOS 2430884 HAS SOPS 2425941 HAS SOUS 414874 HAS SOUPS 414350 WITH SCORE 416780.884
AT ITER 125 NEW BEST:: SOT 3994090 SOS 2430922 HAS SOPS 2425943 HAS SOUS 414805 HAS SOUPS 414281 WITH SCORE 416711.922
AT ITER 127 NEW BEST:: SOT 3993931 SOS 2430782 HAS SOPS 2425803 HAS SOUS 414538 HAS SOUPS 414014 WITH SCORE 416444.782
AT ITER 129 NEW BEST:: SOT 3993903 SOS 2430754 HAS SOPS 2425747 HAS SOUS 414482 HAS SOUPS 413958 WITH SCORE 416388.754
AT ITER 139 NEW BEST:: SOT 3993596 SOS 2430560 HAS SOPS 2425553 HAS SOUS 413668 HAS SOUPS 413144 WITH SCORE 415574.56
AT ITER 140 NEW BEST:: SOT 3993353 SOS 2430419 HAS SOPS 2425412 HAS SOUS 412930 HAS SOUPS 412406 WITH SCORE 414836.419
AT ITER 174 NEW BEST:: SOT 3993003 SOS 2430185 HAS SOPS 2425178 HAS SOUS 412209 HAS SOUPS 411685 WITH SCORE 414115.185
AT ITER 180 NEW BEST:: SOT 3992853 SOS 2430035 HAS SOPS 2425028 HAS SOUS 412062 HAS SOUPS 411538 WITH SCORE 413968.035
AT ITER 182 NEW BEST:: SOT 3992616 SOS 2429882 HAS SOPS 2424875 HAS SOUS 411127 HAS SOUPS 410603 WITH SCORE 413032.882
AT ITER 197 NEW BEST:: SOT 3992566 SOS 2429832 HAS SOPS 2424825 HAS SOUS 411088 HAS SOUPS 410564 WITH SCORE 412993.832
AT ITER 222 NEW BEST:: SOT 3992493 SOS 2430044 HAS SOPS 2425051 HAS SOUS 410960 HAS SOUPS 410437 WITH SCORE 412867.044
AT ITER 235 NEW BEST:: SOT 3992466 SOS 2430017 HAS SOPS 2425024 HAS SOUS 410951 HAS SOUPS 410428 WITH SCORE 412858.017
AT ITER 242 NEW BEST:: SOT 3992494 SOS 2429909 HAS SOPS 2424916 HAS SOUS 410843 HAS SOUPS 410320 WITH SCORE 412749.909
AT ITER 248 NEW BEST:: SOT 3992236 SOS 2429641 HAS SOPS 2424648 HAS SOUS 410646 HAS SOUPS 410123 WITH SCORE 412552.641
AT ITER 257 NEW BEST:: SOT 3992193 SOS 2429367 HAS SOPS 2424374 HAS SOUS 410560 HAS SOUPS 410037 WITH SCORE 412466.367
AT ITER 264 NEW BEST:: SOT 3992193 SOS 2429381 HAS SOPS 2424388 HAS SOUS 410553 HAS SOUPS 410030 WITH SCORE 412459.381
AT ITER 272 NEW BEST:: SOT 3992187 SOS 2429585 HAS SOPS 2424592 HAS SOUS 410000 HAS SOUPS 409477 WITH SCORE 411906.585
AT ITER 278 NEW BEST:: SOT 3991857 SOS 2428975 HAS SOPS 2423982 HAS SOUS 409602 HAS SOUPS 409079 WITH SCORE 411507.975
AT ITER 280 NEW BEST:: SOT 3991787 SOS 2428973 HAS SOPS 2423959 HAS SOUS 409520 HAS SOUPS 408997 WITH SCORE 411425.973
AT ITER 283 NEW BEST:: SOT 3743362 SOS 2247382 HAS SOPS 2242368 HAS SOUS 381296 HAS SOUPS 380773 WITH SCORE 383020.382
AT ITER 301 NEW BEST:: SOT 3743331 SOS 2247351 HAS SOPS 2242306 HAS SOUS 381239 HAS SOUPS 380710 WITH SCORE 382957.351
AT ITER 323 NEW BEST:: SOT 3743362 SOS 2247417 HAS SOPS 2242372 HAS SOUS 380757 HAS SOUPS 380228 WITH SCORE 382475.417
AT ITER 337 NEW BEST:: SOT 3742878 SOS 2247172 HAS SOPS 2242127 HAS SOUS 380649 HAS SOUPS 380120 WITH SCORE 382367.172
AT ITER 338 NEW BEST:: SOT 3742818 SOS 2247123 HAS SOPS 2242078 HAS SOUS 380006 HAS SOUPS 379477 WITH SCORE 381724.123
AT ITER 342 NEW BEST:: SOT 3742136 SOS 2246303 HAS SOPS 2241258 HAS SOUS 379186 HAS SOUPS 378657 WITH SCORE 380903.303
AT ITER 345 NEW BEST:: SOT 3742144 SOS 2246279 HAS SOPS 2241234 HAS SOUS 379157 HAS SOUPS 378628 WITH SCORE 380874.279
AT ITER 357 NEW BEST:: SOT 3742125 SOS 2246274 HAS SOPS 2241229 HAS SOUS 379131 HAS SOUPS 378602 WITH SCORE 380848.274
AT ITER 366 NEW BEST:: SOT 3741801 SOS 2246017 HAS SOPS 2240972 HAS SOUS 378506 HAS SOUPS 377977 WITH SCORE 380223.017
AT ITER 385 NEW BEST:: SOT 3741580 SOS 2245905 HAS SOPS 2240860 HAS SOUS 377341 HAS SOUPS 376812 WITH SCORE 379057.905
AT ITER 387 NEW BEST:: SOT 3741383 SOS 2245588 HAS SOPS 2240656 HAS SOUS 377226 HAS SOUPS 376697 WITH SCORE 378942.588
AT ITER 388 NEW BEST:: SOT 3741452 SOS 2245657 HAS SOPS 2240689 HAS SOUS 377215 HAS SOUPS 376686 WITH SCORE 378931.657
AT ITER 390 NEW BEST:: SOT 3740932 SOS 2245290 HAS SOPS 2240322 HAS SOUS 376740 HAS SOUPS 376211 WITH SCORE 378456.29
AT ITER 396 NEW BEST:: SOT 3740495 SOS 2244971 HAS SOPS 2240003 HAS SOUS 376495 HAS SOUPS 375966 WITH SCORE 378210.971
AT ITER 397 NEW BEST:: SOT 3740454 SOS 2244930 HAS SOPS 2239962 HAS SOUS 376454 HAS SOUPS 375925 WITH SCORE 378169.93
AT ITER 401 NEW BEST:: SOT 3740269 SOS 2244872 HAS SOPS 2239904 HAS SOUS 374158 HAS SOUPS 373629 WITH SCORE 375873.872
AT ITER 409 NEW BEST:: SOT 3740180 SOS 2244783 HAS SOPS 2239815 HAS SOUS 374075 HAS SOUPS 373546 WITH SCORE 375790.783
AT ITER 424 NEW BEST:: SOT 3740451 SOS 2245227 HAS SOPS 2240259 HAS SOUS 373617 HAS SOUPS 373088 WITH SCORE 375333.227
AT ITER 425 NEW BEST:: SOT 3740384 SOS 2245361 HAS SOPS 2240486 HAS SOUS 373109 HAS SOUPS 372580 WITH SCORE 374825.361
AT ITER 429 NEW BEST:: SOT 3740348 SOS 2245365 HAS SOPS 2240490 HAS SOUS 372987 HAS SOUPS 372458 WITH SCORE 374703.365
AT ITER 437 NEW BEST:: SOT 3740597 SOS 2245861 HAS SOPS 2240986 HAS SOUS 371496 HAS SOUPS 370967 WITH SCORE 373212.861
AT ITER 449 NEW BEST:: SOT 3740576 SOS 2245861 HAS SOPS 2240986 HAS SOUS 371370 HAS SOUPS 370841 WITH SCORE 373086.861
AT ITER 451 NEW BEST:: SOT 3740363 SOS 2245699 HAS SOPS 2240824 HAS SOUS 371194 HAS SOUPS 370665 WITH SCORE 372910.699
AT ITER 470 NEW BEST:: SOT 3740329 SOS 2245665 HAS SOPS 2240790 HAS SOUS 371104 HAS SOUPS 370575 WITH SCORE 372820.665
AT ITER 471 NEW BEST:: SOT 3739321 SOS 2244705 HAS SOPS 2239830 HAS SOUS 370096 HAS SOUPS 369567 WITH SCORE 371811.705
AT ITER 476 NEW BEST:: SOT 3739057 SOS 2244215 HAS SOPS 2239340 HAS SOUS 369834 HAS SOUPS 369305 WITH SCORE 371549.215
AT ITER 481 NEW BEST:: SOT 3739141 SOS 2244299 HAS SOPS 2239424 HAS SOUS 369766 HAS SOUPS 369237 WITH SCORE 371481.299
AT ITER 491 NEW BEST:: SOT 3738550 SOS 2243849 HAS SOPS 2238974 HAS SOUS 369320 HAS SOUPS 368791 WITH SCORE 371034.849
AT ITER 500 NEW BEST:: SOT 3738514 SOS 2243801 HAS SOPS 2238926 HAS SOUS 369277 HAS SOUPS 368748 WITH SCORE 370991.801
AT ITER 501 NEW BEST:: SOT 3738564 SOS 2243851 HAS SOPS 2239008 HAS SOUS 369237 HAS SOUPS 368708 WITH SCORE 370951.851
AT ITER 508 NEW BEST:: SOT 3738489 SOS 2243578 HAS SOPS 2238735 HAS SOUS 368532 HAS SOUPS 368003 WITH SCORE 370246.578
AT ITER 509 NEW BEST:: SOT 3756122 SOS 2194965 HAS SOPS 2190122 HAS SOUS 366144 HAS SOUPS 365615 WITH SCORE 367809.965
AT ITER 515 NEW BEST:: SOT 3755947 SOS 2194733 HAS SOPS 2189890 HAS SOUS 365912 HAS SOUPS 365383 WITH SCORE 367577.733
AT ITER 517 NEW BEST:: SOT 3643595 SOS 2082304 HAS SOPS 2077461 HAS SOUS 350906 HAS SOUPS 350377 WITH SCORE 352459.304
AT ITER 520 NEW BEST:: SOT 3643803 SOS 2082522 HAS SOPS 2077679 HAS SOUS 350410 HAS SOUPS 349881 WITH SCORE 351963.522
AT ITER 521 NEW BEST:: SOT 3641313 SOS 2084890 HAS SOPS 2078502 HAS SOUS 348101 HAS SOUPS 347268 WITH SCORE 349352.89
AT ITER 523 NEW BEST:: SOT 3641278 SOS 2084820 HAS SOPS 2078432 HAS SOUS 348082 HAS SOUPS 347249 WITH SCORE 349333.82
AT ITER 528 NEW BEST:: SOT 3464412 SOS 1907954 HAS SOPS 1901566 HAS SOUS 324430 HAS SOUPS 323597 WITH SCORE 325504.954
AT ITER 546 NEW BEST:: SOT 3432903 SOS 2055239 HAS SOPS 2048851 HAS SOUS 323561 HAS SOUPS 322728 WITH SCORE 324783.239
AT ITER 552 NEW BEST:: SOT 3432862 SOS 2055198 HAS SOPS 2048810 HAS SOUS 323520 HAS SOUPS 322687 WITH SCORE 324742.198
AT ITER 562 NEW BEST:: SOT 3432862 SOS 2055170 HAS SOPS 2048782 HAS SOUS 323492 HAS SOUPS 322659 WITH SCORE 324714.17
AT ITER 568 NEW BEST:: SOT 3432756 SOS 2054901 HAS SOPS 2048588 HAS SOUS 323442 HAS SOUPS 322609 WITH SCORE 324663.901
AT ITER 570 NEW BEST:: SOT 3432708 SOS 2054849 HAS SOPS 2048536 HAS SOUS 323376 HAS SOUPS 322543 WITH SCORE 324597.849
AT ITER 572 NEW BEST:: SOT 3432654 SOS 2054795 HAS SOPS 2048482 HAS SOUS 323322 HAS SOUPS 322489 WITH SCORE 324543.795
AT ITER 582 NEW BEST:: SOT 3432398 SOS 2054688 HAS SOPS 2048375 HAS SOUS 322968 HAS SOUPS 322135 WITH SCORE 324189.688
AT ITER 584 NEW BEST:: SOT 3431798 SOS 2053917 HAS SOPS 2047604 HAS SOUS 322311 HAS SOUPS 321478 WITH SCORE 323531.917
AT ITER 586 NEW BEST:: SOT 3431796 SOS 2053915 HAS SOPS 2047602 HAS SOUS 322311 HAS SOUPS 321478 WITH SCORE 323531.915
AT ITER 588 NEW BEST:: SOT 3431775 SOS 2053894 HAS SOPS 2047581 HAS SOUS 322269 HAS SOUPS 321436 WITH SCORE 323489.894
AT ITER 592 NEW BEST:: SOT 3282748 SOS 2026090 HAS SOPS 2019777 HAS SOUS 309806 HAS SOUPS 308973 WITH SCORE 310999.09
AT ITER 593 NEW BEST:: SOT 3275208 SOS 2018550 HAS SOPS 2012237 HAS SOUS 308771 HAS SOUPS 307938 WITH SCORE 309956.55
AT ITER 616 NEW BEST:: SOT 3275270 SOS 2018612 HAS SOPS 2012263 HAS SOUS 308735 HAS SOUPS 307902 WITH SCORE 309920.612
AT ITER 618 NEW BEST:: SOT 3275311 SOS 2020539 HAS SOPS 2013920 HAS SOUS 308772 HAS SOUPS 307894 WITH SCORE 309914.539
AT ITER 625 NEW BEST:: SOT 3239288 SOS 1984516 HAS SOPS 1977897 HAS SOUS 304363 HAS SOUPS 303485 WITH SCORE 305469.516
AT ITER 632 NEW BEST:: SOT 3239035 SOS 1987230 HAS SOPS 1980611 HAS SOUS 303956 HAS SOUPS 303078 WITH SCORE 305065.23
AT ITER 633 NEW BEST:: SOT 3238963 SOS 1986688 HAS SOPS 1980069 HAS SOUS 303807 HAS SOUPS 302929 WITH SCORE 304915.688
AT ITER 651 NEW BEST:: SOT 3238905 SOS 1986612 HAS SOPS 1979993 HAS SOUS 303780 HAS SOUPS 302902 WITH SCORE 304888.612
AT ITER 658 NEW BEST:: SOT 3239022 SOS 1988003 HAS SOPS 1981384 HAS SOUS 303515 HAS SOUPS 302637 WITH SCORE 304625.003
AT ITER 664 NEW BEST:: SOT 3239013 SOS 1987994 HAS SOPS 1981375 HAS SOUS 303506 HAS SOUPS 302628 WITH SCORE 304615.994
AT ITER 666 NEW BEST:: SOT 3238570 SOS 1987597 HAS SOPS 1980978 HAS SOUS 303045 HAS SOUPS 302167 WITH SCORE 304154.597
AT ITER 673 NEW BEST:: SOT 3238334 SOS 1987439 HAS SOPS 1980820 HAS SOUS 302096 HAS SOUPS 301218 WITH SCORE 303205.439
AT ITER 674 NEW BEST:: SOT 3225724 SOS 1974829 HAS SOPS 1968210 HAS SOUS 300594 HAS SOUPS 299716 WITH SCORE 301690.829
AT ITER 682 NEW BEST:: SOT 3225748 SOS 1974894 HAS SOPS 1968275 HAS SOUS 300548 HAS SOUPS 299670 WITH SCORE 301644.894
AT ITER 689 NEW BEST:: SOT 3225900 SOS 1902020 HAS SOPS 1895401 HAS SOUS 297674 HAS SOUPS 296796 WITH SCORE 298698.02
AT ITER 699 NEW BEST:: SOT 3225899 SOS 1902019 HAS SOPS 1895400 HAS SOUS 297673 HAS SOUPS 296795 WITH SCORE 298697.019
AT ITER 702 NEW BEST:: SOT 3225615 SOS 1901796 HAS SOPS 1895177 HAS SOUS 297555 HAS SOUPS 296677 WITH SCORE 298578.796
AT ITER 706 NEW BEST:: SOT 3225492 SOS 1901661 HAS SOPS 1895042 HAS SOUS 297432 HAS SOUPS 296554 WITH SCORE 298455.661
AT ITER 708 NEW BEST:: SOT 3225562 SOS 1901731 HAS SOPS 1895076 HAS SOUS 297402 HAS SOUPS 296524 WITH SCORE 298425.731
AT ITER 711 NEW BEST:: SOT 3225372 SOS 1901541 HAS SOPS 1894886 HAS SOUS 297214 HAS SOUPS 296336 WITH SCORE 298237.541
AT ITER 713 NEW BEST:: SOT 3225354 SOS 1901523 HAS SOPS 1894850 HAS SOUS 297178 HAS SOUPS 296300 WITH SCORE 298201.523
AT ITER 717 NEW BEST:: SOT 3225173 SOS 1867985 HAS SOPS 1861312 HAS SOUS 297044 HAS SOUPS 296166 WITH SCORE 298033.985
AT ITER 719 NEW BEST:: SOT 3225151 SOS 1867973 HAS SOPS 1861300 HAS SOUS 297032 HAS SOUPS 296154 WITH SCORE 298021.973
AT ITER 724 NEW BEST:: SOT 3225021 SOS 1867795 HAS SOPS 1861122 HAS SOUS 296716 HAS SOUPS 295838 WITH SCORE 297705.795
AT ITER 730 NEW BEST:: SOT 3225149 SOS 1868049 HAS SOPS 1861376 HAS SOUS 296639 HAS SOUPS 295761 WITH SCORE 297629.049
AT ITER 731 NEW BEST:: SOT 3224514 SOS 1866154 HAS SOPS 1859481 HAS SOUS 295757 HAS SOUPS 294879 WITH SCORE 296745.154
AT ITER 736 NEW BEST:: SOT 3224413 SOS 1866053 HAS SOPS 1859380 HAS SOUS 295582 HAS SOUPS 294704 WITH SCORE 296570.053
AT ITER 738 NEW BEST:: SOT 3220032 SOS 1861685 HAS SOPS 1855012 HAS SOUS 294771 HAS SOUPS 293893 WITH SCORE 295754.685
AT ITER 764 NEW BEST:: SOT 3219987 SOS 1861640 HAS SOPS 1855027 HAS SOUS 294564 HAS SOUPS 293686 WITH SCORE 295547.64
AT ITER 768 NEW BEST:: SOT 3219901 SOS 1861554 HAS SOPS 1854941 HAS SOUS 293446 HAS SOUPS 292568 WITH SCORE 294429.554
AT ITER 769 NEW BEST:: SOT 3219901 SOS 1861768 HAS SOPS 1855155 HAS SOUS 293044 HAS SOUPS 292166 WITH SCORE 294027.768
AT ITER 771 NEW BEST:: SOT 3219588 SOS 1861607 HAS SOPS 1854994 HAS SOUS 293038 HAS SOUPS 292160 WITH SCORE 294021.607
AT ITER 772 NEW BEST:: SOT 3218828 SOS 1860832 HAS SOPS 1854219 HAS SOUS 292978 HAS SOUPS 292100 WITH SCORE 293960.832
AT ITER 789 NEW BEST:: SOT 3218828 SOS 1860818 HAS SOPS 1854205 HAS SOUS 292964 HAS SOUPS 292086 WITH SCORE 293946.818
AT ITER 795 NEW BEST:: SOT 3218810 SOS 1860783 HAS SOPS 1854170 HAS SOUS 292911 HAS SOUPS 292033 WITH SCORE 293893.783
AT ITER 797 NEW BEST:: SOT 3218081 SOS 1860007 HAS SOPS 1853394 HAS SOUS 292158 HAS SOUPS 291280 WITH SCORE 293140.007
AT ITER 802 NEW BEST:: SOT 3218088 SOS 1860375 HAS SOPS 1853662 HAS SOUS 292086 HAS SOUPS 291208 WITH SCORE 293068.375
AT ITER 803 NEW BEST:: SOT 3218068 SOS 1860355 HAS SOPS 1853622 HAS SOUS 292048 HAS SOUPS 291168 WITH SCORE 293028.355
AT ITER 817 NEW BEST:: SOT 3218068 SOS 1860355 HAS SOPS 1853622 HAS SOUS 292026 HAS SOUPS 291146 WITH SCORE 293006.355
AT ITER 819 NEW BEST:: SOT 3218068 SOS 1860403 HAS SOPS 1853670 HAS SOUS 291969 HAS SOUPS 291089 WITH SCORE 292949.403
AT ITER 826 NEW BEST:: SOT 3217782 SOS 1860117 HAS SOPS 1853384 HAS SOUS 291282 HAS SOUPS 290402 WITH SCORE 292262.117
AT ITER 832 NEW BEST:: SOT 3217518 SOS 1859763 HAS SOPS 1853030 HAS SOUS 290940 HAS SOUPS 290060 WITH SCORE 291919.763
AT ITER 834 NEW BEST:: SOT 3217443 SOS 1859713 HAS SOPS 1852980 HAS SOUS 289382 HAS SOUPS 288502 WITH SCORE 290361.713
AT ITER 867 NEW BEST:: SOT 3217441 SOS 1859711 HAS SOPS 1852978 HAS SOUS 289379 HAS SOUPS 288499 WITH SCORE 290358.711
AT ITER 868 NEW BEST:: SOT 3217410 SOS 1859407 HAS SOPS 1852674 HAS SOUS 289138 HAS SOUPS 288258 WITH SCORE 290117.407
AT ITER 878 NEW BEST:: SOT 3217418 SOS 1859533 HAS SOPS 1852800 HAS SOUS 288935 HAS SOUPS 288055 WITH SCORE 289914.533
AT ITER 882 NEW BEST:: SOT 3217364 SOS 1859479 HAS SOPS 1852818 HAS SOUS 288577 HAS SOUPS 287697 WITH SCORE 289556.479
AT ITER 883 NEW BEST:: SOT 3217112 SOS 1859185 HAS SOPS 1852524 HAS SOUS 288355 HAS SOUPS 287475 WITH SCORE 289334.185
AT ITER 892 NEW BEST:: SOT 3216948 SOS 1859021 HAS SOPS 1852360 HAS SOUS 288166 HAS SOUPS 287286 WITH SCORE 289145.021
AT ITER 895 NEW BEST:: SOT 3216757 SOS 1858897 HAS SOPS 1852236 HAS SOUS 288071 HAS SOUPS 287191 WITH SCORE 289049.897
AT ITER 903 NEW BEST:: SOT 3216757 SOS 1858897 HAS SOPS 1852236 HAS SOUS 287829 HAS SOUPS 286949 WITH SCORE 288807.897
AT ITER 904 NEW BEST:: SOT 3216757 SOS 1858877 HAS SOPS 1852216 HAS SOUS 287814 HAS SOUPS 286934 WITH SCORE 288792.877
AT ITER 906 NEW BEST:: SOT 3216502 SOS 1858622 HAS SOPS 1851961 HAS SOUS 287508 HAS SOUPS 286628 WITH SCORE 288486.622
AT ITER 907 NEW BEST:: SOT 3216511 SOS 1858625 HAS SOPS 1851964 HAS SOUS 287492 HAS SOUPS 286612 WITH SCORE 288470.625
AT ITER 908 NEW BEST:: SOT 3216413 SOS 1858576 HAS SOPS 1851915 HAS SOUS 287449 HAS SOUPS 286569 WITH SCORE 288427.576
AT ITER 928 NEW BEST:: SOT 3216413 SOS 1858416 HAS SOPS 1851755 HAS SOUS 287409 HAS SOUPS 286529 WITH SCORE 288387.416
AT ITER 937 NEW BEST:: SOT 3216393 SOS 1858400 HAS SOPS 1851739 HAS SOUS 287381 HAS SOUPS 286501 WITH SCORE 288359.4
AT ITER 938 NEW BEST:: SOT 3202878 SOS 1844885 HAS SOPS 1838224 HAS SOUS 285446 HAS SOUPS 284566 WITH SCORE 286410.885
AT ITER 948 NEW BEST:: SOT 3202834 SOS 1844835 HAS SOPS 1838174 HAS SOUS 285358 HAS SOUPS 284478 WITH SCORE 286322.835
AT ITER 949 NEW BEST:: SOT 3202747 SOS 1844871 HAS SOPS 1838174 HAS SOUS 285341 HAS SOUPS 284459 WITH SCORE 286303.871
AT ITER 951 NEW BEST:: SOT 3210309 SOS 1852528 HAS SOPS 1845831 HAS SOUS 284878 HAS SOUPS 283996 WITH SCORE 285848.528
AT ITER 956 NEW BEST:: SOT 3210309 SOS 1849388 HAS SOPS 1843165 HAS SOUS 284799 HAS SOUPS 283996 WITH SCORE 285845.388
AT ITER 963 NEW BEST:: SOT 3068023 SOS 1707222 HAS SOPS 1700999 HAS SOUS 266394 HAS SOUPS 265591 WITH SCORE 267298.222
AT ITER 966 NEW BEST:: SOT 3068098 SOS 1707297 HAS SOPS 1701074 HAS SOUS 264722 HAS SOUPS 263919 WITH SCORE 265626.297
AT ITER 967 NEW BEST:: SOT 3068077 SOS 1707276 HAS SOPS 1701053 HAS SOUS 264715 HAS SOUPS 263912 WITH SCORE 265619.276
AT ITER 973 NEW BEST:: SOT 3068003 SOS 1707122 HAS SOPS 1700899 HAS SOUS 264668 HAS SOUPS 263865 WITH SCORE 265572.122
AT ITER 975 NEW BEST:: SOT 3064061 SOS 1703180 HAS SOPS 1696957 HAS SOUS 264110 HAS SOUPS 263307 WITH SCORE 265010.18
AT ITER 1004 NEW BEST:: SOT 3063635 SOS 1702606 HAS SOPS 1696383 HAS SOUS 263536 HAS SOUPS 262733 WITH SCORE 264435.606
AT ITER 1005 NEW BEST:: SOT 3063409 SOS 1702403 HAS SOPS 1696180 HAS SOUS 263333 HAS SOUPS 262530 WITH SCORE 264232.403
AT ITER 1012 NEW BEST:: SOT 3063283 SOS 1702187 HAS SOPS 1695973 HAS SOUS 263171 HAS SOUPS 262368 WITH SCORE 264070.187
AT ITER 1019 NEW BEST:: SOT 3063168 SOS 1702072 HAS SOPS 1695858 HAS SOUS 262941 HAS SOUPS 262138 WITH SCORE 263840.072
AT ITER 1027 NEW BEST:: SOT 3063161 SOS 1702065 HAS SOPS 1695851 HAS SOUS 262874 HAS SOUPS 262071 WITH SCORE 263773.065
AT ITER 1029 NEW BEST:: SOT 3063146 SOS 1701964 HAS SOPS 1695750 HAS SOUS 262813 HAS SOUPS 262010 WITH SCORE 263711.964
AT ITER 1040 NEW BEST:: SOT 3062387 SOS 1701205 HAS SOPS 1694991 HAS SOUS 262027 HAS SOUPS 261224 WITH SCORE 262925.205
AT ITER 1044 NEW BEST:: SOT 3062250 SOS 1700712 HAS SOPS 1694498 HAS SOUS 261753 HAS SOUPS 260950 WITH SCORE 262650.712
AT ITER 1052 NEW BEST:: SOT 3062454 SOS 1700909 HAS SOPS 1694574 HAS SOUS 261736 HAS SOUPS 260933 WITH SCORE 262633.909
AT ITER 1068 NEW BEST:: SOT 3062266 SOS 1700627 HAS SOPS 1694292 HAS SOUS 261548 HAS SOUPS 260745 WITH SCORE 262445.627
AT ITER 1070 NEW BEST:: SOT 3062321 SOS 1700682 HAS SOPS 1694311 HAS SOUS 261491 HAS SOUPS 260688 WITH SCORE 262388.682
AT ITER 1087 NEW BEST:: SOT 3019182 SOS 1688735 HAS SOPS 1682364 HAS SOUS 260011 HAS SOUPS 259208 WITH SCORE 260896.735
AT ITER 1094 NEW BEST:: SOT 3019173 SOS 1688726 HAS SOPS 1682346 HAS SOUS 259993 HAS SOUPS 259190 WITH SCORE 260878.726
AT ITER 1107 NEW BEST:: SOT 3018835 SOS 1687429 HAS SOPS 1681049 HAS SOUS 259758 HAS SOUPS 258955 WITH SCORE 260642.429
AT ITER 1132 NEW BEST:: SOT 3018866 SOS 1687411 HAS SOPS 1681031 HAS SOUS 259740 HAS SOUPS 258937 WITH SCORE 260624.411
AT ITER 1133 NEW BEST:: SOT 3018846 SOS 1687371 HAS SOPS 1680991 HAS SOUS 259700 HAS SOUPS 258897 WITH SCORE 260584.371
AT ITER 1134 NEW BEST:: SOT 2995132 SOS 1666660 HAS SOPS 1660280 HAS SOUS 259252 HAS SOUPS 258449 WITH SCORE 260115.66
AT ITER 1142 NEW BEST:: SOT 2995120 SOS 1666664 HAS SOPS 1660284 HAS SOUS 258831 HAS SOUPS 258028 WITH SCORE 259694.664
AT ITER 1143 NEW BEST:: SOT 2995119 SOS 1666659 HAS SOPS 1660279 HAS SOUS 258827 HAS SOUPS 258024 WITH SCORE 259690.659
AT ITER 1157 NEW BEST:: SOT 2915692 SOS 1587096 HAS SOPS 1580716 HAS SOUS 250939 HAS SOUPS 250136 WITH SCORE 251723.096
AT ITER 1161 NEW BEST:: SOT 2915269 SOS 1586603 HAS SOPS 1580223 HAS SOUS 250319 HAS SOUPS 249516 WITH SCORE 251102.603
AT ITER 1174 NEW BEST:: SOT 2915269 SOS 1586603 HAS SOPS 1580223 HAS SOUS 250315 HAS SOUPS 249512 WITH SCORE 251098.603
AT ITER 1178 NEW BEST:: SOT 2915344 SOS 1586678 HAS SOPS 1580262 HAS SOUS 250245 HAS SOUPS 249442 WITH SCORE 251028.678
AT ITER 1179 NEW BEST:: SOT 2915293 SOS 1586627 HAS SOPS 1580211 HAS SOUS 250194 HAS SOUPS 249391 WITH SCORE 250977.627
AT ITER 1182 NEW BEST:: SOT 2914737 SOS 1586218 HAS SOPS 1579802 HAS SOUS 249770 HAS SOUPS 248967 WITH SCORE 250553.218
AT ITER 1184 NEW BEST:: SOT 2914737 SOS 1586218 HAS SOPS 1579798 HAS SOUS 249766 HAS SOUPS 248963 WITH SCORE 250549.218
AT ITER 1202 NEW BEST:: SOT 2914710 SOS 1586164 HAS SOPS 1579744 HAS SOUS 249700 HAS SOUPS 248897 WITH SCORE 250483.164
AT ITER 1205 NEW BEST:: SOT 2914263 SOS 1581687 HAS SOPS 1576251 HAS SOUS 249104 HAS SOUPS 248465 WITH SCORE 250046.687
AT ITER 1211 NEW BEST:: SOT 2913954 SOS 1581193 HAS SOPS 1575757 HAS SOUS 248871 HAS SOUPS 248232 WITH SCORE 249813.193
AT ITER 1215 NEW BEST:: SOT 2913954 SOS 1581162 HAS SOPS 1575726 HAS SOUS 248867 HAS SOUPS 248228 WITH SCORE 249809.162
AT ITER 1221 NEW BEST:: SOT 2913954 SOS 1581201 HAS SOPS 1575765 HAS SOUS 248823 HAS SOUPS 248184 WITH SCORE 249765.201
AT ITER 1230 NEW BEST:: SOT 2913826 SOS 1580945 HAS SOPS 1575509 HAS SOUS 248567 HAS SOUPS 247928 WITH SCORE 249508.945
AT ITER 1231 NEW BEST:: SOT 2913824 SOS 1581375 HAS SOPS 1575935 HAS SOUS 248521 HAS SOUPS 247882 WITH SCORE 249463.375
AT ITER 1232 NEW BEST:: SOT 2913835 SOS 1581408 HAS SOPS 1575968 HAS SOUS 248119 HAS SOUPS 247480 WITH SCORE 249061.408
AT ITER 1238 NEW BEST:: SOT 2913877 SOS 1581619 HAS SOPS 1576179 HAS SOUS 248099 HAS SOUPS 247460 WITH SCORE 249041.619
AT ITER 1239 NEW BEST:: SOT 2913881 SOS 1581623 HAS SOPS 1576138 HAS SOUS 248067 HAS SOUPS 247421 WITH SCORE 249002.623
AT ITER 1241 NEW BEST:: SOT 2910308 SOS 1578255 HAS SOPS 1572770 HAS SOUS 244638 HAS SOUPS 243992 WITH SCORE 245570.255
AT ITER 1249 NEW BEST:: SOT 2910472 SOS 1578419 HAS SOPS 1572934 HAS SOUS 244580 HAS SOUPS 243934 WITH SCORE 245512.419
AT ITER 1281 NEW BEST:: SOT 2910413 SOS 1578246 HAS SOPS 1572761 HAS SOUS 244558 HAS SOUPS 243912 WITH SCORE 245490.246
AT ITER 1284 NEW BEST:: SOT 2910413 SOS 1578186 HAS SOPS 1572161 HAS SOUS 244573 HAS SOUPS 243837 WITH SCORE 245415.186
AT ITER 1293 NEW BEST:: SOT 2910385 SOS 1578158 HAS SOPS 1572105 HAS SOUS 244620 HAS SOUPS 243814 WITH SCORE 245392.158
AT ITER 1295 NEW BEST:: SOT 2909833 SOS 1577666 HAS SOPS 1571613 HAS SOUS 244068 HAS SOUPS 243262 WITH SCORE 244839.666
AT ITER 1302 NEW BEST:: SOT 2909819 SOS 1578398 HAS SOPS 1572395 HAS SOUS 243467 HAS SOUPS 242661 WITH SCORE 244239.398
AT ITER 1304 NEW BEST:: SOT 2909779 SOS 1578378 HAS SOPS 1572375 HAS SOUS 243347 HAS SOUPS 242541 WITH SCORE 244119.378
AT ITER 1310 NEW BEST:: SOT 2909918 SOS 1579294 HAS SOPS 1573291 HAS SOUS 243295 HAS SOUPS 242489 WITH SCORE 244068.294
AT ITER 1311 NEW BEST:: SOT 2909918 SOS 1579300 HAS SOPS 1573291 HAS SOUS 243289 HAS SOUPS 242483 WITH SCORE 244062.3
AT ITER 1316 NEW BEST:: SOT 2909935 SOS 1579317 HAS SOPS 1573352 HAS SOUS 243228 HAS SOUPS 242422 WITH SCORE 244001.317
AT ITER 1320 NEW BEST:: SOT 2909942 SOS 1579324 HAS SOPS 1573405 HAS SOUS 243138 HAS SOUPS 242332 WITH SCORE 243911.324
AT ITER 1329 NEW BEST:: SOT 2869828 SOS 1550820 HAS SOPS 1544901 HAS SOUS 240848 HAS SOUPS 240042 WITH SCORE 241592.82
AT ITER 1337 NEW BEST:: SOT 2869819 SOS 1550811 HAS SOPS 1544887 HAS SOUS 240834 HAS SOUPS 240028 WITH SCORE 241578.811
AT ITER 1341 NEW BEST:: SOT 2869801 SOS 1550637 HAS SOPS 1544713 HAS SOUS 240798 HAS SOUPS 239992 WITH SCORE 241542.637
AT ITER 1369 NEW BEST:: SOT 2869772 SOS 1550618 HAS SOPS 1544694 HAS SOUS 240742 HAS SOUPS 239936 WITH SCORE 241486.618
AT ITER 1401 NEW BEST:: SOT 2869716 SOS 1550496 HAS SOPS 1544572 HAS SOUS 240623 HAS SOUPS 239817 WITH SCORE 241367.496
AT ITER 1411 NEW BEST:: SOT 2865843 SOS 1546618 HAS SOPS 1540694 HAS SOUS 240195 HAS SOUPS 239389 WITH SCORE 240935.618
AT ITER 1431 NEW BEST:: SOT 2865843 SOS 1546618 HAS SOPS 1540663 HAS SOUS 240139 HAS SOUPS 239330 WITH SCORE 240876.618
AT ITER 1435 NEW BEST:: SOT 2865833 SOS 1542798 HAS SOPS 1536843 HAS SOUS 240094 HAS SOUPS 239285 WITH SCORE 240827.798
AT ITER 1437 NEW BEST:: SOT 2865848 SOS 1542813 HAS SOPS 1536858 HAS SOUS 239749 HAS SOUPS 238940 WITH SCORE 240482.813
AT ITER 1439 NEW BEST:: SOT 2865862 SOS 1542827 HAS SOPS 1536872 HAS SOUS 239747 HAS SOUPS 238938 WITH SCORE 240480.827
AT ITER 1443 NEW BEST:: SOT 2865799 SOS 1542764 HAS SOPS 1536809 HAS SOUS 239693 HAS SOUPS 238884 WITH SCORE 240426.764
AT ITER 1444 NEW BEST:: SOT 2865799 SOS 1542764 HAS SOPS 1536809 HAS SOUS 239691 HAS SOUPS 238882 WITH SCORE 240424.764
AT ITER 1447 NEW BEST:: SOT 2865760 SOS 1542725 HAS SOPS 1536770 HAS SOUS 239521 HAS SOUPS 238712 WITH SCORE 240254.725
AT ITER 1491 NEW BEST:: SOT 2865484 SOS 1542190 HAS SOPS 1536235 HAS SOUS 239268 HAS SOUPS 238459 WITH SCORE 240001.19
AT ITER 1492 NEW BEST:: SOT 2865500 SOS 1542206 HAS SOPS 1536251 HAS SOUS 239263 HAS SOUPS 238454 WITH SCORE 239996.206
AT ITER 1516 NEW BEST:: SOT 2830741 SOS 1546309 HAS SOPS 1540354 HAS SOUS 239008 HAS SOUPS 238199 WITH SCORE 239745.309
AT ITER 1517 NEW BEST:: SOT 2830736 SOS 1545384 HAS SOPS 1539429 HAS SOUS 238988 HAS SOUPS 238179 WITH SCORE 239724.384
AT ITER 1518 NEW BEST:: SOT 2830648 SOS 1545313 HAS SOPS 1539358 HAS SOUS 238970 HAS SOUPS 238161 WITH SCORE 239706.313
AT ITER 1531 NEW BEST:: SOT 2830648 SOS 1545313 HAS SOPS 1539358 HAS SOUS 238921 HAS SOUPS 238112 WITH SCORE 239657.313
AT ITER 1538 NEW BEST:: SOT 2831002 SOS 1545667 HAS SOPS 1539712 HAS SOUS 238811 HAS SOUPS 238002 WITH SCORE 239547.667
AT ITER 1561 NEW BEST:: SOT 2830483 SOS 1545172 HAS SOPS 1539217 HAS SOUS 238478 HAS SOUPS 237669 WITH SCORE 239214.172
AT ITER 1564 NEW BEST:: SOT 2830368 SOS 1545057 HAS SOPS 1539102 HAS SOUS 238343 HAS SOUPS 237534 WITH SCORE 239079.057
AT ITER 1567 NEW BEST:: SOT 2830393 SOS 1545082 HAS SOPS 1539091 HAS SOUS 238305 HAS SOUPS 237496 WITH SCORE 239041.082
AT ITER 1572 NEW BEST:: SOT 2830386 SOS 1545068 HAS SOPS 1539077 HAS SOUS 238291 HAS SOUPS 237482 WITH SCORE 239027.068
AT ITER 1590 NEW BEST:: SOT 2830064 SOS 1544669 HAS SOPS 1538678 HAS SOUS 237616 HAS SOUPS 236807 WITH SCORE 238351.669
AT ITER 1613 NEW BEST:: SOT 2830064 SOS 1544669 HAS SOPS 1538678 HAS SOUS 237611 HAS SOUPS 236802 WITH SCORE 238346.669
AT ITER 1616 NEW BEST:: SOT 2829958 SOS 1544560 HAS SOPS 1538569 HAS SOUS 237457 HAS SOUPS 236648 WITH SCORE 238192.56
AT ITER 1638 NEW BEST:: SOT 2829697 SOS 1544214 HAS SOPS 1538223 HAS SOUS 237131 HAS SOUPS 236322 WITH SCORE 237866.214
AT ITER 1646 NEW BEST:: SOT 2829646 SOS 1544163 HAS SOPS 1538172 HAS SOUS 236746 HAS SOUPS 235937 WITH SCORE 237481.163
AT ITER 1649 NEW BEST:: SOT 2829640 SOS 1544162 HAS SOPS 1538171 HAS SOUS 236708 HAS SOUPS 235899 WITH SCORE 237443.162
AT ITER 1664 NEW BEST:: SOT 2829628 SOS 1544150 HAS SOPS 1538159 HAS SOUS 236695 HAS SOUPS 235886 WITH SCORE 237430.15
AT ITER 1682 NEW BEST:: SOT 2829628 SOS 1532722 HAS SOPS 1526731 HAS SOUS 235678 HAS SOUPS 234869 WITH SCORE 236401.722
AT ITER 1690 NEW BEST:: SOT 2829634 SOS 1532728 HAS SOPS 1526743 HAS SOUS 235675 HAS SOUPS 234866 WITH SCORE 236398.728
AT ITER 1699 NEW BEST:: SOT 2829346 SOS 1532579 HAS SOPS 1526594 HAS SOUS 235558 HAS SOUPS 234749 WITH SCORE 236281.579
AT ITER 1719 NEW BEST:: SOT 2829346 SOS 1532579 HAS SOPS 1526594 HAS SOUS 235541 HAS SOUPS 234732 WITH SCORE 236264.579
AT ITER 1731 NEW BEST:: SOT 2810710 SOS 1513931 HAS SOPS 1507946 HAS SOUS 233033 HAS SOUPS 232224 WITH SCORE 233737.931
AT ITER 1743 NEW BEST:: SOT 2810707 SOS 1513928 HAS SOPS 1507943 HAS SOUS 233015 HAS SOUPS 232206 WITH SCORE 233719.928
AT ITER 1746 NEW BEST:: SOT 2810707 SOS 1511768 HAS SOPS 1505783 HAS SOUS 233015 HAS SOUPS 232206 WITH SCORE 233717.768
AT ITER 1748 NEW BEST:: SOT 2810329 SOS 1511329 HAS SOPS 1505344 HAS SOUS 232563 HAS SOUPS 231754 WITH SCORE 233265.329
AT ITER 1766 NEW BEST:: SOT 2810365 SOS 1511008 HAS SOPS 1505023 HAS SOUS 232557 HAS SOUPS 231748 WITH SCORE 233259.008
AT ITER 1772 NEW BEST:: SOT 2810366 SOS 1507719 HAS SOPS 1501734 HAS SOUS 232493 HAS SOUPS 231684 WITH SCORE 233191.719
AT ITER 1803 NEW BEST:: SOT 2810345 SOS 1507698 HAS SOPS 1501713 HAS SOUS 232445 HAS SOUPS 231636 WITH SCORE 233143.698
AT ITER 1818 NEW BEST:: SOT 2810353 SOS 1513783 HAS SOPS 1507798 HAS SOUS 232409 HAS SOUPS 231600 WITH SCORE 233113.783
AT ITER 1830 NEW BEST:: SOT 2810332 SOS 1513762 HAS SOPS 1507756 HAS SOUS 232367 HAS SOUPS 231558 WITH SCORE 233071.762
AT ITER 1843 NEW BEST:: SOT 2810314 SOS 1513735 HAS SOPS 1507729 HAS SOUS 232349 HAS SOUPS 231540 WITH SCORE 233053.735
AT ITER 1850 NEW BEST:: SOT 2810314 SOS 1513735 HAS SOPS 1507729 HAS SOUS 232316 HAS SOUPS 231507 WITH SCORE 233020.735
AT ITER 1854 NEW BEST:: SOT 2808280 SOS 1511691 HAS SOPS 1505685 HAS SOUS 232061 HAS SOUPS 231252 WITH SCORE 232763.691
AT ITER 1858 NEW BEST:: SOT 2808126 SOS 1511537 HAS SOPS 1505531 HAS SOUS 231973 HAS SOUPS 231164 WITH SCORE 232675.537
AT ITER 1875 NEW BEST:: SOT 2807797 SOS 1511037 HAS SOPS 1505031 HAS SOUS 231518 HAS SOUPS 230709 WITH SCORE 232220.037
AT ITER 1888 NEW BEST:: SOT 2807798 SOS 1510830 HAS SOPS 1504824 HAS SOUS 231302 HAS SOUPS 230493 WITH SCORE 232003.83
AT ITER 1890 NEW BEST:: SOT 2807797 SOS 1510829 HAS SOPS 1504822 HAS SOUS 231299 HAS SOUPS 230490 WITH SCORE 232000.829
AT ITER 1910 NEW BEST:: SOT 2807701 SOS 1510700 HAS SOPS 1504693 HAS SOUS 231163 HAS SOUPS 230354 WITH SCORE 231864.7
AT ITER 1911 NEW BEST:: SOT 2807551 SOS 1510619 HAS SOPS 1504612 HAS SOUS 231149 HAS SOUPS 230340 WITH SCORE 231850.619
AT ITER 1919 NEW BEST:: SOT 2822282 SOS 1486614 HAS SOPS 1480607 HAS SOUS 230361 HAS SOUPS 229552 WITH SCORE 231038.614
AT ITER 1937 NEW BEST:: SOT 2822028 SOS 1486073 HAS SOPS 1480066 HAS SOUS 230317 HAS SOUPS 229508 WITH SCORE 230994.073
AT ITER 1939 NEW BEST:: SOT 2822022 SOS 1486100 HAS SOPS 1480093 HAS SOUS 230265 HAS SOUPS 229456 WITH SCORE 230942.1
AT ITER 1942 NEW BEST:: SOT 2822022 SOS 1486100 HAS SOPS 1480093 HAS SOUS 230261 HAS SOUPS 229452 WITH SCORE 230938.1
AT ITER 1952 NEW BEST:: SOT 2822004 SOS 1486082 HAS SOPS 1480057 HAS SOUS 230230 HAS SOUPS 229421 WITH SCORE 230907.082
AT ITER 1966 NEW BEST:: SOT 2821447 SOS 1485652 HAS SOPS 1479627 HAS SOUS 229688 HAS SOUPS 228879 WITH SCORE 230364.652
AT ITER 1973 NEW BEST:: SOT 2821925 SOS 1486343 HAS SOPS 1480318 HAS SOUS 229066 HAS SOUPS 228257 WITH SCORE 229743.343
AT ITER 1976 NEW BEST:: SOT 2821925 SOS 1486346 HAS SOPS 1480321 HAS SOUS 229060 HAS SOUPS 228251 WITH SCORE 229737.346
AT ITER 1982 NEW BEST:: SOT 2821899 SOS 1486335 HAS SOPS 1480310 HAS SOUS 229004 HAS SOUPS 228195 WITH SCORE 229681.335
AT ITER 1988 NEW BEST:: SOT 2821917 SOS 1486101 HAS SOPS 1480071 HAS SOUS 228818 HAS SOUPS 228009 WITH SCORE 229495.101
AT ITER 1994 NEW BEST:: SOT 2822032 SOS 1486216 HAS SOPS 1480288 HAS SOUS 228586 HAS SOUPS 227777 WITH SCORE 229263.216
AT ITER 2001 NEW BEST:: SOT 2822199 SOS 1486383 HAS SOPS 1480455 HAS SOUS 228471 HAS SOUPS 227662 WITH SCORE 229148.383
AT ITER 2043 NEW BEST:: SOT 2822304 SOS 1487106 HAS SOPS 1481178 HAS SOUS 228433 HAS SOUPS 227624 WITH SCORE 229111.106
AT ITER 2074 NEW BEST:: SOT 2822243 SOS 1487045 HAS SOPS 1481117 HAS SOUS 228321 HAS SOUPS 227512 WITH SCORE 228999.045
AT ITER 2094 NEW BEST:: SOT 2822313 SOS 1486931 HAS SOPS 1481003 HAS SOUS 228297 HAS SOUPS 227488 WITH SCORE 228974.931
AT ITER 2096 NEW BEST:: SOT 2822337 SOS 1486949 HAS SOPS 1481021 HAS SOUS 228279 HAS SOUPS 227470 WITH SCORE 228956.949
AT ITER 2102 NEW BEST:: SOT 2828466 SOS 1459533 HAS SOPS 1453605 HAS SOUS 225163 HAS SOUPS 224354 WITH SCORE 225813.533
AT ITER 2103 NEW BEST:: SOT 2828487 SOS 1459632 HAS SOPS 1453704 HAS SOUS 224291 HAS SOUPS 223482 WITH SCORE 224941.632
AT ITER 2117 NEW BEST:: SOT 2828482 SOS 1459609 HAS SOPS 1453681 HAS SOUS 224274 HAS SOUPS 223465 WITH SCORE 224924.609
AT ITER 2118 NEW BEST:: SOT 2828256 SOS 1459283 HAS SOPS 1453355 HAS SOUS 223909 HAS SOUPS 223100 WITH SCORE 224559.283
AT ITER 2122 NEW BEST:: SOT 2832566 SOS 1463601 HAS SOPS 1457673 HAS SOUS 223012 HAS SOUPS 222203 WITH SCORE 223666.601
AT ITER 2151 NEW BEST:: SOT 2832572 SOS 1463429 HAS SOPS 1457501 HAS SOUS 223006 HAS SOUPS 222197 WITH SCORE 223660.429
AT ITER 2162 NEW BEST:: SOT 2832361 SOS 1463235 HAS SOPS 1457307 HAS SOUS 222812 HAS SOUPS 222003 WITH SCORE 223466.235
AT ITER 2165 NEW BEST:: SOT 2832365 SOS 1462992 HAS SOPS 1457064 HAS SOUS 222811 HAS SOUPS 222002 WITH SCORE 223464.992
AT ITER 2173 NEW BEST:: SOT 2832365 SOS 1462992 HAS SOPS 1457064 HAS SOUS 222805 HAS SOUPS 221996 WITH SCORE 223458.992
AT ITER 2174 NEW BEST:: SOT 2832002 SOS 1462430 HAS SOPS 1456502 HAS SOUS 222448 HAS SOUPS 221639 WITH SCORE 223101.43
AT ITER 2192 NEW BEST:: SOT 2832002 SOS 1460392 HAS SOPS 1454464 HAS SOUS 222448 HAS SOUPS 221639 WITH SCORE 223099.392
AT ITER 2205 NEW BEST:: SOT 2831913 SOS 1460303 HAS SOPS 1454375 HAS SOUS 222359 HAS SOUPS 221550 WITH SCORE 223010.303
AT ITER 2210 NEW BEST:: SOT 2831860 SOS 1460262 HAS SOPS 1454334 HAS SOUS 222229 HAS SOUPS 221420 WITH SCORE 222880.262
AT ITER 2308 NEW BEST:: SOT 2817493 SOS 1445869 HAS SOPS 1439941 HAS SOUS 220777 HAS SOUPS 219968 WITH SCORE 221413.869
AT ITER 2315 NEW BEST:: SOT 2817370 SOS 1445746 HAS SOPS 1439818 HAS SOUS 220674 HAS SOUPS 219865 WITH SCORE 221310.746
AT ITER 2322 NEW BEST:: SOT 2814111 SOS 1442448 HAS SOPS 1436520 HAS SOUS 220633 HAS SOUPS 219824 WITH SCORE 221266.448
AT ITER 2327 NEW BEST:: SOT 2814102 SOS 1442430 HAS SOPS 1436502 HAS SOUS 220615 HAS SOUPS 219806 WITH SCORE 221248.43
AT ITER 2333 NEW BEST:: SOT 2814131 SOS 1442459 HAS SOPS 1436531 HAS SOUS 220558 HAS SOUPS 219749 WITH SCORE 221191.459
AT ITER 2339 NEW BEST:: SOT 2814080 SOS 1442408 HAS SOPS 1436480 HAS SOUS 220436 HAS SOUPS 219627 WITH SCORE 221069.408
AT ITER 2345 NEW BEST:: SOT 2814044 SOS 1442372 HAS SOPS 1436444 HAS SOUS 220400 HAS SOUPS 219591 WITH SCORE 221033.372
AT ITER 2375 NEW BEST:: SOT 2780091 SOS 1408346 HAS SOPS 1402418 HAS SOUS 216510 HAS SOUPS 215701 WITH SCORE 217109.346
AT ITER 2398 NEW BEST:: SOT 2780091 SOS 1408346 HAS SOPS 1402418 HAS SOUS 216404 HAS SOUPS 215595 WITH SCORE 217003.346
AT ITER 2423 NEW BEST:: SOT 2780083 SOS 1408306 HAS SOPS 1402378 HAS SOUS 216337 HAS SOUPS 215528 WITH SCORE 216936.306
AT ITER 2439 NEW BEST:: SOT 2765047 SOS 1392771 HAS SOPS 1386843 HAS SOUS 215391 HAS SOUPS 214582 WITH SCORE 215974.771
AT ITER 2440 NEW BEST:: SOT 2765041 SOS 1392862 HAS SOPS 1386934 HAS SOUS 215297 HAS SOUPS 214488 WITH SCORE 215880.862
AT ITER 2463 NEW BEST:: SOT 2765041 SOS 1392862 HAS SOPS 1386934 HAS SOUS 215285 HAS SOUPS 214476 WITH SCORE 215868.862
AT ITER 2482 NEW BEST:: SOT 2765041 SOS 1392740 HAS SOPS 1386812 HAS SOUS 215097 HAS SOUPS 214288 WITH SCORE 215680.74
AT ITER 2484 NEW BEST:: SOT 2765080 SOS 1392779 HAS SOPS 1386851 HAS SOUS 215091 HAS SOUPS 214282 WITH SCORE 215674.779
AT ITER 2500 NEW BEST:: SOT 2765044 SOS 1392743 HAS SOPS 1386815 HAS SOUS 215055 HAS SOUPS 214246 WITH SCORE 215638.743
AT ITER 2544 NEW BEST:: SOT 2765035 SOS 1392734 HAS SOPS 1386793 HAS SOUS 215034 HAS SOUPS 214224 WITH SCORE 215616.734
AT ITER 2548 NEW BEST:: SOT 2765035 SOS 1392579 HAS SOPS 1386638 HAS SOUS 214153 HAS SOUPS 213343 WITH SCORE 214735.579
AT ITER 2549 NEW BEST:: SOT 2764876 SOS 1392291 HAS SOPS 1386350 HAS SOUS 213835 HAS SOUPS 213025 WITH SCORE 214417.291
AT ITER 2553 NEW BEST:: SOT 2764977 SOS 1392271 HAS SOPS 1386316 HAS SOUS 213812 HAS SOUPS 212988 WITH SCORE 214380.271
AT ITER 2555 NEW BEST:: SOT 2764910 SOS 1392131 HAS SOPS 1386176 HAS SOUS 213633 HAS SOUPS 212809 WITH SCORE 214201.131
AT ITER 2556 NEW BEST:: SOT 2764864 SOS 1392049 HAS SOPS 1386094 HAS SOUS 213505 HAS SOUPS 212681 WITH SCORE 214073.049
AT ITER 2564 NEW BEST:: SOT 2764852 SOS 1392037 HAS SOPS 1386082 HAS SOUS 213493 HAS SOUPS 212669 WITH SCORE 214061.037
AT ITER 2568 NEW BEST:: SOT 2764868 SOS 1392053 HAS SOPS 1386152 HAS SOUS 213252 HAS SOUPS 212428 WITH SCORE 213820.053
AT ITER 2584 NEW BEST:: SOT 2764868 SOS 1392029 HAS SOPS 1386128 HAS SOUS 213252 HAS SOUPS 212428 WITH SCORE 213820.029
AT ITER 2585 NEW BEST:: SOT 2764866 SOS 1391991 HAS SOPS 1386090 HAS SOUS 213146 HAS SOUPS 212322 WITH SCORE 213713.991
AT ITER 2604 NEW BEST:: SOT 2764866 SOS 1392027 HAS SOPS 1386126 HAS SOUS 213140 HAS SOUPS 212316 WITH SCORE 213708.027
AT ITER 2618 NEW BEST:: SOT 2764850 SOS 1391999 HAS SOPS 1386134 HAS SOUS 212577 HAS SOUPS 211759 WITH SCORE 213150.999
AT ITER 2621 NEW BEST:: SOT 2764850 SOS 1391985 HAS SOPS 1386120 HAS SOUS 212577 HAS SOUPS 211759 WITH SCORE 213150.985
AT ITER 2632 NEW BEST:: SOT 2764497 SOS 1391752 HAS SOPS 1385887 HAS SOUS 212344 HAS SOUPS 211526 WITH SCORE 212917.752
AT ITER 2647 NEW BEST:: SOT 2764558 SOS 1391813 HAS SOPS 1385948 HAS SOUS 212142 HAS SOUPS 211324 WITH SCORE 212715.813
AT ITER 2656 NEW BEST:: SOT 2764531 SOS 1391777 HAS SOPS 1385912 HAS SOUS 212097 HAS SOUPS 211279 WITH SCORE 212670.777
AT ITER 2668 NEW BEST:: SOT 2764531 SOS 1391777 HAS SOPS 1385912 HAS SOUS 212060 HAS SOUPS 211242 WITH SCORE 212633.777
AT ITER 2678 NEW BEST:: SOT 2763989 SOS 1391341 HAS SOPS 1385476 HAS SOUS 211480 HAS SOUPS 210662 WITH SCORE 212053.341
AT ITER 2685 NEW BEST:: SOT 2763978 SOS 1391007 HAS SOPS 1385142 HAS SOUS 211464 HAS SOUPS 210646 WITH SCORE 212037.007
AT ITER 2705 NEW BEST:: SOT 2763588 SOS 1390759 HAS SOPS 1384894 HAS SOUS 211140 HAS SOUPS 210322 WITH SCORE 211712.759
AT ITER 2718 NEW BEST:: SOT 2763263 SOS 1390424 HAS SOPS 1384559 HAS SOUS 210693 HAS SOUPS 209875 WITH SCORE 211265.424
AT ITER 2737 NEW BEST:: SOT 2763228 SOS 1390389 HAS SOPS 1384471 HAS SOUS 210612 HAS SOUPS 209764 WITH SCORE 211154.389
AT ITER 2738 NEW BEST:: SOT 2763181 SOS 1390295 HAS SOPS 1384377 HAS SOUS 210518 HAS SOUPS 209670 WITH SCORE 211060.295
AT ITER 2759 NEW BEST:: SOT 2763160 SOS 1390022 HAS SOPS 1384104 HAS SOUS 210456 HAS SOUPS 209608 WITH SCORE 210998.022
AT ITER 2768 NEW BEST:: SOT 2763160 SOS 1392539 HAS SOPS 1384498 HAS SOUS 210285 HAS SOUPS 209378 WITH SCORE 210770.539
AT ITER 2780 NEW BEST:: SOT 2763159 SOS 1392507 HAS SOPS 1384436 HAS SOUS 210253 HAS SOUPS 209346 WITH SCORE 210738.507
AT ITER 2789 NEW BEST:: SOT 2762940 SOS 1392293 HAS SOPS 1384222 HAS SOUS 210001 HAS SOUPS 209094 WITH SCORE 210486.293
AT ITER 2794 NEW BEST:: SOT 2762931 SOS 1392284 HAS SOPS 1384204 HAS SOUS 209983 HAS SOUPS 209076 WITH SCORE 210468.284
AT ITER 2807 NEW BEST:: SOT 2762927 SOS 1392282 HAS SOPS 1384202 HAS SOUS 209971 HAS SOUPS 209064 WITH SCORE 210456.282
AT ITER 2835 NEW BEST:: SOT 2762927 SOS 1392246 HAS SOPS 1384166 HAS SOUS 209971 HAS SOUPS 209064 WITH SCORE 210456.246
AT ITER 2837 NEW BEST:: SOT 2680167 SOS 1466003 HAS SOPS 1457923 HAS SOUS 205574 HAS SOUPS 204667 WITH SCORE 206133.003
AT ITER 2842 NEW BEST:: SOT 2649749 SOS 1435585 HAS SOPS 1427505 HAS SOUS 201930 HAS SOUPS 201023 WITH SCORE 202458.585
AT ITER 2880 NEW BEST:: SOT 2649769 SOS 1435588 HAS SOPS 1427508 HAS SOUS 201928 HAS SOUPS 201021 WITH SCORE 202456.588
AT ITER 2907 NEW BEST:: SOT 2649339 SOS 1435156 HAS SOPS 1427076 HAS SOUS 201856 HAS SOUPS 200949 WITH SCORE 202384.156
AT ITER 2912 NEW BEST:: SOT 2649329 SOS 1435146 HAS SOPS 1427066 HAS SOUS 201843 HAS SOUPS 200936 WITH SCORE 202371.146
AT ITER 2919 NEW BEST:: SOT 2649257 SOS 1435092 HAS SOPS 1427012 HAS SOUS 201789 HAS SOUPS 200882 WITH SCORE 202317.092
AT ITER 2922 NEW BEST:: SOT 2648961 SOS 1434307 HAS SOPS 1426227 HAS SOUS 201358 HAS SOUPS 200451 WITH SCORE 201885.307
AT ITER 2924 NEW BEST:: SOT 2648929 SOS 1434259 HAS SOPS 1426179 HAS SOUS 201342 HAS SOUPS 200435 WITH SCORE 201869.259
AT ITER 2936 NEW BEST:: SOT 2588479 SOS 1373809 HAS SOPS 1365729 HAS SOUS 194712 HAS SOUPS 193805 WITH SCORE 195178.809
AT ITER 2952 NEW BEST:: SOT 2588564 SOS 1373894 HAS SOPS 1365814 HAS SOUS 194610 HAS SOUPS 193703 WITH SCORE 195076.894
AT ITER 2953 NEW BEST:: SOT 2588520 SOS 1373834 HAS SOPS 1365754 HAS SOUS 194522 HAS SOUPS 193615 WITH SCORE 194988.834
AT ITER 2962 NEW BEST:: SOT 2588520 SOS 1373849 HAS SOPS 1365769 HAS SOUS 194516 HAS SOUPS 193609 WITH SCORE 194982.849
AT ITER 2964 NEW BEST:: SOT 2588512 SOS 1373832 HAS SOPS 1365752 HAS SOUS 194500 HAS SOUPS 193593 WITH SCORE 194966.832
AT ITER 2967 NEW BEST:: SOT 2588506 SOS 1373826 HAS SOPS 1365746 HAS SOUS 194491 HAS SOUPS 193584 WITH SCORE 194957.826
AT ITER 2974 NEW BEST:: SOT 2588804 SOS 1373788 HAS SOPS 1361424 HAS SOUS 194906 HAS SOUPS 193285 WITH SCORE 194658.788
AT ITER 3000 NEW BEST:: SOT 2589234 SOS 1358814 HAS SOPS 1346450 HAS SOUS 194759 HAS SOUPS 193138 WITH SCORE 194496.814
AT ITER 3020 NEW BEST:: SOT 2589208 SOS 1358782 HAS SOPS 1346418 HAS SOUS 194704 HAS SOUPS 193083 WITH SCORE 194441.782
AT ITER 3039 NEW BEST:: SOT 2589107 SOS 1358696 HAS SOPS 1346332 HAS SOUS 194633 HAS SOUPS 193012 WITH SCORE 194370.696
AT ITER 3061 NEW BEST:: SOT 2589124 SOS 1358713 HAS SOPS 1346349 HAS SOUS 194627 HAS SOUPS 193006 WITH SCORE 194364.713
AT ITER 3082 NEW BEST:: SOT 2589120 SOS 1358705 HAS SOPS 1346341 HAS SOUS 194619 HAS SOUPS 192998 WITH SCORE 194356.705
AT ITER 3097 NEW BEST:: SOT 2589085 SOS 1355195 HAS SOPS 1341138 HAS SOUS 194527 HAS SOUPS 192906 WITH SCORE 194261.195
AT ITER 3137 NEW BEST:: SOT 2589067 SOS 1355190 HAS SOPS 1341133 HAS SOUS 194502 HAS SOUPS 192881 WITH SCORE 194236.19
AT ITER 3150 NEW BEST:: SOT 2588998 SOS 1355144 HAS SOPS 1341087 HAS SOUS 194050 HAS SOUPS 192429 WITH SCORE 193784.144
AT ITER 3152 NEW BEST:: SOT 2589059 SOS 1355205 HAS SOPS 1341103 HAS SOUS 193994 HAS SOUPS 192373 WITH SCORE 193728.205
AT ITER 3162 NEW BEST:: SOT 2589000 SOS 1355399 HAS SOPS 1341290 HAS SOUS 193918 HAS SOUPS 192281 WITH SCORE 193636.399
AT ITER 3165 NEW BEST:: SOT 2588902 SOS 1355301 HAS SOPS 1341150 HAS SOUS 193741 HAS SOUPS 192104 WITH SCORE 193459.301
AT ITER 3170 NEW BEST:: SOT 2588902 SOS 1355019 HAS SOPS 1340868 HAS SOUS 193734 HAS SOUPS 192097 WITH SCORE 193452.019
AT ITER 3185 NEW BEST:: SOT 2588896 SOS 1354980 HAS SOPS 1340829 HAS SOUS 193722 HAS SOUPS 192085 WITH SCORE 193439.98
AT ITER 3201 NEW BEST:: SOT 2588883 SOS 1354967 HAS SOPS 1340816 HAS SOUS 193709 HAS SOUPS 192072 WITH SCORE 193426.967
AT ITER 3207 NEW BEST:: SOT 2588896 SOS 1355001 HAS SOPS 1340850 HAS SOUS 193658 HAS SOUPS 192021 WITH SCORE 193376.001
AT ITER 3240 NEW BEST:: SOT 2588896 SOS 1354779 HAS SOPS 1340430 HAS SOUS 193655 HAS SOUPS 192018 WITH SCORE 193372.779
AT ITER 3248 NEW BEST:: SOT 2588879 SOS 1354762 HAS SOPS 1340413 HAS SOUS 193638 HAS SOUPS 192001 WITH SCORE 193355.762
AT ITER 3249 NEW BEST:: SOT 2588747 SOS 1354630 HAS SOPS 1340236 HAS SOUS 193503 HAS SOUPS 191866 WITH SCORE 193220.63
AT ITER 3330 NEW BEST:: SOT 2588709 SOS 1354462 HAS SOPS 1340003 HAS SOUS 193469 HAS SOUPS 191794 WITH SCORE 193148.462
AT ITER 3340 NEW BEST:: SOT 2588688 SOS 1354441 HAS SOPS 1340030 HAS SOUS 193424 HAS SOUPS 191749 WITH SCORE 193103.441
AT ITER 3341 NEW BEST:: SOT 2588768 SOS 1354671 HAS SOPS 1340260 HAS SOUS 193384 HAS SOUPS 191709 WITH SCORE 193063.671
AT ITER 3355 NEW BEST:: SOT 2588496 SOS 1354433 HAS SOPS 1340022 HAS SOUS 193146 HAS SOUPS 191471 WITH SCORE 192825.433
AT ITER 3380 NEW BEST:: SOT 2588511 SOS 1354494 HAS SOPS 1340083 HAS SOUS 193117 HAS SOUPS 191442 WITH SCORE 192796.494
AT ITER 3383 NEW BEST:: SOT 2588500 SOS 1354472 HAS SOPS 1340061 HAS SOUS 193102 HAS SOUPS 191427 WITH SCORE 192781.472
AT ITER 3386 NEW BEST:: SOT 2588500 SOS 1354516 HAS SOPS 1340105 HAS SOUS 193080 HAS SOUPS 191405 WITH SCORE 192759.516
AT ITER 3394 NEW BEST:: SOT 2588541 SOS 1354347 HAS SOPS 1339861 HAS SOUS 193035 HAS SOUPS 191335 WITH SCORE 192689.347
AT ITER 3444 NEW BEST:: SOT 2588556 SOS 1354502 HAS SOPS 1340016 HAS SOUS 192973 HAS SOUPS 191273 WITH SCORE 192627.502
AT ITER 3465 NEW BEST:: SOT 2588501 SOS 1354376 HAS SOPS 1339858 HAS SOUS 192955 HAS SOUPS 191255 WITH SCORE 192609.376
AT ITER 3476 NEW BEST:: SOT 2588501 SOS 1354376 HAS SOPS 1339858 HAS SOUS 192939 HAS SOUPS 191239 WITH SCORE 192593.376
AT ITER 3482 NEW BEST:: SOT 2588493 SOS 1354368 HAS SOPS 1339850 HAS SOUS 192923 HAS SOUPS 191223 WITH SCORE 192577.368
AT ITER 3487 NEW BEST:: SOT 2588504 SOS 1354378 HAS SOPS 1339860 HAS SOUS 192921 HAS SOUPS 191221 WITH SCORE 192575.378
AT ITER 3492 NEW BEST:: SOT 2588481 SOS 1354332 HAS SOPS 1339814 HAS SOUS 192873 HAS SOUPS 191173 WITH SCORE 192527.332
AT ITER 3498 NEW BEST:: SOT 2540891 SOS 1306515 HAS SOPS 1291997 HAS SOUS 188584 HAS SOUPS 186884 WITH SCORE 188190.515
AT ITER 3500 NEW BEST:: SOT 2540960 SOS 1306584 HAS SOPS 1292064 HAS SOUS 188580 HAS SOUPS 186880 WITH SCORE 188186.584
AT ITER 3508 NEW BEST:: SOT 2540955 SOS 1306579 HAS SOPS 1292059 HAS SOUS 188570 HAS SOUPS 186870 WITH SCORE 188176.579
AT ITER 3509 NEW BEST:: SOT 2540943 SOS 1306567 HAS SOPS 1291941 HAS SOUS 188490 HAS SOUPS 186722 WITH SCORE 188028.567
AT ITER 3525 NEW BEST:: SOT 2540837 SOS 1306461 HAS SOPS 1291835 HAS SOUS 188460 HAS SOUPS 186692 WITH SCORE 187998.461
AT ITER 3536 NEW BEST:: SOT 2540760 SOS 1306307 HAS SOPS 1291681 HAS SOUS 188306 HAS SOUPS 186538 WITH SCORE 187844.307
AT ITER 3556 NEW BEST:: SOT 2565030 SOS 1228518 HAS SOPS 1213892 HAS SOUS 187988 HAS SOUPS 186220 WITH SCORE 187448.518
AT ITER 3558 NEW BEST:: SOT 2564954 SOS 1228403 HAS SOPS 1213777 HAS SOUS 187873 HAS SOUPS 186105 WITH SCORE 187333.403
AT ITER 3560 NEW BEST:: SOT 2564909 SOS 1228373 HAS SOPS 1213747 HAS SOUS 187798 HAS SOUPS 186030 WITH SCORE 187258.373
AT ITER 3573 NEW BEST:: SOT 2564953 SOS 1228449 HAS SOPS 1213779 HAS SOUS 187803 HAS SOUPS 186028 WITH SCORE 187256.449
AT ITER 3577 NEW BEST:: SOT 2564850 SOS 1228306 HAS SOPS 1213636 HAS SOUS 187596 HAS SOUPS 185821 WITH SCORE 187049.306
AT ITER 3581 NEW BEST:: SOT 2564689 SOS 1228157 HAS SOPS 1213487 HAS SOUS 187553 HAS SOUPS 185778 WITH SCORE 187006.157
AT ITER 3582 NEW BEST:: SOT 2564671 SOS 1228148 HAS SOPS 1213478 HAS SOUS 187535 HAS SOUPS 185760 WITH SCORE 186988.148
AT ITER 3590 NEW BEST:: SOT 2564567 SOS 1228044 HAS SOPS 1213374 HAS SOUS 187433 HAS SOUPS 185658 WITH SCORE 186886.044
AT ITER 3593 NEW BEST:: SOT 2564333 SOS 1228268 HAS SOPS 1213598 HAS SOUS 187260 HAS SOUPS 185485 WITH SCORE 186713.268
AT ITER 3601 NEW BEST:: SOT 2564128 SOS 1227907 HAS SOPS 1213237 HAS SOUS 187079 HAS SOUPS 185304 WITH SCORE 186531.907
AT ITER 3605 NEW BEST:: SOT 2564089 SOS 1227802 HAS SOPS 1213132 HAS SOUS 187067 HAS SOUPS 185292 WITH SCORE 186519.802
AT ITER 3612 NEW BEST:: SOT 2564019 SOS 1227486 HAS SOPS 1212816 HAS SOUS 186927 HAS SOUPS 185152 WITH SCORE 186379.486
AT ITER 3618 NEW BEST:: SOT 2563973 SOS 1227504 HAS SOPS 1212834 HAS SOUS 186902 HAS SOUPS 185127 WITH SCORE 186354.504
AT ITER 3623 NEW BEST:: SOT 2563791 SOS 1227335 HAS SOPS 1212665 HAS SOUS 186674 HAS SOUPS 184899 WITH SCORE 186126.335
AT ITER 3640 NEW BEST:: SOT 2563735 SOS 1227177 HAS SOPS 1212507 HAS SOUS 186637 HAS SOUPS 184862 WITH SCORE 186089.177
AT ITER 3642 NEW BEST:: SOT 2563207 SOS 1226732 HAS SOPS 1212062 HAS SOUS 186463 HAS SOUPS 184688 WITH SCORE 185914.732
AT ITER 3643 NEW BEST:: SOT 2563155 SOS 1226680 HAS SOPS 1212010 HAS SOUS 186463 HAS SOUPS 184688 WITH SCORE 185914.68
AT ITER 3647 NEW BEST:: SOT 2563150 SOS 1226674 HAS SOPS 1212039 HAS SOUS 186457 HAS SOUPS 184688 WITH SCORE 185914.674
AT ITER 3652 NEW BEST:: SOT 2563027 SOS 1226396 HAS SOPS 1211761 HAS SOUS 186335 HAS SOUPS 184566 WITH SCORE 185792.396
AT ITER 3661 NEW BEST:: SOT 2562883 SOS 1226252 HAS SOPS 1211617 HAS SOUS 186164 HAS SOUPS 184395 WITH SCORE 185621.252
AT ITER 3674 NEW BEST:: SOT 2562944 SOS 1226322 HAS SOPS 1211750 HAS SOUS 186075 HAS SOUPS 184306 WITH SCORE 185532.322
AT ITER 3678 NEW BEST:: SOT 2562895 SOS 1226273 HAS SOPS 1211701 HAS SOUS 185153 HAS SOUPS 183384 WITH SCORE 184610.273
AT ITER 3689 NEW BEST:: SOT 2562469 SOS 1225843 HAS SOPS 1211271 HAS SOUS 185083 HAS SOUPS 183314 WITH SCORE 184539.843
AT ITER 3703 NEW BEST:: SOT 2562426 SOS 1225757 HAS SOPS 1211185 HAS SOUS 184997 HAS SOUPS 183228 WITH SCORE 184453.757
AT ITER 3715 NEW BEST:: SOT 2562356 SOS 1225723 HAS SOPS 1211151 HAS SOUS 184941 HAS SOUPS 183172 WITH SCORE 184397.723
AT ITER 3716 NEW BEST:: SOT 2562283 SOS 1225657 HAS SOPS 1211085 HAS SOUS 184842 HAS SOUPS 183073 WITH SCORE 184298.657
AT ITER 3717 NEW BEST:: SOT 2562131 SOS 1225539 HAS SOPS 1210967 HAS SOUS 184724 HAS SOUPS 182955 WITH SCORE 184180.539
AT ITER 3718 NEW BEST:: SOT 2562095 SOS 1225503 HAS SOPS 1210895 HAS SOUS 184678 HAS SOUPS 182909 WITH SCORE 184134.503
AT ITER 3719 NEW BEST:: SOT 2534929 SOS 1199634 HAS SOPS 1185026 HAS SOUS 182496 HAS SOUPS 180727 WITH SCORE 181926.634
AT ITER 3754 NEW BEST:: SOT 2534355 SOS 1199204 HAS SOPS 1184596 HAS SOUS 182401 HAS SOUPS 180632 WITH SCORE 181831.204
AT ITER 3756 NEW BEST:: SOT 2534164 SOS 1198925 HAS SOPS 1184317 HAS SOUS 182383 HAS SOUPS 180614 WITH SCORE 181812.925
AT ITER 3759 NEW BEST:: SOT 2520880 SOS 1198537 HAS SOPS 1183929 HAS SOUS 181512 HAS SOUPS 179743 WITH SCORE 180941.537
AT ITER 3768 NEW BEST:: SOT 2520752 SOS 1198409 HAS SOPS 1183801 HAS SOUS 181372 HAS SOUPS 179603 WITH SCORE 180801.409
AT ITER 3772 NEW BEST:: SOT 2517652 SOS 1195313 HAS SOPS 1180705 HAS SOUS 180892 HAS SOUPS 179123 WITH SCORE 180318.313
AT ITER 3783 NEW BEST:: SOT 2517623 SOS 1195255 HAS SOPS 1180647 HAS SOUS 180834 HAS SOUPS 179065 WITH SCORE 180260.255
AT ITER 3786 NEW BEST:: SOT 2517623 SOS 1195305 HAS SOPS 1180697 HAS SOUS 180809 HAS SOUPS 179040 WITH SCORE 180235.305
AT ITER 3852 NEW BEST:: SOT 2517122 SOS 1194991 HAS SOPS 1180383 HAS SOUS 180244 HAS SOUPS 178475 WITH SCORE 179669.991
AT ITER 3855 NEW BEST:: SOT 2517055 SOS 1194982 HAS SOPS 1180374 HAS SOUS 180226 HAS SOUPS 178457 WITH SCORE 179651.982
AT ITER 3858 NEW BEST:: SOT 2517064 SOS 1194991 HAS SOPS 1180383 HAS SOUS 180169 HAS SOUPS 178400 WITH SCORE 179594.991
AT ITER 3865 NEW BEST:: SOT 2517064 SOS 1194903 HAS SOPS 1180295 HAS SOUS 180081 HAS SOUPS 178312 WITH SCORE 179506.903
AT ITER 3876 NEW BEST:: SOT 2517028 SOS 1194867 HAS SOPS 1180259 HAS SOUS 180011 HAS SOUPS 178242 WITH SCORE 179436.867
AT ITER 3879 NEW BEST:: SOT 2517019 SOS 1194858 HAS SOPS 1180250 HAS SOUS 179993 HAS SOUPS 178224 WITH SCORE 179418.858
AT ITER 3898 NEW BEST:: SOT 2517031 SOS 1194915 HAS SOPS 1180316 HAS SOUS 179981 HAS SOUPS 178212 WITH SCORE 179406.915
AT ITER 3925 NEW BEST:: SOT 2516986 SOS 1194599 HAS SOPS 1180000 HAS SOUS 179891 HAS SOUPS 178122 WITH SCORE 179316.599
AT ITER 3941 NEW BEST:: SOT 2516935 SOS 1194539 HAS SOPS 1179940 HAS SOUS 179785 HAS SOUPS 178016 WITH SCORE 179210.539
AT ITER 3942 NEW BEST:: SOT 2516935 SOS 1194537 HAS SOPS 1179938 HAS SOUS 179785 HAS SOUPS 178016 WITH SCORE 179210.537
AT ITER 3944 NEW BEST:: SOT 2517073 SOS 1194666 HAS SOPS 1179977 HAS SOUS 179671 HAS SOUPS 177902 WITH SCORE 179096.666
AT ITER 3959 NEW BEST:: SOT 2517027 SOS 1194620 HAS SOPS 1179931 HAS SOUS 179544 HAS SOUPS 177775 WITH SCORE 178969.62
AT ITER 3965 NEW BEST:: SOT 2516923 SOS 1194582 HAS SOPS 1179893 HAS SOUS 179403 HAS SOUPS 177634 WITH SCORE 178828.582
AT ITER 3974 NEW BEST:: SOT 2516798 SOS 1194457 HAS SOPS 1179700 HAS SOUS 179085 HAS SOUPS 177316 WITH SCORE 178510.457
AT ITER 4014 NEW BEST:: SOT 2516900 SOS 1194605 HAS SOPS 1179848 HAS SOUS 178967 HAS SOUPS 177198 WITH SCORE 178392.605
AT ITER 4023 NEW BEST:: SOT 2516884 SOS 1194313 HAS SOPS 1179556 HAS SOUS 178935 HAS SOUPS 177166 WITH SCORE 178360.313
AT ITER 4025 NEW BEST:: SOT 2516853 SOS 1194282 HAS SOPS 1179525 HAS SOUS 178887 HAS SOUPS 177118 WITH SCORE 178312.282
AT ITER 4055 NEW BEST:: SOT 2516847 SOS 1194276 HAS SOPS 1179519 HAS SOUS 178875 HAS SOUPS 177106 WITH SCORE 178300.276
AT ITER 4058 NEW BEST:: SOT 2516817 SOS 1194358 HAS SOPS 1179601 HAS SOUS 178831 HAS SOUPS 177062 WITH SCORE 178256.358
AT ITER 4069 NEW BEST:: SOT 2516834 SOS 1194415 HAS SOPS 1179658 HAS SOUS 178669 HAS SOUPS 176900 WITH SCORE 178094.415
AT ITER 4074 NEW BEST:: SOT 2516814 SOS 1194395 HAS SOPS 1179638 HAS SOUS 178629 HAS SOUPS 176860 WITH SCORE 178054.395
AT ITER 4108 NEW BEST:: SOT 2516284 SOS 1193865 HAS SOPS 1179108 HAS SOUS 178201 HAS SOUPS 176432 WITH SCORE 177625.865
AT ITER 4148 NEW BEST:: SOT 2516203 SOS 1193784 HAS SOPS 1179028 HAS SOUS 178179 HAS SOUPS 176410 WITH SCORE 177603.784
AT ITER 4157 NEW BEST:: SOT 2516166 SOS 1194977 HAS SOPS 1178961 HAS SOUS 178179 HAS SOUPS 176376 WITH SCORE 177570.977
AT ITER 4169 NEW BEST:: SOT 2516136 SOS 1194947 HAS SOPS 1178931 HAS SOUS 178169 HAS SOUPS 176366 WITH SCORE 177560.947
AT ITER 4173 NEW BEST:: SOT 2516076 SOS 1194887 HAS SOPS 1178871 HAS SOUS 177979 HAS SOUPS 176176 WITH SCORE 177370.887
AT ITER 4177 NEW BEST:: SOT 2516076 SOS 1194878 HAS SOPS 1178862 HAS SOUS 177979 HAS SOUPS 176176 WITH SCORE 177370.878
AT ITER 4182 NEW BEST:: SOT 2516058 SOS 1194873 HAS SOPS 1178857 HAS SOUS 177779 HAS SOUPS 175976 WITH SCORE 177170.873
AT ITER 4206 NEW BEST:: SOT 2516061 SOS 1195020 HAS SOPS 1179004 HAS SOUS 177726 HAS SOUPS 175923 WITH SCORE 177118.02
AT ITER 4214 NEW BEST:: SOT 2516055 SOS 1195056 HAS SOPS 1179040 HAS SOUS 177714 HAS SOUPS 175911 WITH SCORE 177106.056
AT ITER 4215 NEW BEST:: SOT 2516091 SOS 1195184 HAS SOPS 1179168 HAS SOUS 177657 HAS SOUPS 175854 WITH SCORE 177049.184
AT ITER 4236 NEW BEST:: SOT 2515919 SOS 1195051 HAS SOPS 1179035 HAS SOUS 177295 HAS SOUPS 175492 WITH SCORE 176687.051
AT ITER 4242 NEW BEST:: SOT 2515969 SOS 1195171 HAS SOPS 1179155 HAS SOUS 177255 HAS SOUPS 175452 WITH SCORE 176647.171
AT ITER 4247 NEW BEST:: SOT 2515522 SOS 1194855 HAS SOPS 1178839 HAS SOUS 176876 HAS SOUPS 175073 WITH SCORE 176267.855
AT ITER 4256 NEW BEST:: SOT 2515602 SOS 1194935 HAS SOPS 1178919 HAS SOUS 176268 HAS SOUPS 174465 WITH SCORE 175659.935
AT ITER 4257 NEW BEST:: SOT 2515614 SOS 1194947 HAS SOPS 1178931 HAS SOUS 176258 HAS SOUPS 174455 WITH SCORE 175649.947
AT ITER 4261 NEW BEST:: SOT 2515366 SOS 1200854 HAS SOPS 1183278 HAS SOUS 175862 HAS SOUPS 173799 WITH SCORE 174999.854
AT ITER 4291 NEW BEST:: SOT 2515351 SOS 1200787 HAS SOPS 1183189 HAS SOUS 175825 HAS SOUPS 173762 WITH SCORE 174962.787
AT ITER 4339 NEW BEST:: SOT 2515359 SOS 1200787 HAS SOPS 1183189 HAS SOUS 175809 HAS SOUPS 173746 WITH SCORE 174946.787
AT ITER 4346 NEW BEST:: SOT 2515337 SOS 1200740 HAS SOPS 1183142 HAS SOUS 175671 HAS SOUPS 173608 WITH SCORE 174808.74
AT ITER 4376 NEW BEST:: SOT 2514894 SOS 1200297 HAS SOPS 1182699 HAS SOUS 175200 HAS SOUPS 173137 WITH SCORE 174337.297
AT ITER 4417 NEW BEST:: SOT 2514938 SOS 1200341 HAS SOPS 1182743 HAS SOUS 175128 HAS SOUPS 173065 WITH SCORE 174265.341
AT ITER 4427 NEW BEST:: SOT 2514959 SOS 1200362 HAS SOPS 1182764 HAS SOUS 175090 HAS SOUPS 173027 WITH SCORE 174227.362
AT ITER 4465 NEW BEST:: SOT 2514935 SOS 1200338 HAS SOPS 1182740 HAS SOUS 175066 HAS SOUPS 173003 WITH SCORE 174203.338
AT ITER 4473 NEW BEST:: SOT 2514882 SOS 1200308 HAS SOPS 1182710 HAS SOUS 174960 HAS SOUPS 172897 WITH SCORE 174097.308
AT ITER 4475 NEW BEST:: SOT 2514882 SOS 1200312 HAS SOPS 1182714 HAS SOUS 174952 HAS SOUPS 172889 WITH SCORE 174089.312
AT ITER 4496 NEW BEST:: SOT 2514882 SOS 1200310 HAS SOPS 1182712 HAS SOUS 174950 HAS SOUPS 172887 WITH SCORE 174087.31
AT ITER 4505 NEW BEST:: SOT 2514834 SOS 1200262 HAS SOPS 1182664 HAS SOUS 174910 HAS SOUPS 172847 WITH SCORE 174047.262
AT ITER 4513 NEW BEST:: SOT 2514586 SOS 1199870 HAS SOPS 1182272 HAS SOUS 174667 HAS SOUPS 172604 WITH SCORE 173803.87
AT ITER 4563 NEW BEST:: SOT 2514584 SOS 1199869 HAS SOPS 1182270 HAS SOUS 174666 HAS SOUPS 172602 WITH SCORE 173801.869
AT ITER 4570 NEW BEST:: SOT 2514530 SOS 1199769 HAS SOPS 1182170 HAS SOUS 174562 HAS SOUPS 172498 WITH SCORE 173697.769
AT ITER 4615 NEW BEST:: SOT 2495798 SOS 1181037 HAS SOPS 1163438 HAS SOUS 172467 HAS SOUPS 170403 WITH SCORE 171584.037
AT ITER 4622 NEW BEST:: SOT 2495798 SOS 1181093 HAS SOPS 1163494 HAS SOUS 172427 HAS SOUPS 170363 WITH SCORE 171544.093
AT ITER 4640 NEW BEST:: SOT 2495727 SOS 1181022 HAS SOPS 1163423 HAS SOUS 172106 HAS SOUPS 170042 WITH SCORE 171223.022
AT ITER 4672 NEW BEST:: SOT 2495691 SOS 1180946 HAS SOPS 1163347 HAS SOUS 172034 HAS SOUPS 169970 WITH SCORE 171150.946
AT ITER 4678 NEW BEST:: SOT 2495679 SOS 1180934 HAS SOPS 1163335 HAS SOUS 172020 HAS SOUPS 169956 WITH SCORE 171136.934
AT ITER 4704 NEW BEST:: SOT 2495648 SOS 1180940 HAS SOPS 1163341 HAS SOUS 171958 HAS SOUPS 169894 WITH SCORE 171074.94
AT ITER 4707 NEW BEST:: SOT 2495629 SOS 1180782 HAS SOPS 1163183 HAS SOUS 171736 HAS SOUPS 169672 WITH SCORE 170852.782
AT ITER 4721 NEW BEST:: SOT 2495625 SOS 1180778 HAS SOPS 1163179 HAS SOUS 171728 HAS SOUPS 169664 WITH SCORE 170844.778
AT ITER 4754 NEW BEST:: SOT 2495621 SOS 1180750 HAS SOPS 1163151 HAS SOUS 171724 HAS SOUPS 169660 WITH SCORE 170840.75
AT ITER 4759 NEW BEST:: SOT 2495619 SOS 1180748 HAS SOPS 1163147 HAS SOUS 171716 HAS SOUPS 169652 WITH SCORE 170832.748
AT ITER 4760 NEW BEST:: SOT 2495619 SOS 1180987 HAS SOPS 1163386 HAS SOUS 171688 HAS SOUPS 169624 WITH SCORE 170804.987
AT ITER 4769 NEW BEST:: SOT 2495611 SOS 1180979 HAS SOPS 1163350 HAS SOUS 171660 HAS SOUPS 169596 WITH SCORE 170776.979
AT ITER 4770 NEW BEST:: SOT 2495596 SOS 1180964 HAS SOPS 1163335 HAS SOUS 171660 HAS SOUPS 169596 WITH SCORE 170776.964
AT ITER 4781 NEW BEST:: SOT 2497168 SOS 1182466 HAS SOPS 1164921 HAS SOUS 171308 HAS SOUPS 169258 WITH SCORE 170440.466
AT ITER 4795 NEW BEST:: SOT 2497357 SOS 1182934 HAS SOPS 1165389 HAS SOUS 171248 HAS SOUPS 169198 WITH SCORE 170380.934
AT ITER 4797 NEW BEST:: SOT 2497034 SOS 1176099 HAS SOPS 1159772 HAS SOUS 170982 HAS SOUPS 169135 WITH SCORE 170311.099
AT ITER 4798 NEW BEST:: SOT 2497079 SOS 1176211 HAS SOPS 1159884 HAS SOUS 169030 HAS SOUPS 167183 WITH SCORE 168359.211
AT ITER 4800 NEW BEST:: SOT 2497059 SOS 1176193 HAS SOPS 1159866 HAS SOUS 169023 HAS SOUPS 167176 WITH SCORE 168352.193
AT ITER 4807 NEW BEST:: SOT 2497125 SOS 1176259 HAS SOPS 1159905 HAS SOUS 169000 HAS SOUPS 167153 WITH SCORE 168329.259
AT ITER 4822 NEW BEST:: SOT 2497092 SOS 1176226 HAS SOPS 1159872 HAS SOUS 168978 HAS SOUPS 167131 WITH SCORE 168307.226
AT ITER 4834 NEW BEST:: SOT 2497028 SOS 1176168 HAS SOPS 1159814 HAS SOUS 168881 HAS SOUPS 167034 WITH SCORE 168210.168
AT ITER 4869 NEW BEST:: SOT 2497017 SOS 1176170 HAS SOPS 1159816 HAS SOUS 168835 HAS SOUPS 166988 WITH SCORE 168164.17
AT ITER 4880 NEW BEST:: SOT 2497011 SOS 1176164 HAS SOPS 1159804 HAS SOUS 168823 HAS SOUPS 166976 WITH SCORE 168152.164
AT ITER 4895 NEW BEST:: SOT 2497009 SOS 1176162 HAS SOPS 1159802 HAS SOUS 168819 HAS SOUPS 166972 WITH SCORE 168148.162
AT ITER 4898 NEW BEST:: SOT 2496445 SOS 1175592 HAS SOPS 1159232 HAS SOUS 168295 HAS SOUPS 166448 WITH SCORE 167623.592
AT ITER 4907 NEW BEST:: SOT 2496439 SOS 1175488 HAS SOPS 1158955 HAS SOUS 168247 HAS SOUPS 166400 WITH SCORE 167575.488
AT ITER 4930 NEW BEST:: SOT 2496164 SOS 1175182 HAS SOPS 1158649 HAS SOUS 167911 HAS SOUPS 166064 WITH SCORE 167239.182
AT ITER 4955 NEW BEST:: SOT 2495497 SOS 1174688 HAS SOPS 1158155 HAS SOUS 167597 HAS SOUPS 165750 WITH SCORE 166924.688
AT ITER 4963 NEW BEST:: SOT 2491699 SOS 1170890 HAS SOPS 1154357 HAS SOUS 167234 HAS SOUPS 165387 WITH SCORE 166557.89
AT ITER 4983 NEW BEST:: SOT 2491681 SOS 1170863 HAS SOPS 1154330 HAS SOUS 167198 HAS SOUPS 165351 WITH SCORE 166521.863
AT ITER 4990 NEW BEST:: SOT 2491579 SOS 1170604 HAS SOPS 1154071 HAS SOUS 167194 HAS SOUPS 165347 WITH SCORE 166517.604
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-00 ( (EF(( potential( (tk(P285)) <= (tk(P43) + tk(P56) + tk(P63) + tk(P77) + tk(P87) + tk(P116) + tk(P135) + tk(P163) + tk(P179) + tk(P180) + tk(P202) + tk(P216) + tk(P225) + tk(P245) + tk(P255) + tk(P321) + tk(P323) + tk(P333) + tk(P334) + tk(P361) + tk(P374) + tk(P402) + tk(P412) + tk(P414) + tk(P429) + tk(P447) + tk(P453) + tk(P464) + tk(P494) + tk(P509) + tk(P544) + tk(P548) + tk(P560) + tk(P596) + tk(P609) + tk(P613)) ) & ( potential( ( 1 ) <= (tk(P129) + tk(P210) + tk(P264) + tk(P324) + tk(P506)) ) & potential( (tk(P586)) <= (tk(P73) + tk(P74) + tk(P150) + tk(P253) + tk(P311) + tk(P588)) ) ) ))) | ( ( potential( ( 3 ) <= (tk(P141) + tk(P169) + tk(P274) + tk(P408) + tk(P433)) ) | (! potential( ( 1 ) <= (tk(P13) + tk(P59) + tk(P167) + tk(P528) + tk(P611) + tk(P616)) )) ) & ( ( (! potential( (tk(P94)) <= (tk(P147) + tk(P214) + tk(P263) + tk(P353) + tk(P428) + tk(P589)) )) & ( potential( (tk(P6)) <= (tk(P285)) ) & potential( (tk(P8) + tk(P11) + tk(P19) + tk(P25) + tk(P97) + tk(P100) + tk(P108) + tk(P110) + tk(P173) + tk(P201) + tk(P215) + tk(P231) + tk(P260) + tk(P300) + tk(P364) + tk(P372) + tk(P393) + tk(P423) + tk(P432) + tk(P443) + tk(P448) + tk(P460) + tk(P488) + tk(P495) + tk(P538) + tk(P555) + tk(P573) + tk(P579) + tk(P581) + tk(P627)) <= (tk(P511)) ) ) ) & (EX( potential( ( 3 ) <= (tk(P8) + tk(P11) + tk(P19) + tk(P25) + tk(P97) + tk(P100) + tk(P108) + tk(P110) + tk(P173) + tk(P201) + tk(P215) + tk(P231) + tk(P260) + tk(P300) + tk(P364) + tk(P372) + tk(P393) + tk(P423) + tk(P432) + tk(P443) + tk(P448) + tk(P460) + tk(P488) + tk(P495) + tk(P538) + tk(P555) + tk(P573) + tk(P579) + tk(P581) + tk(P627)) ))) ) ) )
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-01 ( ( potential( ( 3 ) <= (tk(P22) + tk(P96) + tk(P229) + tk(P281) + tk(P475) + tk(P576)) ) & ( (AG( potential( ( 1 ) <= (tk(P50) + tk(P164) + tk(P314) + tk(P427) + tk(P449) + tk(P526)) ))) & ( potential( ( 2 ) <= (tk(P52) + tk(P185) + tk(P251) + tk(P407) + tk(P438) + tk(P594)) ) | ( potential( ( 1 ) <= (tk(P58) + tk(P145) + tk(P322) + tk(P422) + tk(P478) + tk(P582)) ) & potential( ( 3 ) <= (tk(P1) + tk(P104) + tk(P415) + tk(P459) + tk(P543) + tk(P561)) ) ) ) ) ) | (! (AU( potential( (tk(P109) + tk(P304) + tk(P344) + tk(P390) + tk(P463) + tk(P553)) <= (tk(P78) + tk(P151) + tk(P244) + tk(P320) + tk(P346) + tk(P622)) ),potential( ( 2 ) <= (tk(P21)) ) ))) )
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-02 (EF(potential( ( 2 ) <= (tk(P142) + tk(P206) + tk(P308) + tk(P338) + tk(P435) + tk(P473)) )))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-03 ( ( ( (AF(potential( ( 2 ) <= (tk(P32) + tk(P75) + tk(P200) + tk(P288) + tk(P418) + tk(P498)) ))) | ( potential( ( 3 ) <= (tk(P117) + tk(P238) + tk(P258) + tk(P310) + tk(P510) + tk(P603)) ) & potential( (tk(P37) + tk(P139) + tk(P198) + tk(P371) + tk(P380) + tk(P567)) <= (tk(P148) + tk(P319) + tk(P370) + tk(P375) + tk(P480) + tk(P570)) ) ) ) & ( ( (! potential( (tk(P16) + tk(P28) + tk(P33) + tk(P90) + tk(P115) + tk(P122) + tk(P126) + tk(P132) + tk(P170) + tk(P172) + tk(P182) + tk(P192) + tk(P267) + tk(P276) + tk(P286) + tk(P298) + tk(P301) + tk(P336) + tk(P339) + tk(P350) + tk(P363) + tk(P397) + tk(P401) + tk(P419) + tk(P467) + tk(P479) + tk(P530) + tk(P534) + tk(P549) + tk(P590) + tk(P591) + tk(P604) + tk(P606) + tk(P617) + tk(P618) + tk(P626)) <= (tk(P83) + tk(P241) + tk(P411) + tk(P474) + tk(P536) + tk(P595)) )) & (! potential( ( 2 ) <= (tk(P8) + tk(P11) + tk(P19) + tk(P25) + tk(P97) + tk(P100) + tk(P108) + tk(P110) + tk(P173) + tk(P201) + tk(P215) + tk(P231) + tk(P260) + tk(P300) + tk(P364) + tk(P372) + tk(P393) + tk(P423) + tk(P432) + tk(P443) + tk(P448) + tk(P460) + tk(P488) + tk(P495) + tk(P538) + tk(P555) + tk(P573) + tk(P579) + tk(P581) + tk(P627)) )) ) & ( (! potential( ( 1 ) <= (tk(P109) + tk(P304) + tk(P344) + tk(P390) + tk(P463) + tk(P553)) )) | ( potential( ( 3 ) <= (tk(P12) + tk(P102) + tk(P146) + tk(P226) + tk(P382) + tk(P499)) ) & potential( (tk(P60) + tk(P65) + tk(P156) + tk(P520) + tk(P545) + tk(P629)) <= (tk(P27) + tk(P41) + tk(P62) + tk(P80) + tk(P85) + tk(P106) + tk(P165) + tk(P171) + tk(P183) + tk(P196) + tk(P246) + tk(P249) + tk(P265) + tk(P270) + tk(P273) + tk(P329) + tk(P352) + tk(P360) + tk(P373) + tk(P384) + tk(P424) + tk(P437) + tk(P446) + tk(P451) + tk(P456) + tk(P502) + tk(P513) + tk(P514) + tk(P533) + tk(P546)) ) ) ) ) ) | ( (EF(( potential( (tk(P128) + tk(P194) + tk(P332) + tk(P431) + tk(P496) + tk(P583)) <= (tk(P35) + tk(P38) + tk(P44) + tk(P57) + tk(P69) + tk(P72) + tk(P84) + tk(P149) + tk(P154) + tk(P168) + tk(P193) + tk(P208) + tk(P219) + tk(P236) + tk(P250) + tk(P259) + tk(P266) + tk(P280) + tk(P287) + tk(P294) + tk(P325) + tk(P328) + tk(P366) + tk(P420) + tk(P470) + tk(P471) + tk(P472) + tk(P482) + tk(P507) + tk(P539) + tk(P540) + tk(P572) + tk(P621) + tk(P624) + tk(P628) + tk(P632)) ) & potential( ( 3 ) <= (tk(P22) + tk(P96) + tk(P229) + tk(P281) + tk(P475) + tk(P576)) ) ))) | (AU( potential( (tk(P175)) <= (tk(P35) + tk(P38) + tk(P44) + tk(P57) + tk(P69) + tk(P72) + tk(P84) + tk(P149) + tk(P154) + tk(P168) + tk(P193) + tk(P208) + tk(P219) + tk(P236) + tk(P250) + tk(P259) + tk(P266) + tk(P280) + tk(P287) + tk(P294) + tk(P325) + tk(P328) + tk(P366) + tk(P420) + tk(P470) + tk(P471) + tk(P472) + tk(P482) + tk(P507) + tk(P539) + tk(P540) + tk(P572) + tk(P621) + tk(P624) + tk(P628) + tk(P632)) ),potential( ( 1 ) <= (tk(P32) + tk(P75) + tk(P200) + tk(P288) + tk(P418) + tk(P498)) ) )) ) )
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-04 ( (EU( ( potential( ( 1 ) <= (tk(P128) + tk(P194) + tk(P332) + tk(P431) + tk(P496) + tk(P583)) ) & potential( ( 2 ) <= (tk(P30) + tk(P143) + tk(P272) + tk(P416) + tk(P542) + tk(P623)) ) ),(! potential( ( 2 ) <= (tk(P32) + tk(P75) + tk(P200) + tk(P288) + tk(P418) + tk(P498)) )) )) & (EG( (AF(potential( (tk(P70) + tk(P152) + tk(P221) + tk(P295) + tk(P568) + tk(P584)) <= (tk(P76) + tk(P98) + tk(P234) + tk(P291) + tk(P395) + tk(P452)) ))))) )
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-05 (AU( (AG( potential( ( 2 ) <= (tk(P141) + tk(P169) + tk(P274) + tk(P408) + tk(P433)) ))),(EG( potential( (tk(P141) + tk(P169) + tk(P274) + tk(P408) + tk(P433)) <= (tk(P13) + tk(P59) + tk(P167) + tk(P528) + tk(P611) + tk(P616)) ))) ))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-06 (AG( (! (EF(potential( ( 2 ) <= (tk(P176) + tk(P188) + tk(P218) + tk(P306) + tk(P381) + tk(P421)) ))))))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-07 ( (AF((! (! potential( ( 2 ) <= (tk(P578)) ))))) | (! potential( ( 2 ) <= (tk(P88) + tk(P227) + tk(P357) + tk(P434) + tk(P521) + tk(P597)) )) )
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-08 ( ( potential( ( 3 ) <= (tk(P544)) ) | potential( ( 3 ) <= (tk(P345)) ) ) | (AU( potential( (tk(P87)) <= (tk(P613)) ),(! potential( (tk(P458)) <= (tk(P297)) )) )) )
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-09 (AF(( ( ( potential( ( 2 ) <= (tk(P579)) ) | potential( ( 1 ) <= (tk(P109)) ) ) | ( potential( ( 3 ) <= (tk(P529)) ) | potential( (tk(P98)) <= (tk(P231)) ) ) ) & (! (! potential( ( 1 ) <= (tk(P396)) ))) )))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-10 (AF((EX( potential( (tk(P337)) <= (tk(P469)) )))))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-11 (AU( ( ( potential( (tk(P16)) <= (tk(P551)) ) & potential( ( 2 ) <= (tk(P368)) ) ) | ( potential( (tk(P591)) <= (tk(P208)) ) | potential( ( 3 ) <= (tk(P157)) ) ) ),potential( ( 2 ) <= (tk(P476)) ) ))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-12 (AF(( ( potential( ( 2 ) <= (tk(P401)) ) & (! potential( (tk(P145)) <= (tk(P541)) )) ) | ( (! potential( ( 3 ) <= (tk(P497)) )) & ( potential( ( 3 ) <= (tk(P225)) ) & potential( (tk(P345)) <= (tk(P273)) ) ) ) )))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-13 ( (AF(( ( potential( ( 3 ) <= (tk(P246)) ) & potential( (tk(P473)) <= (tk(P40)) ) ) & potential( (tk(P313)) <= (tk(P238)) ) ))) & ( ( potential( (tk(P380)) <= (tk(P222)) ) | ( (! potential( (tk(P353)) <= (tk(P246)) )) & ( potential( ( 2 ) <= (tk(P154)) ) & potential( ( 3 ) <= (tk(P119)) ) ) ) ) | ( (! ( potential( (tk(P217)) <= (tk(P364)) ) & potential( ( 1 ) <= (tk(P576)) ) )) | ( potential( ( 1 ) <= (tk(P360)) ) | ( potential( (tk(P625)) <= (tk(P76)) ) | potential( (tk(P155)) <= (tk(P486)) ) ) ) ) ) )
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-14 (AF(potential( (tk(P337)) <= (tk(P340)) )))
PROPERTY: PolyORBLF-PT-S06J04T06-CTLCardinality-15 ( ( ( potential( (tk(P327)) <= (tk(P565)) ) & ( ( potential( (tk(P290)) <= (tk(P530)) ) & potential( ( 2 ) <= (tk(P573)) ) ) & potential( (tk(P306)) <= (tk(P335)) ) ) ) | ( (! (! potential( (tk(P109)) <= (tk(P111)) ))) | (AF(potential( (tk(P355)) <= (tk(P154)) ))) ) ) & ( (AG( potential( (tk(P275)) <= (tk(P553)) ))) & (AX( ( potential( (tk(P188)) <= (tk(P533)) ) & potential( (tk(P247)) <= (tk(P576)) ) ))) ) )

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-S06J04T06"
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-S06J04T06, 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-158961354800515"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J04T06.tgz
mv PolyORBLF-PT-S06J04T06 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 ;