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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 12K Apr 12 05:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Apr 12 05:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 11 05:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Apr 11 05:41 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 40K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 14K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 53K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 10K Apr 10 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 32K Apr 10 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 51K Apr 9 18:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 171K Apr 9 18:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K 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 20M 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-S06J06T08-CTLCardinality-00
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-01
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-02
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-03
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-04
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-05
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-06
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-07
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-08
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-09
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-10
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-11
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-12
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-13
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-14
FORMULA_NAME PolyORBLF-PT-S06J06T08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646211106

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T08
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: 894 places, 14334 transitions, 119772 arcs.
AT ITER 0 NEW BEST:: SOT 8322897 SOS 4985904 HAS SOPS 4964570 HAS SOUS 907780 HAS SOUPS 906908 WITH SCORE 911893.904
AT ITER 24 NEW BEST:: SOT 8322622 SOS 4985839 HAS SOPS 4964505 HAS SOUS 907715 HAS SOUPS 906843 WITH SCORE 911828.839
AT ITER 27 NEW BEST:: SOT 8322526 SOS 4985743 HAS SOPS 4964370 HAS SOUS 907689 HAS SOUPS 906804 WITH SCORE 911789.743
AT ITER 32 NEW BEST:: SOT 8322234 SOS 4985451 HAS SOPS 4964078 HAS SOUS 907479 HAS SOUPS 906594 WITH SCORE 911579.451
AT ITER 43 NEW BEST:: SOT 8320485 SOS 4983988 HAS SOPS 4962615 HAS SOUS 906264 HAS SOUPS 905379 WITH SCORE 910362.988
AT ITER 45 NEW BEST:: SOT 8319470 SOS 4983162 HAS SOPS 4961789 HAS SOUS 905228 HAS SOUPS 904343 WITH SCORE 909326.162
AT ITER 50 NEW BEST:: SOT 8318168 SOS 4981905 HAS SOPS 4960532 HAS SOUS 903525 HAS SOUPS 902640 WITH SCORE 907621.905
AT ITER 53 NEW BEST:: SOT 8318168 SOS 4982053 HAS SOPS 4960680 HAS SOUS 903394 HAS SOUPS 902509 WITH SCORE 907491.053
AT ITER 67 NEW BEST:: SOT 8317713 SOS 4981663 HAS SOPS 4960290 HAS SOUS 902701 HAS SOUPS 901816 WITH SCORE 906797.663
AT ITER 72 NEW BEST:: SOT 8316720 SOS 4980858 HAS SOPS 4959485 HAS SOUS 901812 HAS SOUPS 900927 WITH SCORE 905907.858
AT ITER 75 NEW BEST:: SOT 8315945 SOS 4980090 HAS SOPS 4958717 HAS SOUS 900656 HAS SOUPS 899771 WITH SCORE 904751.09
AT ITER 77 NEW BEST:: SOT 8314605 SOS 4978954 HAS SOPS 4957581 HAS SOUS 899527 HAS SOUPS 898642 WITH SCORE 903620.954
AT ITER 108 NEW BEST:: SOT 8314204 SOS 4978593 HAS SOPS 4957220 HAS SOUS 898894 HAS SOUPS 898009 WITH SCORE 902987.593
AT ITER 111 NEW BEST:: SOT 8313556 SOS 4978103 HAS SOPS 4956730 HAS SOUS 898404 HAS SOUPS 897519 WITH SCORE 902497.103
AT ITER 123 NEW BEST:: SOT 8313519 SOS 4978029 HAS SOPS 4956656 HAS SOUS 898330 HAS SOUPS 897445 WITH SCORE 902423.029
AT ITER 130 NEW BEST:: SOT 8313435 SOS 4976797 HAS SOPS 4955996 HAS SOUS 897955 HAS SOUPS 897124 WITH SCORE 902100.797
AT ITER 134 NEW BEST:: SOT 8313595 SOS 4977135 HAS SOPS 4956334 HAS SOUS 897705 HAS SOUPS 896874 WITH SCORE 901851.135
AT ITER 152 NEW BEST:: SOT 8313260 SOS 4976828 HAS SOPS 4956027 HAS SOUS 897392 HAS SOUPS 896561 WITH SCORE 901537.828
AT ITER 158 NEW BEST:: SOT 8311984 SOS 4975731 HAS SOPS 4954930 HAS SOUS 896127 HAS SOUPS 895296 WITH SCORE 900271.731
AT ITER 160 NEW BEST:: SOT 8312042 SOS 4976244 HAS SOPS 4955443 HAS SOUS 896035 HAS SOUPS 895204 WITH SCORE 900180.244
AT ITER 176 NEW BEST:: SOT 8312002 SOS 4976148 HAS SOPS 4955347 HAS SOUS 895939 HAS SOUPS 895108 WITH SCORE 900084.148
AT ITER 177 NEW BEST:: SOT 7948881 SOS 4763485 HAS SOPS 4742684 HAS SOUS 854531 HAS SOUPS 853700 WITH SCORE 858463.485
AT ITER 187 NEW BEST:: SOT 7947766 SOS 4762674 HAS SOPS 4741873 HAS SOUS 854157 HAS SOUPS 853326 WITH SCORE 858088.674
AT ITER 195 NEW BEST:: SOT 7947106 SOS 4762047 HAS SOPS 4741246 HAS SOUS 853239 HAS SOUPS 852408 WITH SCORE 857170.047
AT ITER 196 NEW BEST:: SOT 7947058 SOS 4761983 HAS SOPS 4741278 HAS SOUS 853213 HAS SOUPS 852382 WITH SCORE 857143.983
AT ITER 204 NEW BEST:: SOT 7947051 SOS 4761976 HAS SOPS 4741271 HAS SOUS 853206 HAS SOUPS 852375 WITH SCORE 857136.976
AT ITER 205 NEW BEST:: SOT 7946976 SOS 4761871 HAS SOPS 4741166 HAS SOUS 853095 HAS SOUPS 852264 WITH SCORE 857025.871
AT ITER 207 NEW BEST:: SOT 7946984 SOS 4761855 HAS SOPS 4741150 HAS SOUS 853079 HAS SOUPS 852248 WITH SCORE 857009.855
AT ITER 211 NEW BEST:: SOT 7610065 SOS 4425211 HAS SOPS 4404506 HAS SOUS 806456 HAS SOUPS 805625 WITH SCORE 810050.211
AT ITER 235 NEW BEST:: SOT 7610215 SOS 4425447 HAS SOPS 4404742 HAS SOUS 806286 HAS SOUPS 805455 WITH SCORE 809880.447
AT ITER 236 NEW BEST:: SOT 7610167 SOS 4425399 HAS SOPS 4404556 HAS SOUS 806184 HAS SOUPS 805317 WITH SCORE 809742.399
AT ITER 237 NEW BEST:: SOT 7350369 SOS 4239035 HAS SOPS 4218192 HAS SOUS 768203 HAS SOUPS 767336 WITH SCORE 771575.035
AT ITER 248 NEW BEST:: SOT 7349715 SOS 4238252 HAS SOPS 4217409 HAS SOUS 767580 HAS SOUPS 766713 WITH SCORE 770951.252
AT ITER 256 NEW BEST:: SOT 7349031 SOS 4237597 HAS SOPS 4216754 HAS SOUS 765727 HAS SOUPS 764860 WITH SCORE 769097.597
AT ITER 271 NEW BEST:: SOT 7348992 SOS 4237753 HAS SOPS 4216923 HAS SOUS 765701 HAS SOUPS 764834 WITH SCORE 769071.753
AT ITER 273 NEW BEST:: SOT 7348992 SOS 4238033 HAS SOPS 4217203 HAS SOUS 765329 HAS SOUPS 764462 WITH SCORE 768700.033
AT ITER 277 NEW BEST:: SOT 7348782 SOS 4237858 HAS SOPS 4217028 HAS SOUS 765154 HAS SOUPS 764287 WITH SCORE 768524.858
AT ITER 295 NEW BEST:: SOT 7349485 SOS 4238845 HAS SOPS 4218015 HAS SOUS 764846 HAS SOUPS 763979 WITH SCORE 768217.845
AT ITER 304 NEW BEST:: SOT 7349637 SOS 4241392 HAS SOPS 4220562 HAS SOUS 763883 HAS SOUPS 763016 WITH SCORE 767257.392
AT ITER 323 NEW BEST:: SOT 7349563 SOS 4241318 HAS SOPS 4220451 HAS SOUS 763846 HAS SOUPS 762979 WITH SCORE 767220.318
AT ITER 341 NEW BEST:: SOT 7349471 SOS 4241226 HAS SOPS 4220359 HAS SOUS 763754 HAS SOUPS 762887 WITH SCORE 767128.226
AT ITER 364 NEW BEST:: SOT 7349240 SOS 4240979 HAS SOPS 4220256 HAS SOUS 763461 HAS SOUPS 762594 WITH SCORE 766834.979
AT ITER 365 NEW BEST:: SOT 7349232 SOS 4240955 HAS SOPS 4220232 HAS SOUS 763453 HAS SOUPS 762586 WITH SCORE 766826.955
AT ITER 366 NEW BEST:: SOT 7349123 SOS 4240755 HAS SOPS 4220233 HAS SOUS 763390 HAS SOUPS 762523 WITH SCORE 766763.755
AT ITER 368 NEW BEST:: SOT 7349083 SOS 4240715 HAS SOPS 4220246 HAS SOUS 763369 HAS SOUPS 762502 WITH SCORE 766742.715
AT ITER 369 NEW BEST:: SOT 6996723 SOS 3888664 HAS SOPS 3868195 HAS SOUS 714520 HAS SOUPS 713653 WITH SCORE 717541.664
AT ITER 380 NEW BEST:: SOT 7033412 SOS 3774436 HAS SOPS 3753967 HAS SOUS 710922 HAS SOUPS 710055 WITH SCORE 713829.436
AT ITER 393 NEW BEST:: SOT 7032669 SOS 3773862 HAS SOPS 3753393 HAS SOUS 710285 HAS SOUPS 709418 WITH SCORE 713191.862
AT ITER 395 NEW BEST:: SOT 6964815 SOS 3705920 HAS SOPS 3685451 HAS SOUS 703283 HAS SOUPS 702416 WITH SCORE 706121.92
AT ITER 401 NEW BEST:: SOT 6963798 SOS 3705039 HAS SOPS 3684570 HAS SOUS 702378 HAS SOUPS 701511 WITH SCORE 705216.039
AT ITER 402 NEW BEST:: SOT 6963855 SOS 3705096 HAS SOPS 3684627 HAS SOUS 702108 HAS SOUPS 701241 WITH SCORE 704946.096
AT ITER 407 NEW BEST:: SOT 6963807 SOS 3705048 HAS SOPS 3684579 HAS SOUS 702060 HAS SOUPS 701193 WITH SCORE 704898.048
AT ITER 408 NEW BEST:: SOT 6962921 SOS 3704425 HAS SOPS 3683956 HAS SOUS 701681 HAS SOUPS 700814 WITH SCORE 704518.425
AT ITER 409 NEW BEST:: SOT 6962890 SOS 3704534 HAS SOPS 3684079 HAS SOUS 701656 HAS SOUPS 700789 WITH SCORE 704493.534
AT ITER 412 NEW BEST:: SOT 6962650 SOS 3704314 HAS SOPS 3683859 HAS SOUS 701376 HAS SOUPS 700509 WITH SCORE 704213.314
AT ITER 413 NEW BEST:: SOT 6962554 SOS 3704218 HAS SOPS 3683744 HAS SOUS 701339 HAS SOUPS 700472 WITH SCORE 704176.218
AT ITER 445 NEW BEST:: SOT 6962557 SOS 3704221 HAS SOPS 3683747 HAS SOUS 701303 HAS SOUPS 700436 WITH SCORE 704140.221
AT ITER 476 NEW BEST:: SOT 6962101 SOS 3703785 HAS SOPS 3683311 HAS SOUS 699888 HAS SOUPS 699021 WITH SCORE 702724.785
AT ITER 477 NEW BEST:: SOT 6961017 SOS 3703009 HAS SOPS 3682535 HAS SOUS 699835 HAS SOUPS 698968 WITH SCORE 702671.009
AT ITER 494 NEW BEST:: SOT 6961146 SOS 3703215 HAS SOPS 3682741 HAS SOUS 699780 HAS SOUPS 698913 WITH SCORE 702616.215
AT ITER 513 NEW BEST:: SOT 6961146 SOS 3705351 HAS SOPS 3684877 HAS SOUS 699275 HAS SOUPS 698408 WITH SCORE 702113.351
AT ITER 516 NEW BEST:: SOT 6961118 SOS 3705363 HAS SOPS 3684889 HAS SOUS 699219 HAS SOUPS 698352 WITH SCORE 702057.363
AT ITER 524 NEW BEST:: SOT 6958273 SOS 3702626 HAS SOPS 3682152 HAS SOUS 696508 HAS SOUPS 695641 WITH SCORE 699343.626
AT ITER 526 NEW BEST:: SOT 6958086 SOS 3702311 HAS SOPS 3681837 HAS SOUS 696239 HAS SOUPS 695372 WITH SCORE 699074.311
AT ITER 529 NEW BEST:: SOT 6957906 SOS 3702012 HAS SOPS 3681538 HAS SOUS 694966 HAS SOUPS 694099 WITH SCORE 697801.012
AT ITER 531 NEW BEST:: SOT 6942815 SOS 3691732 HAS SOPS 3681722 HAS SOUS 682709 HAS SOUPS 682023 WITH SCORE 685714.732
AT ITER 532 NEW BEST:: SOT 6942750 SOS 3691410 HAS SOPS 3681400 HAS SOUS 682579 HAS SOUPS 681893 WITH SCORE 685584.41
AT ITER 533 NEW BEST:: SOT 6942750 SOS 3691410 HAS SOPS 3681400 HAS SOUS 682568 HAS SOUPS 681882 WITH SCORE 685573.41
AT ITER 540 NEW BEST:: SOT 6942723 SOS 3691383 HAS SOPS 3681442 HAS SOUS 682378 HAS SOUPS 681692 WITH SCORE 685383.383
AT ITER 541 NEW BEST:: SOT 6943088 SOS 3693599 HAS SOPS 3683658 HAS SOUS 682300 HAS SOUPS 681614 WITH SCORE 685307.599
AT ITER 554 NEW BEST:: SOT 6943030 SOS 3693483 HAS SOPS 3683542 HAS SOUS 681995 HAS SOUPS 681309 WITH SCORE 685002.483
AT ITER 566 NEW BEST:: SOT 6942250 SOS 3692703 HAS SOPS 3682762 HAS SOUS 680365 HAS SOUPS 679679 WITH SCORE 683371.703
AT ITER 567 NEW BEST:: SOT 6942186 SOS 3691933 HAS SOPS 3681992 HAS SOUS 680344 HAS SOUPS 679658 WITH SCORE 683349.933
AT ITER 570 NEW BEST:: SOT 6941673 SOS 3691088 HAS SOPS 3681147 HAS SOUS 680069 HAS SOUPS 679383 WITH SCORE 683074.088
AT ITER 571 NEW BEST:: SOT 6941694 SOS 3691109 HAS SOPS 3680996 HAS SOUS 680111 HAS SOUPS 679253 WITH SCORE 682944.109
AT ITER 586 NEW BEST:: SOT 6940984 SOS 3690565 HAS SOPS 3680452 HAS SOUS 679355 HAS SOUPS 678497 WITH SCORE 682187.565
AT ITER 616 NEW BEST:: SOT 6940871 SOS 3690394 HAS SOPS 3680281 HAS SOUS 679209 HAS SOUPS 678351 WITH SCORE 682041.394
AT ITER 620 NEW BEST:: SOT 6940971 SOS 3690806 HAS SOPS 3680693 HAS SOUS 678948 HAS SOUPS 678090 WITH SCORE 681780.806
AT ITER 632 NEW BEST:: SOT 6939577 SOS 3689607 HAS SOPS 3679494 HAS SOUS 677815 HAS SOUPS 676957 WITH SCORE 680646.607
AT ITER 639 NEW BEST:: SOT 6939514 SOS 3689544 HAS SOPS 3679431 HAS SOUS 677752 HAS SOUPS 676894 WITH SCORE 680583.544
AT ITER 645 NEW BEST:: SOT 6939453 SOS 3689513 HAS SOPS 3679476 HAS SOUS 677739 HAS SOUPS 676881 WITH SCORE 680570.513
AT ITER 648 NEW BEST:: SOT 6718810 SOS 3468622 HAS SOPS 3458585 HAS SOUS 653000 HAS SOUPS 652142 WITH SCORE 655610.622
AT ITER 654 NEW BEST:: SOT 6718810 SOS 3468602 HAS SOPS 3458565 HAS SOUS 653000 HAS SOUPS 652142 WITH SCORE 655610.602
AT ITER 656 NEW BEST:: SOT 6717529 SOS 3467221 HAS SOPS 3457184 HAS SOUS 651619 HAS SOUPS 650761 WITH SCORE 654228.221
AT ITER 657 NEW BEST:: SOT 6716741 SOS 3466558 HAS SOPS 3456521 HAS SOUS 650938 HAS SOUPS 650080 WITH SCORE 653546.558
AT ITER 692 NEW BEST:: SOT 6716707 SOS 3466474 HAS SOPS 3456437 HAS SOUS 650854 HAS SOUPS 649996 WITH SCORE 653462.474
AT ITER 702 NEW BEST:: SOT 6716789 SOS 3466556 HAS SOPS 3456477 HAS SOUS 650882 HAS SOUPS 649995 WITH SCORE 653461.556
AT ITER 703 NEW BEST:: SOT 6716628 SOS 3466460 HAS SOPS 3456507 HAS SOUS 650871 HAS SOUPS 649984 WITH SCORE 653450.46
AT ITER 743 NEW BEST:: SOT 6716628 SOS 3466551 HAS SOPS 3456598 HAS SOUS 649912 HAS SOUPS 649025 WITH SCORE 652491.551
AT ITER 746 NEW BEST:: SOT 6716441 SOS 3466426 HAS SOPS 3456611 HAS SOUS 649731 HAS SOUPS 648844 WITH SCORE 652310.426
AT ITER 753 NEW BEST:: SOT 6716441 SOS 3466388 HAS SOPS 3456573 HAS SOUS 649693 HAS SOUPS 648806 WITH SCORE 652272.388
AT ITER 760 NEW BEST:: SOT 6716228 SOS 3466033 HAS SOPS 3456218 HAS SOUS 648990 HAS SOUPS 648103 WITH SCORE 651569.033
AT ITER 771 NEW BEST:: SOT 6634772 SOS 3384772 HAS SOPS 3374957 HAS SOUS 634810 HAS SOUPS 633923 WITH SCORE 637307.772
AT ITER 772 NEW BEST:: SOT 6634772 SOS 3384772 HAS SOPS 3374957 HAS SOUS 634742 HAS SOUPS 633855 WITH SCORE 637239.772
AT ITER 779 NEW BEST:: SOT 6634759 SOS 3384078 HAS SOPS 3374328 HAS SOUS 634688 HAS SOUPS 633802 WITH SCORE 637186.078
AT ITER 783 NEW BEST:: SOT 6634756 SOS 3384185 HAS SOPS 3374435 HAS SOUS 634228 HAS SOUPS 633342 WITH SCORE 636726.185
AT ITER 795 NEW BEST:: SOT 6634639 SOS 3384020 HAS SOPS 3374270 HAS SOUS 634117 HAS SOUPS 633231 WITH SCORE 636615.02
AT ITER 808 NEW BEST:: SOT 6634627 SOS 3384067 HAS SOPS 3374317 HAS SOUS 633871 HAS SOUPS 632985 WITH SCORE 636369.067
AT ITER 809 NEW BEST:: SOT 6372707 SOS 3122316 HAS SOPS 3112566 HAS SOUS 599385 HAS SOUPS 598499 WITH SCORE 601621.316
AT ITER 819 NEW BEST:: SOT 6370637 SOS 3120320 HAS SOPS 3110570 HAS SOUS 597444 HAS SOUPS 596558 WITH SCORE 599678.32
AT ITER 821 NEW BEST:: SOT 6370635 SOS 3120320 HAS SOPS 3110570 HAS SOUS 597440 HAS SOUPS 596554 WITH SCORE 599674.32
AT ITER 836 NEW BEST:: SOT 6370427 SOS 3120112 HAS SOPS 3110362 HAS SOUS 595654 HAS SOUPS 594768 WITH SCORE 597888.112
AT ITER 839 NEW BEST:: SOT 6370365 SOS 3120253 HAS SOPS 3110526 HAS SOUS 595262 HAS SOUPS 594376 WITH SCORE 597496.253
AT ITER 843 NEW BEST:: SOT 6371457 SOS 3121763 HAS SOPS 3112036 HAS SOUS 593335 HAS SOUPS 592449 WITH SCORE 595570.763
AT ITER 846 NEW BEST:: SOT 6371473 SOS 3121747 HAS SOPS 3112020 HAS SOUS 593319 HAS SOUPS 592433 WITH SCORE 595554.747
AT ITER 876 NEW BEST:: SOT 6371262 SOS 3121536 HAS SOPS 3111809 HAS SOUS 592943 HAS SOUPS 592057 WITH SCORE 595178.536
AT ITER 881 NEW BEST:: SOT 6372563 SOS 3122525 HAS SOPS 3112798 HAS SOUS 592677 HAS SOUPS 591791 WITH SCORE 594913.525
AT ITER 889 NEW BEST:: SOT 6372247 SOS 3122149 HAS SOPS 3112317 HAS SOUS 592183 HAS SOUPS 591297 WITH SCORE 594419.149
AT ITER 892 NEW BEST:: SOT 6372009 SOS 3121980 HAS SOPS 3112268 HAS SOUS 592006 HAS SOUPS 591120 WITH SCORE 594241.98
AT ITER 894 NEW BEST:: SOT 6371882 SOS 3121750 HAS SOPS 3112176 HAS SOUS 591974 HAS SOUPS 591088 WITH SCORE 594209.75
AT ITER 896 NEW BEST:: SOT 6371704 SOS 3121620 HAS SOPS 3112046 HAS SOUS 591301 HAS SOUPS 590415 WITH SCORE 593536.62
AT ITER 900 NEW BEST:: SOT 6371704 SOS 3121604 HAS SOPS 3112030 HAS SOUS 591301 HAS SOUPS 590415 WITH SCORE 593536.604
AT ITER 902 NEW BEST:: SOT 6371669 SOS 3121534 HAS SOPS 3111960 HAS SOUS 591231 HAS SOUPS 590345 WITH SCORE 593466.534
AT ITER 904 NEW BEST:: SOT 6049111 SOS 2813249 HAS SOPS 2803675 HAS SOUS 553074 HAS SOUPS 552188 WITH SCORE 555001.249
AT ITER 908 NEW BEST:: SOT 6049423 SOS 2812685 HAS SOPS 2793607 HAS SOUS 553398 HAS SOUPS 551324 WITH SCORE 554136.685
AT ITER 912 NEW BEST:: SOT 6049429 SOS 2812691 HAS SOPS 2793613 HAS SOUS 553380 HAS SOUPS 551306 WITH SCORE 554118.691
AT ITER 913 NEW BEST:: SOT 6041629 SOS 2804871 HAS SOPS 2785793 HAS SOUS 552460 HAS SOUPS 550386 WITH SCORE 553190.871
AT ITER 918 NEW BEST:: SOT 6040664 SOS 2804152 HAS SOPS 2785074 HAS SOUS 551524 HAS SOUPS 549450 WITH SCORE 552254.152
AT ITER 922 NEW BEST:: SOT 6040626 SOS 2804114 HAS SOPS 2785036 HAS SOUS 551448 HAS SOUPS 549374 WITH SCORE 552178.114
AT ITER 929 NEW BEST:: SOT 6040616 SOS 2804104 HAS SOPS 2785016 HAS SOUS 551428 HAS SOUPS 549354 WITH SCORE 552158.104
AT ITER 935 NEW BEST:: SOT 6040252 SOS 2803740 HAS SOPS 2784652 HAS SOUS 550168 HAS SOUPS 548094 WITH SCORE 550897.74
AT ITER 943 NEW BEST:: SOT 6040421 SOS 2803989 HAS SOPS 2784924 HAS SOUS 550043 HAS SOUPS 547969 WITH SCORE 550772.989
AT ITER 951 NEW BEST:: SOT 6040435 SOS 2804015 HAS SOPS 2784950 HAS SOUS 549926 HAS SOUPS 547852 WITH SCORE 550656.015
AT ITER 955 NEW BEST:: SOT 6038387 SOS 2801679 HAS SOPS 2782614 HAS SOUS 548771 HAS SOUPS 546697 WITH SCORE 549498.679
AT ITER 964 NEW BEST:: SOT 6037566 SOS 2801012 HAS SOPS 2781947 HAS SOUS 548176 HAS SOUPS 546102 WITH SCORE 548903.012
AT ITER 970 NEW BEST:: SOT 6038734 SOS 2802302 HAS SOPS 2783258 HAS SOUS 547950 HAS SOUPS 545876 WITH SCORE 548678.302
AT ITER 975 NEW BEST:: SOT 6038724 SOS 2802319 HAS SOPS 2783277 HAS SOUS 547937 HAS SOUPS 545863 WITH SCORE 548665.319
AT ITER 976 NEW BEST:: SOT 6038507 SOS 2802015 HAS SOPS 2782994 HAS SOUS 547814 HAS SOUPS 545740 WITH SCORE 548542.015
AT ITER 983 NEW BEST:: SOT 6029986 SOS 2798123 HAS SOPS 2779102 HAS SOUS 547083 HAS SOUPS 545009 WITH SCORE 547807.123
AT ITER 985 NEW BEST:: SOT 6029841 SOS 2797796 HAS SOPS 2778775 HAS SOUS 546938 HAS SOUPS 544864 WITH SCORE 547661.796
AT ITER 1005 NEW BEST:: SOT 6029770 SOS 2797944 HAS SOPS 2778923 HAS SOUS 546737 HAS SOUPS 544663 WITH SCORE 547460.944
AT ITER 1007 NEW BEST:: SOT 6029760 SOS 2797934 HAS SOPS 2778960 HAS SOUS 546731 HAS SOUPS 544657 WITH SCORE 547454.934
AT ITER 1009 NEW BEST:: SOT 5957926 SOS 2787246 HAS SOPS 2768272 HAS SOUS 544287 HAS SOUPS 542213 WITH SCORE 545000.246
AT ITER 1029 NEW BEST:: SOT 5957878 SOS 2787198 HAS SOPS 2768176 HAS SOUS 544191 HAS SOUPS 542117 WITH SCORE 544904.198
AT ITER 1034 NEW BEST:: SOT 5957415 SOS 2786590 HAS SOPS 2767568 HAS SOUS 543858 HAS SOUPS 541784 WITH SCORE 544570.59
AT ITER 1035 NEW BEST:: SOT 5957407 SOS 2786566 HAS SOPS 2767544 HAS SOUS 543848 HAS SOUPS 541774 WITH SCORE 544560.566
AT ITER 1037 NEW BEST:: SOT 5957537 SOS 2786742 HAS SOPS 2767720 HAS SOUS 543838 HAS SOUPS 541764 WITH SCORE 544550.742
AT ITER 1039 NEW BEST:: SOT 5957307 SOS 2786434 HAS SOPS 2767412 HAS SOUS 543339 HAS SOUPS 541265 WITH SCORE 544051.434
AT ITER 1040 NEW BEST:: SOT 5957307 SOS 2783489 HAS SOPS 2764467 HAS SOUS 543339 HAS SOUPS 541265 WITH SCORE 544048.489
AT ITER 1041 NEW BEST:: SOT 5957434 SOS 2783590 HAS SOPS 2764568 HAS SOUS 543017 HAS SOUPS 540943 WITH SCORE 543726.59
AT ITER 1051 NEW BEST:: SOT 5957134 SOS 2783241 HAS SOPS 2764219 HAS SOUS 542881 HAS SOUPS 540807 WITH SCORE 543590.241
AT ITER 1054 NEW BEST:: SOT 5956670 SOS 2782449 HAS SOPS 2763427 HAS SOUS 542577 HAS SOUPS 540503 WITH SCORE 543285.449
AT ITER 1078 NEW BEST:: SOT 5958870 SOS 2785129 HAS SOPS 2766107 HAS SOUS 541649 HAS SOUPS 539575 WITH SCORE 542360.129
AT ITER 1080 NEW BEST:: SOT 5916250 SOS 2742580 HAS SOPS 2723558 HAS SOUS 534301 HAS SOUPS 532227 WITH SCORE 534969.58
AT ITER 1081 NEW BEST:: SOT 5915593 SOS 2741619 HAS SOPS 2722597 HAS SOUS 533709 HAS SOUPS 531635 WITH SCORE 534376.619
AT ITER 1082 NEW BEST:: SOT 5914557 SOS 2740583 HAS SOPS 2721561 HAS SOUS 532673 HAS SOUPS 530599 WITH SCORE 533339.583
AT ITER 1088 NEW BEST:: SOT 5914751 SOS 2740815 HAS SOPS 2721793 HAS SOUS 532305 HAS SOUPS 530231 WITH SCORE 532971.815
AT ITER 1091 NEW BEST:: SOT 5831145 SOS 2657209 HAS SOPS 2638187 HAS SOUS 525727 HAS SOUPS 523653 WITH SCORE 526310.209
AT ITER 1097 NEW BEST:: SOT 5830324 SOS 2656505 HAS SOPS 2637483 HAS SOUS 525173 HAS SOUPS 523099 WITH SCORE 525755.505
AT ITER 1113 NEW BEST:: SOT 5830119 SOS 2656074 HAS SOPS 2637228 HAS SOUS 525046 HAS SOUPS 522972 WITH SCORE 525628.074
AT ITER 1123 NEW BEST:: SOT 5830204 SOS 2656112 HAS SOPS 2637079 HAS SOUS 524770 HAS SOUPS 522696 WITH SCORE 525352.112
AT ITER 1124 NEW BEST:: SOT 5830194 SOS 2656102 HAS SOPS 2637040 HAS SOUS 524731 HAS SOUPS 522657 WITH SCORE 525313.102
AT ITER 1133 NEW BEST:: SOT 5829425 SOS 2656809 HAS SOPS 2637747 HAS SOUS 524120 HAS SOUPS 522046 WITH SCORE 524702.809
AT ITER 1143 NEW BEST:: SOT 5829379 SOS 2656763 HAS SOPS 2637701 HAS SOUS 524074 HAS SOUPS 522000 WITH SCORE 524656.763
AT ITER 1146 NEW BEST:: SOT 5828554 SOS 2656116 HAS SOPS 2637054 HAS SOUS 523158 HAS SOUPS 521084 WITH SCORE 523740.116
AT ITER 1148 NEW BEST:: SOT 5828290 SOS 2655852 HAS SOPS 2636790 HAS SOUS 522894 HAS SOUPS 520820 WITH SCORE 523475.852
AT ITER 1155 NEW BEST:: SOT 5827599 SOS 2655339 HAS SOPS 2636277 HAS SOUS 522386 HAS SOUPS 520312 WITH SCORE 522967.339
AT ITER 1156 NEW BEST:: SOT 5827479 SOS 2655219 HAS SOPS 2636157 HAS SOUS 522185 HAS SOUPS 520111 WITH SCORE 522766.219
AT ITER 1164 NEW BEST:: SOT 5788300 SOS 2640034 HAS SOPS 2620972 HAS SOUS 520178 HAS SOUPS 518104 WITH SCORE 520744.034
AT ITER 1171 NEW BEST:: SOT 5787899 SOS 2639615 HAS SOPS 2620553 HAS SOUS 519644 HAS SOUPS 517570 WITH SCORE 520209.615
AT ITER 1196 NEW BEST:: SOT 5787881 SOS 2639597 HAS SOPS 2620535 HAS SOUS 519626 HAS SOUPS 517552 WITH SCORE 520191.597
AT ITER 1199 NEW BEST:: SOT 5787439 SOS 2639091 HAS SOPS 2620029 HAS SOUS 519355 HAS SOUPS 517281 WITH SCORE 519920.091
AT ITER 1212 NEW BEST:: SOT 5787429 SOS 2639071 HAS SOPS 2620009 HAS SOUS 519335 HAS SOUPS 517261 WITH SCORE 519900.071
AT ITER 1220 NEW BEST:: SOT 5787181 SOS 2638823 HAS SOPS 2619761 HAS SOUS 519087 HAS SOUPS 517013 WITH SCORE 519651.823
AT ITER 1224 NEW BEST:: SOT 5784367 SOS 2635922 HAS SOPS 2616860 HAS SOUS 517799 HAS SOUPS 515725 WITH SCORE 518360.922
AT ITER 1225 NEW BEST:: SOT 5784882 SOS 2636437 HAS SOPS 2617375 HAS SOUS 517694 HAS SOUPS 515620 WITH SCORE 518256.437
AT ITER 1228 NEW BEST:: SOT 5784872 SOS 2636427 HAS SOPS 2617365 HAS SOUS 517684 HAS SOUPS 515610 WITH SCORE 518246.427
AT ITER 1236 NEW BEST:: SOT 5784712 SOS 2636302 HAS SOPS 2617240 HAS SOUS 517673 HAS SOUPS 515599 WITH SCORE 518235.302
AT ITER 1244 NEW BEST:: SOT 5784712 SOS 2636307 HAS SOPS 2617245 HAS SOUS 517668 HAS SOUPS 515594 WITH SCORE 518230.307
AT ITER 1253 NEW BEST:: SOT 5784501 SOS 2636161 HAS SOPS 2617207 HAS SOUS 517475 HAS SOUPS 515401 WITH SCORE 518037.161
AT ITER 1289 NEW BEST:: SOT 5784480 SOS 2636140 HAS SOPS 2617181 HAS SOUS 517433 HAS SOUPS 515359 WITH SCORE 517995.14
AT ITER 1304 NEW BEST:: SOT 5784168 SOS 2635799 HAS SOPS 2616840 HAS SOUS 517063 HAS SOUPS 514989 WITH SCORE 517624.799
AT ITER 1314 NEW BEST:: SOT 5783880 SOS 2635527 HAS SOPS 2616568 HAS SOUS 516791 HAS SOUPS 514717 WITH SCORE 517352.527
AT ITER 1316 NEW BEST:: SOT 5783860 SOS 2635507 HAS SOPS 2616548 HAS SOUS 516751 HAS SOUPS 514677 WITH SCORE 517312.507
AT ITER 1324 NEW BEST:: SOT 5786088 SOS 2638008 HAS SOPS 2619049 HAS SOUS 516312 HAS SOUPS 514238 WITH SCORE 516876.008
AT ITER 1332 NEW BEST:: SOT 5785896 SOS 2637774 HAS SOPS 2618929 HAS SOUS 516235 HAS SOUPS 514161 WITH SCORE 516798.774
AT ITER 1334 NEW BEST:: SOT 5785790 SOS 2637668 HAS SOPS 2618823 HAS SOUS 516104 HAS SOUPS 514030 WITH SCORE 516667.668
AT ITER 1343 NEW BEST:: SOT 5785370 SOS 2637308 HAS SOPS 2618463 HAS SOUS 515504 HAS SOUPS 513430 WITH SCORE 516067.308
AT ITER 1348 NEW BEST:: SOT 5785486 SOS 2637516 HAS SOPS 2618671 HAS SOUS 515447 HAS SOUPS 513373 WITH SCORE 516010.516
AT ITER 1351 NEW BEST:: SOT 5785486 SOS 2613628 HAS SOPS 2594783 HAS SOUS 514959 HAS SOUPS 512885 WITH SCORE 515498.628
AT ITER 1362 NEW BEST:: SOT 5785378 SOS 2613520 HAS SOPS 2594675 HAS SOUS 514901 HAS SOUPS 512827 WITH SCORE 515440.52
AT ITER 1369 NEW BEST:: SOT 5674471 SOS 2613223 HAS SOPS 2594378 HAS SOUS 506140 HAS SOUPS 504066 WITH SCORE 506679.223
AT ITER 1371 NEW BEST:: SOT 5674324 SOS 2613076 HAS SOPS 2594231 HAS SOUS 505846 HAS SOUPS 503772 WITH SCORE 506385.076
AT ITER 1384 NEW BEST:: SOT 5674211 SOS 2613189 HAS SOPS 2594344 HAS SOUS 505499 HAS SOUPS 503425 WITH SCORE 506038.189
AT ITER 1391 NEW BEST:: SOT 5674207 SOS 2613185 HAS SOPS 2594340 HAS SOUS 505389 HAS SOUPS 503315 WITH SCORE 505928.185
AT ITER 1398 NEW BEST:: SOT 5668386 SOS 2612141 HAS SOPS 2591089 HAS SOUS 499787 HAS SOUPS 497331 WITH SCORE 499943.141
AT ITER 1402 NEW BEST:: SOT 5668374 SOS 2612129 HAS SOPS 2591065 HAS SOUS 499763 HAS SOUPS 497307 WITH SCORE 499919.129
AT ITER 1403 NEW BEST:: SOT 5668285 SOS 2611894 HAS SOPS 2590830 HAS SOUS 499652 HAS SOUPS 497196 WITH SCORE 499807.894
AT ITER 1408 NEW BEST:: SOT 5668237 SOS 2611846 HAS SOPS 2590782 HAS SOUS 499560 HAS SOUPS 497104 WITH SCORE 499715.846
AT ITER 1415 NEW BEST:: SOT 5667835 SOS 2611208 HAS SOPS 2590026 HAS SOUS 499110 HAS SOUPS 496654 WITH SCORE 499265.208
AT ITER 1419 NEW BEST:: SOT 5680168 SOS 2562643 HAS SOPS 2541461 HAS SOUS 494649 HAS SOUPS 492193 WITH SCORE 494755.643
AT ITER 1432 NEW BEST:: SOT 5680145 SOS 2562620 HAS SOPS 2541419 HAS SOUS 494595 HAS SOUPS 492139 WITH SCORE 494701.62
AT ITER 1445 NEW BEST:: SOT 5680968 SOS 2563571 HAS SOPS 2542392 HAS SOUS 494084 HAS SOUPS 491628 WITH SCORE 494191.571
AT ITER 1456 NEW BEST:: SOT 5680922 SOS 2563525 HAS SOPS 2542346 HAS SOUS 493992 HAS SOUPS 491536 WITH SCORE 494099.525
AT ITER 1464 NEW BEST:: SOT 5680934 SOS 2563535 HAS SOPS 2542356 HAS SOUS 493883 HAS SOUPS 491427 WITH SCORE 493990.535
AT ITER 1471 NEW BEST:: SOT 5680662 SOS 2563326 HAS SOPS 2542147 HAS SOUS 493879 HAS SOUPS 491423 WITH SCORE 493986.326
AT ITER 1517 NEW BEST:: SOT 5680432 SOS 2563088 HAS SOPS 2541909 HAS SOUS 493706 HAS SOUPS 491250 WITH SCORE 493813.088
AT ITER 1522 NEW BEST:: SOT 5680381 SOS 2563459 HAS SOPS 2542280 HAS SOUS 493629 HAS SOUPS 491173 WITH SCORE 493736.459
AT ITER 1532 NEW BEST:: SOT 5679486 SOS 2562508 HAS SOPS 2541329 HAS SOUS 492642 HAS SOUPS 490186 WITH SCORE 492748.508
AT ITER 1535 NEW BEST:: SOT 5679366 SOS 2562368 HAS SOPS 2541189 HAS SOUS 492502 HAS SOUPS 490046 WITH SCORE 492608.368
AT ITER 1539 NEW BEST:: SOT 5679198 SOS 2562200 HAS SOPS 2541021 HAS SOUS 492417 HAS SOUPS 489961 WITH SCORE 492523.2
AT ITER 1541 NEW BEST:: SOT 5679088 SOS 2562125 HAS SOPS 2540946 HAS SOUS 491451 HAS SOUPS 488995 WITH SCORE 491557.125
AT ITER 1546 NEW BEST:: SOT 5679088 SOS 2562034 HAS SOPS 2540855 HAS SOUS 491442 HAS SOUPS 488986 WITH SCORE 491548.034
AT ITER 1561 NEW BEST:: SOT 5680858 SOS 2564035 HAS SOPS 2542856 HAS SOUS 490362 HAS SOUPS 487906 WITH SCORE 490470.035
AT ITER 1562 NEW BEST:: SOT 5680380 SOS 2563753 HAS SOPS 2542574 HAS SOUS 489606 HAS SOUPS 487150 WITH SCORE 489713.753
AT ITER 1569 NEW BEST:: SOT 5679703 SOS 2562908 HAS SOPS 2541729 HAS SOUS 489157 HAS SOUPS 486701 WITH SCORE 489263.908
AT ITER 1573 NEW BEST:: SOT 5677148 SOS 2612312 HAS SOPS 2591133 HAS SOUS 488819 HAS SOUPS 486363 WITH SCORE 488975.312
AT ITER 1574 NEW BEST:: SOT 5677177 SOS 2612341 HAS SOPS 2591151 HAS SOUS 488770 HAS SOUPS 486314 WITH SCORE 488926.341
AT ITER 1576 NEW BEST:: SOT 5676664 SOS 2611964 HAS SOPS 2590774 HAS SOUS 488228 HAS SOUPS 485772 WITH SCORE 488383.964
AT ITER 1577 NEW BEST:: SOT 5674210 SOS 2609579 HAS SOPS 2588389 HAS SOUS 486832 HAS SOUPS 484376 WITH SCORE 486985.579
AT ITER 1581 NEW BEST:: SOT 5667775 SOS 2603144 HAS SOPS 2581954 HAS SOUS 486406 HAS SOUPS 483950 WITH SCORE 486553.144
AT ITER 1589 NEW BEST:: SOT 5667521 SOS 2603045 HAS SOPS 2581855 HAS SOUS 483929 HAS SOUPS 481473 WITH SCORE 484076.045
AT ITER 1601 NEW BEST:: SOT 5667521 SOS 2598397 HAS SOPS 2577207 HAS SOUS 483912 HAS SOUPS 481456 WITH SCORE 484054.397
AT ITER 1609 NEW BEST:: SOT 5609611 SOS 2556468 HAS SOPS 2535278 HAS SOUS 479748 HAS SOUPS 477292 WITH SCORE 479848.468
AT ITER 1615 NEW BEST:: SOT 5609611 SOS 2556468 HAS SOPS 2535278 HAS SOUS 479745 HAS SOUPS 477289 WITH SCORE 479845.468
AT ITER 1618 NEW BEST:: SOT 5609632 SOS 2556531 HAS SOPS 2535299 HAS SOUS 479724 HAS SOUPS 477268 WITH SCORE 479824.531
AT ITER 1633 NEW BEST:: SOT 5609364 SOS 2556127 HAS SOPS 2534895 HAS SOUS 479324 HAS SOUPS 476868 WITH SCORE 479424.127
AT ITER 1634 NEW BEST:: SOT 5609349 SOS 2556112 HAS SOPS 2534880 HAS SOUS 479170 HAS SOUPS 476714 WITH SCORE 479270.112
AT ITER 1643 NEW BEST:: SOT 5609026 SOS 2555806 HAS SOPS 2534574 HAS SOUS 478864 HAS SOUPS 476408 WITH SCORE 478963.806
AT ITER 1676 NEW BEST:: SOT 5609005 SOS 2555785 HAS SOPS 2534553 HAS SOUS 478831 HAS SOUPS 476375 WITH SCORE 478930.785
AT ITER 1688 NEW BEST:: SOT 5608958 SOS 2555738 HAS SOPS 2534517 HAS SOUS 478800 HAS SOUPS 476344 WITH SCORE 478899.738
AT ITER 1690 NEW BEST:: SOT 5608681 SOS 2555184 HAS SOPS 2533963 HAS SOUS 478246 HAS SOUPS 475790 WITH SCORE 478345.184
AT ITER 1703 NEW BEST:: SOT 5608506 SOS 2555009 HAS SOPS 2535660 HAS SOUS 477966 HAS SOUPS 475744 WITH SCORE 478299.009
AT ITER 1722 NEW BEST:: SOT 5428606 SOS 2375109 HAS SOPS 2355760 HAS SOUS 458536 HAS SOUPS 456314 WITH SCORE 458689.109
AT ITER 1729 NEW BEST:: SOT 5428384 SOS 2374547 HAS SOPS 2355198 HAS SOUS 458075 HAS SOUPS 455853 WITH SCORE 458227.547
AT ITER 1740 NEW BEST:: SOT 5427862 SOS 2374075 HAS SOPS 2354726 HAS SOUS 457303 HAS SOUPS 455081 WITH SCORE 457455.075
AT ITER 1761 NEW BEST:: SOT 5427771 SOS 2373984 HAS SOPS 2354635 HAS SOUS 457025 HAS SOUPS 454803 WITH SCORE 457176.984
AT ITER 1763 NEW BEST:: SOT 5427582 SOS 2373795 HAS SOPS 2354446 HAS SOUS 456836 HAS SOUPS 454614 WITH SCORE 456987.795
AT ITER 1777 NEW BEST:: SOT 5427487 SOS 2373715 HAS SOPS 2354219 HAS SOUS 456347 HAS SOUPS 454125 WITH SCORE 456498.715
AT ITER 1781 NEW BEST:: SOT 5426956 SOS 2372872 HAS SOPS 2353376 HAS SOUS 455974 HAS SOUPS 453752 WITH SCORE 456124.872
AT ITER 1789 NEW BEST:: SOT 5426641 SOS 2372557 HAS SOPS 2353061 HAS SOUS 455333 HAS SOUPS 453111 WITH SCORE 455483.557
AT ITER 1794 NEW BEST:: SOT 5426709 SOS 2372626 HAS SOPS 2353009 HAS SOUS 455198 HAS SOUPS 452976 WITH SCORE 455348.626
AT ITER 1803 NEW BEST:: SOT 5426773 SOS 2373142 HAS SOPS 2353525 HAS SOUS 455088 HAS SOUPS 452866 WITH SCORE 455239.142
AT ITER 1806 NEW BEST:: SOT 5426507 SOS 2372772 HAS SOPS 2353155 HAS SOUS 454526 HAS SOUPS 452304 WITH SCORE 454676.772
AT ITER 1814 NEW BEST:: SOT 5426423 SOS 2372646 HAS SOPS 2353029 HAS SOUS 454358 HAS SOUPS 452136 WITH SCORE 454508.646
AT ITER 1829 NEW BEST:: SOT 5425463 SOS 2371777 HAS SOPS 2352160 HAS SOUS 453894 HAS SOUPS 451672 WITH SCORE 454043.777
AT ITER 1830 NEW BEST:: SOT 5425433 SOS 2371747 HAS SOPS 2352130 HAS SOUS 453804 HAS SOUPS 451582 WITH SCORE 453953.747
AT ITER 1832 NEW BEST:: SOT 5425404 SOS 2371718 HAS SOPS 2352072 HAS SOUS 453659 HAS SOUPS 451437 WITH SCORE 453808.718
AT ITER 1837 NEW BEST:: SOT 5424496 SOS 2370784 HAS SOPS 2351138 HAS SOUS 452497 HAS SOUPS 450275 WITH SCORE 452645.784
AT ITER 1843 NEW BEST:: SOT 5424421 SOS 2370679 HAS SOPS 2351033 HAS SOUS 452422 HAS SOUPS 450200 WITH SCORE 452570.679
AT ITER 1856 NEW BEST:: SOT 5424305 SOS 2370534 HAS SOPS 2350888 HAS SOUS 451784 HAS SOUPS 449562 WITH SCORE 451932.534
AT ITER 1861 NEW BEST:: SOT 5424281 SOS 2370542 HAS SOPS 2350896 HAS SOUS 451247 HAS SOUPS 449025 WITH SCORE 451395.542
AT ITER 1872 NEW BEST:: SOT 5424241 SOS 2370502 HAS SOPS 2350856 HAS SOUS 451173 HAS SOUPS 448951 WITH SCORE 451321.502
AT ITER 1877 NEW BEST:: SOT 5424081 SOS 2370224 HAS SOPS 2350578 HAS SOUS 451089 HAS SOUPS 448867 WITH SCORE 451237.224
AT ITER 1879 NEW BEST:: SOT 5423787 SOS 2369930 HAS SOPS 2350284 HAS SOUS 450795 HAS SOUPS 448573 WITH SCORE 450942.93
AT ITER 1896 NEW BEST:: SOT 5423654 SOS 2369664 HAS SOPS 2350018 HAS SOUS 450662 HAS SOUPS 448440 WITH SCORE 450809.664
AT ITER 1897 NEW BEST:: SOT 5423654 SOS 2369664 HAS SOPS 2350018 HAS SOUS 450590 HAS SOUPS 448368 WITH SCORE 450737.664
AT ITER 1902 NEW BEST:: SOT 5423469 SOS 2369479 HAS SOPS 2349833 HAS SOUS 450405 HAS SOUPS 448183 WITH SCORE 450552.479
AT ITER 1907 NEW BEST:: SOT 5422732 SOS 2368906 HAS SOPS 2349260 HAS SOUS 449584 HAS SOUPS 447362 WITH SCORE 449730.906
AT ITER 1915 NEW BEST:: SOT 5422555 SOS 2368792 HAS SOPS 2349146 HAS SOUS 449481 HAS SOUPS 447259 WITH SCORE 449627.792
AT ITER 1926 NEW BEST:: SOT 5422554 SOS 2368787 HAS SOPS 2349141 HAS SOUS 449476 HAS SOUPS 447254 WITH SCORE 449622.787
AT ITER 1934 NEW BEST:: SOT 5422429 SOS 2368542 HAS SOPS 2348896 HAS SOUS 449444 HAS SOUPS 447222 WITH SCORE 449590.542
AT ITER 1950 NEW BEST:: SOT 5275157 SOS 2503908 HAS SOPS 2484262 HAS SOUS 441208 HAS SOUPS 438986 WITH SCORE 441489.908
AT ITER 1951 NEW BEST:: SOT 5212168 SOS 2440919 HAS SOPS 2421273 HAS SOUS 435733 HAS SOUPS 433511 WITH SCORE 435951.919
AT ITER 1954 NEW BEST:: SOT 5156563 SOS 2400034 HAS SOPS 2380388 HAS SOUS 431965 HAS SOUPS 429743 WITH SCORE 432143.034
AT ITER 1956 NEW BEST:: SOT 5156568 SOS 2400039 HAS SOPS 2380345 HAS SOUS 431869 HAS SOUPS 429647 WITH SCORE 432047.039
AT ITER 1962 NEW BEST:: SOT 5156162 SOS 2399575 HAS SOPS 2379852 HAS SOUS 431405 HAS SOUPS 429183 WITH SCORE 431582.575
AT ITER 1970 NEW BEST:: SOT 5156655 SOS 2400068 HAS SOPS 2380345 HAS SOUS 430914 HAS SOUPS 428692 WITH SCORE 431092.068
AT ITER 1977 NEW BEST:: SOT 5156656 SOS 2400069 HAS SOPS 2380323 HAS SOUS 430885 HAS SOUPS 428646 WITH SCORE 431046.069
AT ITER 1988 NEW BEST:: SOT 5137204 SOS 2380508 HAS SOPS 2360762 HAS SOUS 428364 HAS SOUPS 426125 WITH SCORE 428505.508
AT ITER 2001 NEW BEST:: SOT 5137178 SOS 2380443 HAS SOPS 2360697 HAS SOUS 428312 HAS SOUPS 426073 WITH SCORE 428453.443
AT ITER 2002 NEW BEST:: SOT 5136953 SOS 2380295 HAS SOPS 2360530 HAS SOUS 428190 HAS SOUPS 425932 WITH SCORE 428312.295
AT ITER 2006 NEW BEST:: SOT 5136927 SOS 2380269 HAS SOPS 2360530 HAS SOUS 428154 HAS SOUPS 425896 WITH SCORE 428276.269
AT ITER 2010 NEW BEST:: SOT 5137028 SOS 2380370 HAS SOPS 2360631 HAS SOUS 428116 HAS SOUPS 425858 WITH SCORE 428238.37
AT ITER 2013 NEW BEST:: SOT 5134418 SOS 2377841 HAS SOPS 2358102 HAS SOUS 426428 HAS SOUPS 424170 WITH SCORE 426547.841
AT ITER 2016 NEW BEST:: SOT 5134392 SOS 2377815 HAS SOPS 2358050 HAS SOUS 426376 HAS SOUPS 424118 WITH SCORE 426495.815
AT ITER 2040 NEW BEST:: SOT 5132501 SOS 2375901 HAS SOPS 2356136 HAS SOUS 424679 HAS SOUPS 422421 WITH SCORE 424796.901
AT ITER 2041 NEW BEST:: SOT 5132520 SOS 2375939 HAS SOPS 2356132 HAS SOUS 424607 HAS SOUPS 422349 WITH SCORE 424724.939
AT ITER 2051 NEW BEST:: SOT 5132025 SOS 2375391 HAS SOPS 2355584 HAS SOUS 424241 HAS SOUPS 421983 WITH SCORE 424358.391
AT ITER 2052 NEW BEST:: SOT 5131746 SOS 2375112 HAS SOPS 2355305 HAS SOUS 424034 HAS SOUPS 421776 WITH SCORE 424151.112
AT ITER 2058 NEW BEST:: SOT 5131845 SOS 2375211 HAS SOPS 2355356 HAS SOUS 423902 HAS SOUPS 421644 WITH SCORE 424019.211
AT ITER 2060 NEW BEST:: SOT 5131100 SOS 2374515 HAS SOPS 2354660 HAS SOUS 423296 HAS SOUPS 421038 WITH SCORE 423412.515
AT ITER 2066 NEW BEST:: SOT 5131077 SOS 2374430 HAS SOPS 2354575 HAS SOUS 423211 HAS SOUPS 420953 WITH SCORE 423327.43
AT ITER 2069 NEW BEST:: SOT 5131125 SOS 2374995 HAS SOPS 2355137 HAS SOUS 423195 HAS SOUPS 420937 WITH SCORE 423311.995
AT ITER 2082 NEW BEST:: SOT 5131022 SOS 2374892 HAS SOPS 2355034 HAS SOUS 422329 HAS SOUPS 420071 WITH SCORE 422445.892
AT ITER 2087 NEW BEST:: SOT 5131022 SOS 2374883 HAS SOPS 2355025 HAS SOUS 422302 HAS SOUPS 420044 WITH SCORE 422418.883
AT ITER 2095 NEW BEST:: SOT 5131167 SOS 2375096 HAS SOPS 2354986 HAS SOUS 422278 HAS SOUPS 420020 WITH SCORE 422395.096
AT ITER 2098 NEW BEST:: SOT 5130991 SOS 2374834 HAS SOPS 2354724 HAS SOUS 420674 HAS SOUPS 418416 WITH SCORE 420790.834
AT ITER 2116 NEW BEST:: SOT 5131217 SOS 2375060 HAS SOPS 2354950 HAS SOUS 420669 HAS SOUPS 418411 WITH SCORE 420786.06
AT ITER 2119 NEW BEST:: SOT 5131096 SOS 2374939 HAS SOPS 2354829 HAS SOUS 420541 HAS SOUPS 418283 WITH SCORE 420657.939
AT ITER 2124 NEW BEST:: SOT 5130879 SOS 2374454 HAS SOPS 2354344 HAS SOUS 420178 HAS SOUPS 417920 WITH SCORE 420294.454
AT ITER 2138 NEW BEST:: SOT 5131042 SOS 2374295 HAS SOPS 2354185 HAS SOUS 419775 HAS SOUPS 417517 WITH SCORE 419891.295
AT ITER 2142 NEW BEST:: SOT 5130627 SOS 2373880 HAS SOPS 2353770 HAS SOUS 419436 HAS SOUPS 417178 WITH SCORE 419551.88
AT ITER 2152 NEW BEST:: SOT 5130626 SOS 2373879 HAS SOPS 2353768 HAS SOUS 419434 HAS SOUPS 417176 WITH SCORE 419549.879
AT ITER 2156 NEW BEST:: SOT 5130552 SOS 2373739 HAS SOPS 2353665 HAS SOUS 419399 HAS SOUPS 417141 WITH SCORE 419514.739
AT ITER 2160 NEW BEST:: SOT 5130185 SOS 2373581 HAS SOPS 2353507 HAS SOUS 419239 HAS SOUPS 416981 WITH SCORE 419354.581
AT ITER 2162 NEW BEST:: SOT 5129983 SOS 2373377 HAS SOPS 2353303 HAS SOUS 418933 HAS SOUPS 416675 WITH SCORE 419048.377
AT ITER 2195 NEW BEST:: SOT 5129090 SOS 2372317 HAS SOPS 2352243 HAS SOUS 417873 HAS SOUPS 415615 WITH SCORE 417987.317
AT ITER 2200 NEW BEST:: SOT 5129090 SOS 2349571 HAS SOPS 2329497 HAS SOUS 417884 HAS SOUPS 415626 WITH SCORE 417975.571
AT ITER 2207 NEW BEST:: SOT 5129129 SOS 2349610 HAS SOPS 2329507 HAS SOUS 417842 HAS SOUPS 415584 WITH SCORE 417933.61
AT ITER 2210 NEW BEST:: SOT 5129161 SOS 2349658 HAS SOPS 2329555 HAS SOUS 417829 HAS SOUPS 415571 WITH SCORE 417920.658
AT ITER 2214 NEW BEST:: SOT 5129161 SOS 2349658 HAS SOPS 2329555 HAS SOUS 417815 HAS SOUPS 415557 WITH SCORE 417906.658
AT ITER 2216 NEW BEST:: SOT 5128757 SOS 2349475 HAS SOPS 2329372 HAS SOUS 417565 HAS SOUPS 415307 WITH SCORE 417656.475
AT ITER 2221 NEW BEST:: SOT 5128707 SOS 2349375 HAS SOPS 2329272 HAS SOUS 417465 HAS SOUPS 415207 WITH SCORE 417556.375
AT ITER 2227 NEW BEST:: SOT 5128724 SOS 2349392 HAS SOPS 2329320 HAS SOUS 417453 HAS SOUPS 415195 WITH SCORE 417544.392
AT ITER 2229 NEW BEST:: SOT 5128667 SOS 2349335 HAS SOPS 2329264 HAS SOUS 417416 HAS SOUPS 415158 WITH SCORE 417507.335
AT ITER 2243 NEW BEST:: SOT 5128658 SOS 2349323 HAS SOPS 2329252 HAS SOUS 417347 HAS SOUPS 415089 WITH SCORE 417438.323
AT ITER 2268 NEW BEST:: SOT 5128447 SOS 2349112 HAS SOPS 2329041 HAS SOUS 417136 HAS SOUPS 414878 WITH SCORE 417227.112
AT ITER 2277 NEW BEST:: SOT 5128159 SOS 2349218 HAS SOPS 2329147 HAS SOUS 416560 HAS SOUPS 414302 WITH SCORE 416651.218
AT ITER 2282 NEW BEST:: SOT 5128153 SOS 2349003 HAS SOPS 2328932 HAS SOUS 416552 HAS SOUPS 414294 WITH SCORE 416643.003
AT ITER 2308 NEW BEST:: SOT 5038274 SOS 2268277 HAS SOPS 2248206 HAS SOUS 411007 HAS SOUPS 408749 WITH SCORE 411017.277
AT ITER 2345 NEW BEST:: SOT 5037595 SOS 2267598 HAS SOPS 2247527 HAS SOUS 409674 HAS SOUPS 407416 WITH SCORE 409683.598
AT ITER 2378 NEW BEST:: SOT 5037941 SOS 2268352 HAS SOPS 2248281 HAS SOUS 409500 HAS SOUPS 407242 WITH SCORE 409510.352
AT ITER 2383 NEW BEST:: SOT 5037665 SOS 2268068 HAS SOPS 2247997 HAS SOUS 409175 HAS SOUPS 406917 WITH SCORE 409185.068
AT ITER 2389 NEW BEST:: SOT 5036885 SOS 2267158 HAS SOPS 2247087 HAS SOUS 408295 HAS SOUPS 406037 WITH SCORE 408304.158
AT ITER 2396 NEW BEST:: SOT 5036862 SOS 2267416 HAS SOPS 2247349 HAS SOUS 408279 HAS SOUPS 406021 WITH SCORE 408288.416
AT ITER 2418 NEW BEST:: SOT 5036814 SOS 2267368 HAS SOPS 2247301 HAS SOUS 408186 HAS SOUPS 405928 WITH SCORE 408195.368
AT ITER 2429 NEW BEST:: SOT 5036808 SOS 2267362 HAS SOPS 2247295 HAS SOUS 408180 HAS SOUPS 405922 WITH SCORE 408189.362
AT ITER 2430 NEW BEST:: SOT 5036509 SOS 2266833 HAS SOPS 2246766 HAS SOUS 408157 HAS SOUPS 405899 WITH SCORE 408165.833
AT ITER 2446 NEW BEST:: SOT 4955904 SOS 2186228 HAS SOPS 2166161 HAS SOUS 405728 HAS SOUPS 403470 WITH SCORE 405656.228
AT ITER 2451 NEW BEST:: SOT 4955792 SOS 2186116 HAS SOPS 2166013 HAS SOUS 405504 HAS SOUPS 403246 WITH SCORE 405432.116
AT ITER 2470 NEW BEST:: SOT 4955688 SOS 2186585 HAS SOPS 2166485 HAS SOUS 405364 HAS SOUPS 403106 WITH SCORE 405292.585
AT ITER 2481 NEW BEST:: SOT 4955389 SOS 2186286 HAS SOPS 2166186 HAS SOUS 405011 HAS SOUPS 402753 WITH SCORE 404939.286
AT ITER 2482 NEW BEST:: SOT 4955772 SOS 2186418 HAS SOPS 2166318 HAS SOUS 404894 HAS SOUPS 402636 WITH SCORE 404822.418
AT ITER 2483 NEW BEST:: SOT 4955687 SOS 2186333 HAS SOPS 2166233 HAS SOUS 404711 HAS SOUPS 402453 WITH SCORE 404639.333
AT ITER 2489 NEW BEST:: SOT 4955600 SOS 2186246 HAS SOPS 2166146 HAS SOUS 404662 HAS SOUPS 402404 WITH SCORE 404590.246
AT ITER 2490 NEW BEST:: SOT 4955310 SOS 2185983 HAS SOPS 2165883 HAS SOUS 404360 HAS SOUPS 402102 WITH SCORE 404287.983
AT ITER 2499 NEW BEST:: SOT 4955064 SOS 2185743 HAS SOPS 2165643 HAS SOUS 404120 HAS SOUPS 401862 WITH SCORE 404047.743
AT ITER 2503 NEW BEST:: SOT 4954887 SOS 2185566 HAS SOPS 2165466 HAS SOUS 403926 HAS SOUPS 401668 WITH SCORE 403853.566
AT ITER 2508 NEW BEST:: SOT 4954890 SOS 2185569 HAS SOPS 2165469 HAS SOUS 403920 HAS SOUPS 401662 WITH SCORE 403847.569
AT ITER 2517 NEW BEST:: SOT 4954885 SOS 2185564 HAS SOPS 2165464 HAS SOUS 403901 HAS SOUPS 401643 WITH SCORE 403828.564
AT ITER 2519 NEW BEST:: SOT 4954922 SOS 2185624 HAS SOPS 2165524 HAS SOUS 403693 HAS SOUPS 401435 WITH SCORE 403620.624
AT ITER 2522 NEW BEST:: SOT 4954499 SOS 2185223 HAS SOPS 2165123 HAS SOUS 403523 HAS SOUPS 401265 WITH SCORE 403450.223
AT ITER 2543 NEW BEST:: SOT 4954223 SOS 2184958 HAS SOPS 2164858 HAS SOUS 403020 HAS SOUPS 400762 WITH SCORE 402946.958
AT ITER 2552 NEW BEST:: SOT 4958527 SOS 2173328 HAS SOPS 2153228 HAS SOUS 401633 HAS SOUPS 399375 WITH SCORE 401548.328
AT ITER 2561 NEW BEST:: SOT 4957693 SOS 2172749 HAS SOPS 2152649 HAS SOUS 401015 HAS SOUPS 398757 WITH SCORE 400929.749
AT ITER 2564 NEW BEST:: SOT 4957657 SOS 2172713 HAS SOPS 2152613 HAS SOUS 400961 HAS SOUPS 398703 WITH SCORE 400875.713
AT ITER 2574 NEW BEST:: SOT 4892947 SOS 2196411 HAS SOPS 2176311 HAS SOUS 400277 HAS SOUPS 398019 WITH SCORE 400215.411
AT ITER 2576 NEW BEST:: SOT 4892917 SOS 2196381 HAS SOPS 2176311 HAS SOUS 400239 HAS SOUPS 397981 WITH SCORE 400177.381
AT ITER 2584 NEW BEST:: SOT 4892910 SOS 2196310 HAS SOPS 2176240 HAS SOUS 400169 HAS SOUPS 397911 WITH SCORE 400107.31
AT ITER 2613 NEW BEST:: SOT 4892388 SOS 2195500 HAS SOPS 2175430 HAS SOUS 399733 HAS SOUPS 397475 WITH SCORE 399670.5
AT ITER 2618 NEW BEST:: SOT 4892277 SOS 2195389 HAS SOPS 2175319 HAS SOUS 399593 HAS SOUPS 397335 WITH SCORE 399530.389
AT ITER 2620 NEW BEST:: SOT 4892109 SOS 2195199 HAS SOPS 2175129 HAS SOUS 399403 HAS SOUPS 397145 WITH SCORE 399340.199
AT ITER 2652 NEW BEST:: SOT 4892107 SOS 2195197 HAS SOPS 2175048 HAS SOUS 399464 HAS SOUPS 397108 WITH SCORE 399303.197
AT ITER 2659 NEW BEST:: SOT 4892107 SOS 2195214 HAS SOPS 2175065 HAS SOUS 399379 HAS SOUPS 397023 WITH SCORE 399218.214
AT ITER 2664 NEW BEST:: SOT 4891978 SOS 2195199 HAS SOPS 2175050 HAS SOUS 399284 HAS SOUPS 396928 WITH SCORE 399123.199
AT ITER 2686 NEW BEST:: SOT 4891454 SOS 2194650 HAS SOPS 2174501 HAS SOUS 398981 HAS SOUPS 396625 WITH SCORE 398819.65
AT ITER 2691 NEW BEST:: SOT 4891306 SOS 2194279 HAS SOPS 2174130 HAS SOUS 398934 HAS SOUPS 396578 WITH SCORE 398772.279
AT ITER 2700 NEW BEST:: SOT 4891301 SOS 2194270 HAS SOPS 2174121 HAS SOUS 398924 HAS SOUPS 396568 WITH SCORE 398762.27
AT ITER 2711 NEW BEST:: SOT 4891199 SOS 2194179 HAS SOPS 2174006 HAS SOUS 398705 HAS SOUPS 396347 WITH SCORE 398541.179
AT ITER 2713 NEW BEST:: SOT 4891166 SOS 2194182 HAS SOPS 2174009 HAS SOUS 398603 HAS SOUPS 396245 WITH SCORE 398439.182
AT ITER 2714 NEW BEST:: SOT 4891158 SOS 2185073 HAS SOPS 2164900 HAS SOUS 397808 HAS SOUPS 395450 WITH SCORE 397635.073
AT ITER 2720 NEW BEST:: SOT 4890349 SOS 2184264 HAS SOPS 2164091 HAS SOUS 397024 HAS SOUPS 394666 WITH SCORE 396850.264
AT ITER 2745 NEW BEST:: SOT 4889817 SOS 2183818 HAS SOPS 2163645 HAS SOUS 396576 HAS SOUPS 394218 WITH SCORE 396401.818
AT ITER 2749 NEW BEST:: SOT 4889745 SOS 2183758 HAS SOPS 2163585 HAS SOUS 395921 HAS SOUPS 393563 WITH SCORE 395746.758
AT ITER 2755 NEW BEST:: SOT 4889749 SOS 2183762 HAS SOPS 2163589 HAS SOUS 395753 HAS SOUPS 393395 WITH SCORE 395578.762
AT ITER 2760 NEW BEST:: SOT 4888698 SOS 2182585 HAS SOPS 2162412 HAS SOUS 394686 HAS SOUPS 392328 WITH SCORE 394510.585
AT ITER 2797 NEW BEST:: SOT 4888466 SOS 2182174 HAS SOPS 2162001 HAS SOUS 394274 HAS SOUPS 391916 WITH SCORE 394098.174
AT ITER 2844 NEW BEST:: SOT 4888379 SOS 2182017 HAS SOPS 2161844 HAS SOUS 394118 HAS SOUPS 391760 WITH SCORE 393942.017
AT ITER 2845 NEW BEST:: SOT 4888356 SOS 2181958 HAS SOPS 2161785 HAS SOUS 394059 HAS SOUPS 391701 WITH SCORE 393882.958
AT ITER 2847 NEW BEST:: SOT 4888291 SOS 2181893 HAS SOPS 2161720 HAS SOUS 393908 HAS SOUPS 391550 WITH SCORE 393731.893
AT ITER 2857 NEW BEST:: SOT 4888282 SOS 2181893 HAS SOPS 2161720 HAS SOUS 393862 HAS SOUPS 391504 WITH SCORE 393685.893
AT ITER 2867 NEW BEST:: SOT 4814558 SOS 2158188 HAS SOPS 2138015 HAS SOUS 392376 HAS SOUPS 390018 WITH SCORE 392176.188
AT ITER 2895 NEW BEST:: SOT 4814510 SOS 2158092 HAS SOPS 2137919 HAS SOUS 392280 HAS SOUPS 389922 WITH SCORE 392080.092
AT ITER 2901 NEW BEST:: SOT 4814429 SOS 2157983 HAS SOPS 2137810 HAS SOUS 392124 HAS SOUPS 389766 WITH SCORE 391923.983
AT ITER 2915 NEW BEST:: SOT 4812791 SOS 2156345 HAS SOPS 2136172 HAS SOUS 392124 HAS SOUPS 389766 WITH SCORE 391922.345
AT ITER 2922 NEW BEST:: SOT 4812769 SOS 2156323 HAS SOPS 2136150 HAS SOUS 392076 HAS SOUPS 389718 WITH SCORE 391874.323
AT ITER 2925 NEW BEST:: SOT 4812749 SOS 2156303 HAS SOPS 2136130 HAS SOUS 392046 HAS SOUPS 389688 WITH SCORE 391844.303
AT ITER 2961 NEW BEST:: SOT 4810592 SOS 2154146 HAS SOPS 2133973 HAS SOUS 391445 HAS SOUPS 389087 WITH SCORE 391241.146
AT ITER 2974 NEW BEST:: SOT 4810602 SOS 2154156 HAS SOPS 2133983 HAS SOUS 391405 HAS SOUPS 389047 WITH SCORE 391201.156
AT ITER 2984 NEW BEST:: SOT 4810483 SOS 2154037 HAS SOPS 2133732 HAS SOUS 391272 HAS SOUPS 388844 WITH SCORE 390998.037
AT ITER 2988 NEW BEST:: SOT 4810483 SOS 2154016 HAS SOPS 2133711 HAS SOUS 391251 HAS SOUPS 388823 WITH SCORE 390977.016
AT ITER 2994 NEW BEST:: SOT 4810452 SOS 2153851 HAS SOPS 2133546 HAS SOUS 391220 HAS SOUPS 388792 WITH SCORE 390945.851
AT ITER 2999 NEW BEST:: SOT 4810474 SOS 2153834 HAS SOPS 2133529 HAS SOUS 391203 HAS SOUPS 388775 WITH SCORE 390928.834
AT ITER 3012 NEW BEST:: SOT 4810384 SOS 2153744 HAS SOPS 2133439 HAS SOUS 391061 HAS SOUPS 388633 WITH SCORE 390786.744
AT ITER 3032 NEW BEST:: SOT 4810036 SOS 2153280 HAS SOPS 2132975 HAS SOUS 390655 HAS SOUPS 388227 WITH SCORE 390380.28
AT ITER 3041 NEW BEST:: SOT 4809907 SOS 2153023 HAS SOPS 2132718 HAS SOUS 390630 HAS SOUPS 388202 WITH SCORE 390355.023
AT ITER 3042 NEW BEST:: SOT 4809797 SOS 2152913 HAS SOPS 2132608 HAS SOUS 390589 HAS SOUPS 388161 WITH SCORE 390313.913
AT ITER 3049 NEW BEST:: SOT 4809265 SOS 2152381 HAS SOPS 2132076 HAS SOUS 390525 HAS SOUPS 388097 WITH SCORE 390249.381
AT ITER 3055 NEW BEST:: SOT 4809265 SOS 2147047 HAS SOPS 2126742 HAS SOUS 390483 HAS SOUPS 388055 WITH SCORE 390202.047
AT ITER 3063 NEW BEST:: SOT 4808666 SOS 2146621 HAS SOPS 2126316 HAS SOUS 390077 HAS SOUPS 387649 WITH SCORE 389795.621
AT ITER 3064 NEW BEST:: SOT 4808568 SOS 2146542 HAS SOPS 2126237 HAS SOUS 390008 HAS SOUPS 387580 WITH SCORE 389726.542
AT ITER 3065 NEW BEST:: SOT 4808737 SOS 2146950 HAS SOPS 2126645 HAS SOUS 389896 HAS SOUPS 387468 WITH SCORE 389614.95
AT ITER 3068 NEW BEST:: SOT 4808725 SOS 2147072 HAS SOPS 2126767 HAS SOUS 389812 HAS SOUPS 387384 WITH SCORE 389531.072
AT ITER 3075 NEW BEST:: SOT 4808571 SOS 2146918 HAS SOPS 2126565 HAS SOUS 389538 HAS SOUPS 387110 WITH SCORE 389256.918
AT ITER 3109 NEW BEST:: SOT 4808520 SOS 2146867 HAS SOPS 2126514 HAS SOUS 389436 HAS SOUPS 387008 WITH SCORE 389154.867
AT ITER 3114 NEW BEST:: SOT 4798610 SOS 2136957 HAS SOPS 2116604 HAS SOUS 387831 HAS SOUPS 385403 WITH SCORE 387539.957
AT ITER 3126 NEW BEST:: SOT 4798596 SOS 2137051 HAS SOPS 2116698 HAS SOUS 387400 HAS SOUPS 384972 WITH SCORE 387109.051
AT ITER 3136 NEW BEST:: SOT 4798594 SOS 2136986 HAS SOPS 2116633 HAS SOUS 387391 HAS SOUPS 384963 WITH SCORE 387099.986
AT ITER 3158 NEW BEST:: SOT 4798594 SOS 2136626 HAS SOPS 2116273 HAS SOUS 387351 HAS SOUPS 384923 WITH SCORE 387059.626
AT ITER 3176 NEW BEST:: SOT 4798594 SOS 2136524 HAS SOPS 2116171 HAS SOUS 387328 HAS SOUPS 384900 WITH SCORE 387036.524
AT ITER 3193 NEW BEST:: SOT 4798442 SOS 2136372 HAS SOPS 2116019 HAS SOUS 386085 HAS SOUPS 383657 WITH SCORE 385793.372
AT ITER 3194 NEW BEST:: SOT 4798446 SOS 2136087 HAS SOPS 2115734 HAS SOUS 385942 HAS SOUPS 383514 WITH SCORE 385650.087
AT ITER 3210 NEW BEST:: SOT 4798285 SOS 2135926 HAS SOPS 2115573 HAS SOUS 385658 HAS SOUPS 383230 WITH SCORE 385365.926
AT ITER 3220 NEW BEST:: SOT 4797907 SOS 2132747 HAS SOPS 2112914 HAS SOUS 385222 HAS SOUPS 382859 WITH SCORE 384991.747
AT ITER 3250 NEW BEST:: SOT 4797571 SOS 2132411 HAS SOPS 2112749 HAS SOUS 384886 HAS SOUPS 382694 WITH SCORE 384826.411
AT ITER 3253 NEW BEST:: SOT 4796625 SOS 2130329 HAS SOPS 2110667 HAS SOUS 383984 HAS SOUPS 381792 WITH SCORE 383922.329
AT ITER 3264 NEW BEST:: SOT 4741848 SOS 2130183 HAS SOPS 2110521 HAS SOUS 381525 HAS SOUPS 379333 WITH SCORE 381463.183
AT ITER 3280 NEW BEST:: SOT 4741694 SOS 2130239 HAS SOPS 2110577 HAS SOUS 381469 HAS SOUPS 379277 WITH SCORE 381407.239
AT ITER 3287 NEW BEST:: SOT 4741717 SOS 2129904 HAS SOPS 2110242 HAS SOUS 381404 HAS SOUPS 379212 WITH SCORE 381341.904
AT ITER 3297 NEW BEST:: SOT 4741703 SOS 2129890 HAS SOPS 2110228 HAS SOUS 381397 HAS SOUPS 379205 WITH SCORE 381334.89
AT ITER 3298 NEW BEST:: SOT 4741760 SOS 2129947 HAS SOPS 2110285 HAS SOUS 381310 HAS SOUPS 379118 WITH SCORE 381247.947
AT ITER 3323 NEW BEST:: SOT 4741612 SOS 2129799 HAS SOPS 2110137 HAS SOUS 381162 HAS SOUPS 378970 WITH SCORE 381099.799
AT ITER 3335 NEW BEST:: SOT 4740860 SOS 2129029 HAS SOPS 2109367 HAS SOUS 380972 HAS SOUPS 378780 WITH SCORE 380909.029
AT ITER 3338 NEW BEST:: SOT 4740859 SOS 2129028 HAS SOPS 2109366 HAS SOUS 380970 HAS SOUPS 378778 WITH SCORE 380907.028
AT ITER 3340 NEW BEST:: SOT 4740739 SOS 2128776 HAS SOPS 2109042 HAS SOUS 380710 HAS SOUPS 378518 WITH SCORE 380646.776
AT ITER 3348 NEW BEST:: SOT 4740731 SOS 2128768 HAS SOPS 2109034 HAS SOUS 380702 HAS SOUPS 378510 WITH SCORE 380638.768
AT ITER 3358 NEW BEST:: SOT 4739999 SOS 2128225 HAS SOPS 2108491 HAS SOUS 380110 HAS SOUPS 377918 WITH SCORE 380046.225
AT ITER 3368 NEW BEST:: SOT 4740005 SOS 2128231 HAS SOPS 2108480 HAS SOUS 380076 HAS SOUPS 377884 WITH SCORE 380012.231
AT ITER 3378 NEW BEST:: SOT 4739778 SOS 2128004 HAS SOPS 2108253 HAS SOUS 379849 HAS SOUPS 377657 WITH SCORE 379785.004
AT ITER 3391 NEW BEST:: SOT 4739667 SOS 2127930 HAS SOPS 2108179 HAS SOUS 379775 HAS SOUPS 377583 WITH SCORE 379710.93
AT ITER 3430 NEW BEST:: SOT 4739260 SOS 2127509 HAS SOPS 2107758 HAS SOUS 379675 HAS SOUPS 377483 WITH SCORE 379610.509
AT ITER 3434 NEW BEST:: SOT 4739259 SOS 2127508 HAS SOPS 2107757 HAS SOUS 379674 HAS SOUPS 377482 WITH SCORE 379609.508
AT ITER 3436 NEW BEST:: SOT 4739247 SOS 2127496 HAS SOPS 2107745 HAS SOUS 379650 HAS SOUPS 377458 WITH SCORE 379585.496
AT ITER 3445 NEW BEST:: SOT 4738941 SOS 2126934 HAS SOPS 2107183 HAS SOUS 379565 HAS SOUPS 377373 WITH SCORE 379499.934
AT ITER 3448 NEW BEST:: SOT 4738749 SOS 2126742 HAS SOPS 2106991 HAS SOUS 379495 HAS SOUPS 377303 WITH SCORE 379429.742
AT ITER 3453 NEW BEST:: SOT 4737242 SOS 2125235 HAS SOPS 2105484 HAS SOUS 378871 HAS SOUPS 376679 WITH SCORE 378804.235
AT ITER 3462 NEW BEST:: SOT 4736736 SOS 2124668 HAS SOPS 2104917 HAS SOUS 378208 HAS SOUPS 376016 WITH SCORE 378140.668
AT ITER 3471 NEW BEST:: SOT 4736651 SOS 2124583 HAS SOPS 2104832 HAS SOUS 378123 HAS SOUPS 375931 WITH SCORE 378055.583
AT ITER 3476 NEW BEST:: SOT 4736640 SOS 2124572 HAS SOPS 2104821 HAS SOUS 378058 HAS SOUPS 375866 WITH SCORE 377990.572
AT ITER 3488 NEW BEST:: SOT 4736614 SOS 2124546 HAS SOPS 2104795 HAS SOUS 378032 HAS SOUPS 375840 WITH SCORE 377964.546
AT ITER 3492 NEW BEST:: SOT 4736612 SOS 2124544 HAS SOPS 2104827 HAS SOUS 377934 HAS SOUPS 375742 WITH SCORE 377866.544
AT ITER 3499 NEW BEST:: SOT 4736551 SOS 2124422 HAS SOPS 2104705 HAS SOUS 377812 HAS SOUPS 375620 WITH SCORE 377744.422
AT ITER 3514 NEW BEST:: SOT 4736488 SOS 2099792 HAS SOPS 2080075 HAS SOUS 376774 HAS SOUPS 374582 WITH SCORE 376681.792
AT ITER 3520 NEW BEST:: SOT 4736336 SOS 2099970 HAS SOPS 2080352 HAS SOUS 376619 HAS SOUPS 374427 WITH SCORE 376526.97
AT ITER 3532 NEW BEST:: SOT 4736331 SOS 2099965 HAS SOPS 2080340 HAS SOUS 376600 HAS SOUPS 374408 WITH SCORE 376507.965
AT ITER 3571 NEW BEST:: SOT 4736258 SOS 2099892 HAS SOPS 2080267 HAS SOUS 376349 HAS SOUPS 374157 WITH SCORE 376256.892
AT ITER 3575 NEW BEST:: SOT 4736177 SOS 2099811 HAS SOPS 2080186 HAS SOUS 376268 HAS SOUPS 374076 WITH SCORE 376175.811
AT ITER 3578 NEW BEST:: SOT 4736191 SOS 2099825 HAS SOPS 2080200 HAS SOUS 376255 HAS SOUPS 374063 WITH SCORE 376162.825
AT ITER 3585 NEW BEST:: SOT 4735538 SOS 2102275 HAS SOPS 2082660 HAS SOUS 375955 HAS SOUPS 373767 WITH SCORE 375869.275
AT ITER 3590 NEW BEST:: SOT 4735388 SOS 2102095 HAS SOPS 2082480 HAS SOUS 375805 HAS SOUPS 373617 WITH SCORE 375719.095
AT ITER 3605 NEW BEST:: SOT 4735126 SOS 2101564 HAS SOPS 2081949 HAS SOUS 375274 HAS SOUPS 373086 WITH SCORE 375187.564
AT ITER 3609 NEW BEST:: SOT 4735157 SOS 2101595 HAS SOPS 2081980 HAS SOUS 375067 HAS SOUPS 372879 WITH SCORE 374980.595
AT ITER 3616 NEW BEST:: SOT 4735407 SOS 2101709 HAS SOPS 2082094 HAS SOUS 374952 HAS SOUPS 372764 WITH SCORE 374865.709
AT ITER 3617 NEW BEST:: SOT 4735272 SOS 2101532 HAS SOPS 2081917 HAS SOUS 374892 HAS SOUPS 372704 WITH SCORE 374805.532
AT ITER 3636 NEW BEST:: SOT 4730733 SOS 2096993 HAS SOPS 2077378 HAS SOUS 374658 HAS SOUPS 372470 WITH SCORE 374566.993
AT ITER 3639 NEW BEST:: SOT 4730686 SOS 2096849 HAS SOPS 2077234 HAS SOUS 374576 HAS SOUPS 372388 WITH SCORE 374484.849
AT ITER 3645 NEW BEST:: SOT 4730674 SOS 2096837 HAS SOPS 2077222 HAS SOUS 374576 HAS SOUPS 372388 WITH SCORE 374484.837
AT ITER 3649 NEW BEST:: SOT 4730405 SOS 2096399 HAS SOPS 2076784 HAS SOUS 374315 HAS SOUPS 372127 WITH SCORE 374223.399
AT ITER 3652 NEW BEST:: SOT 4730431 SOS 2096425 HAS SOPS 2076810 HAS SOUS 374277 HAS SOUPS 372089 WITH SCORE 374185.425
AT ITER 3657 NEW BEST:: SOT 4730430 SOS 2096424 HAS SOPS 2076807 HAS SOUS 374275 HAS SOUPS 372087 WITH SCORE 374183.424
AT ITER 3667 NEW BEST:: SOT 4730430 SOS 2096418 HAS SOPS 2076513 HAS SOUS 374269 HAS SOUPS 372045 WITH SCORE 374141.418
AT ITER 3687 NEW BEST:: SOT 4730427 SOS 2096474 HAS SOPS 2076569 HAS SOUS 374251 HAS SOUPS 372027 WITH SCORE 374123.474
AT ITER 3690 NEW BEST:: SOT 4730429 SOS 2096509 HAS SOPS 2076604 HAS SOUS 374200 HAS SOUPS 371976 WITH SCORE 374072.509
AT ITER 3710 NEW BEST:: SOT 4730411 SOS 2096575 HAS SOPS 2076670 HAS SOUS 374125 HAS SOUPS 371901 WITH SCORE 373997.575
AT ITER 3733 NEW BEST:: SOT 4730539 SOS 2096703 HAS SOPS 2076715 HAS SOUS 374126 HAS SOUPS 371880 WITH SCORE 373976.703
AT ITER 3760 NEW BEST:: SOT 4730381 SOS 2096455 HAS SOPS 2076467 HAS SOUS 373828 HAS SOUPS 371582 WITH SCORE 373678.455
AT ITER 3772 NEW BEST:: SOT 4730381 SOS 2081736 HAS SOPS 2061748 HAS SOUS 373439 HAS SOUPS 371193 WITH SCORE 373274.736
AT ITER 3773 NEW BEST:: SOT 4730427 SOS 2081751 HAS SOPS 2061763 HAS SOUS 373324 HAS SOUPS 371078 WITH SCORE 373159.751
AT ITER 3787 NEW BEST:: SOT 4730022 SOS 2080769 HAS SOPS 2060781 HAS SOUS 373292 HAS SOUPS 371046 WITH SCORE 373126.769
AT ITER 3805 NEW BEST:: SOT 4729894 SOS 2080641 HAS SOPS 2060653 HAS SOUS 373036 HAS SOUPS 370790 WITH SCORE 372870.641
AT ITER 3826 NEW BEST:: SOT 4729894 SOS 2080638 HAS SOPS 2060650 HAS SOUS 373033 HAS SOUPS 370787 WITH SCORE 372867.638
AT ITER 3832 NEW BEST:: SOT 4729760 SOS 2080362 HAS SOPS 2060374 HAS SOUS 372473 HAS SOUPS 370227 WITH SCORE 372307.362
AT ITER 3854 NEW BEST:: SOT 4729790 SOS 2080150 HAS SOPS 2060162 HAS SOUS 372405 HAS SOUPS 370159 WITH SCORE 372239.15
AT ITER 3857 NEW BEST:: SOT 4729786 SOS 2080146 HAS SOPS 2060158 HAS SOUS 372401 HAS SOUPS 370155 WITH SCORE 372235.146
AT ITER 3876 NEW BEST:: SOT 4729763 SOS 2080049 HAS SOPS 2060061 HAS SOUS 372378 HAS SOUPS 370132 WITH SCORE 372212.049
AT ITER 3902 NEW BEST:: SOT 4729745 SOS 2080031 HAS SOPS 2060043 HAS SOUS 372342 HAS SOUPS 370096 WITH SCORE 372176.031
AT ITER 3911 NEW BEST:: SOT 4729584 SOS 2079906 HAS SOPS 2059918 HAS SOUS 372217 HAS SOUPS 369971 WITH SCORE 372050.906
AT ITER 3914 NEW BEST:: SOT 4734396 SOS 1996362 HAS SOPS 1976374 HAS SOUS 367394 HAS SOUPS 365148 WITH SCORE 367144.362
AT ITER 3932 NEW BEST:: SOT 4734381 SOS 1996332 HAS SOPS 1976344 HAS SOUS 367364 HAS SOUPS 365118 WITH SCORE 367114.332
AT ITER 3938 NEW BEST:: SOT 4734335 SOS 1996263 HAS SOPS 1976275 HAS SOUS 367295 HAS SOUPS 365049 WITH SCORE 367045.263
AT ITER 3943 NEW BEST:: SOT 4734329 SOS 1996257 HAS SOPS 1976269 HAS SOUS 367295 HAS SOUPS 365049 WITH SCORE 367045.257
AT ITER 3945 NEW BEST:: SOT 4734392 SOS 1996320 HAS SOPS 1976287 HAS SOUS 367259 HAS SOUPS 365013 WITH SCORE 367009.32
AT ITER 3949 NEW BEST:: SOT 4734272 SOS 1996200 HAS SOPS 1976167 HAS SOUS 367121 HAS SOUPS 364875 WITH SCORE 366871.2
AT ITER 3956 NEW BEST:: SOT 4733536 SOS 1995641 HAS SOPS 1975608 HAS SOUS 366978 HAS SOUPS 364732 WITH SCORE 366727.641
AT ITER 3965 NEW BEST:: SOT 4733388 SOS 1995522 HAS SOPS 1975489 HAS SOUS 366777 HAS SOUPS 364531 WITH SCORE 366526.522
AT ITER 3969 NEW BEST:: SOT 4733328 SOS 1995442 HAS SOPS 1975409 HAS SOUS 366707 HAS SOUPS 364461 WITH SCORE 366456.442
AT ITER 3978 NEW BEST:: SOT 4733377 SOS 1995491 HAS SOPS 1975411 HAS SOUS 366648 HAS SOUPS 364402 WITH SCORE 366397.491
AT ITER 3982 NEW BEST:: SOT 4733320 SOS 1995434 HAS SOPS 1975354 HAS SOUS 366539 HAS SOUPS 364293 WITH SCORE 366288.434
AT ITER 3984 NEW BEST:: SOT 4733213 SOS 1995242 HAS SOPS 1975162 HAS SOUS 366509 HAS SOUPS 364263 WITH SCORE 366258.242
AT ITER 3986 NEW BEST:: SOT 4733083 SOS 1994982 HAS SOPS 1974902 HAS SOUS 366249 HAS SOUPS 364003 WITH SCORE 365997.982
AT ITER 3993 NEW BEST:: SOT 4733069 SOS 1994968 HAS SOPS 1974888 HAS SOUS 366127 HAS SOUPS 363881 WITH SCORE 365875.968
AT ITER 4003 NEW BEST:: SOT 4733036 SOS 1994835 HAS SOPS 1974755 HAS SOUS 366061 HAS SOUPS 363815 WITH SCORE 365809.835
AT ITER 4004 NEW BEST:: SOT 4702231 SOS 1964030 HAS SOPS 1943950 HAS SOUS 362906 HAS SOUPS 360660 WITH SCORE 362624.03
AT ITER 4013 NEW BEST:: SOT 4701800 SOS 1963852 HAS SOPS 1943772 HAS SOUS 362759 HAS SOUPS 360513 WITH SCORE 362476.852
AT ITER 4020 NEW BEST:: SOT 4701749 SOS 1963801 HAS SOPS 1943721 HAS SOUS 362492 HAS SOUPS 360246 WITH SCORE 362209.801
AT ITER 4024 NEW BEST:: SOT 4701819 SOS 1963835 HAS SOPS 1943755 HAS SOUS 362440 HAS SOUPS 360194 WITH SCORE 362157.835
AT ITER 4048 NEW BEST:: SOT 4701902 SOS 1963966 HAS SOPS 1943886 HAS SOUS 362366 HAS SOUPS 360120 WITH SCORE 362083.966
AT ITER 4053 NEW BEST:: SOT 4701555 SOS 1963579 HAS SOPS 1943499 HAS SOUS 362152 HAS SOUPS 359906 WITH SCORE 361869.579
AT ITER 4056 NEW BEST:: SOT 4701547 SOS 1963563 HAS SOPS 1943483 HAS SOUS 362136 HAS SOUPS 359890 WITH SCORE 361853.563
AT ITER 4062 NEW BEST:: SOT 4700921 SOS 1963063 HAS SOPS 1942983 HAS SOUS 361685 HAS SOUPS 359439 WITH SCORE 361402.063
AT ITER 4079 NEW BEST:: SOT 4701161 SOS 1963375 HAS SOPS 1943295 HAS SOUS 361309 HAS SOUPS 359063 WITH SCORE 361026.375
AT ITER 4081 NEW BEST:: SOT 4657126 SOS 1919311 HAS SOPS 1899231 HAS SOUS 357263 HAS SOUPS 355017 WITH SCORE 356936.311
AT ITER 4086 NEW BEST:: SOT 4656514 SOS 1918570 HAS SOPS 1898490 HAS SOUS 356522 HAS SOUPS 354276 WITH SCORE 356194.57
AT ITER 4093 NEW BEST:: SOT 4656512 SOS 1918568 HAS SOPS 1898488 HAS SOUS 356518 HAS SOUPS 354272 WITH SCORE 356190.568
AT ITER 4109 NEW BEST:: SOT 4656519 SOS 1918575 HAS SOPS 1898495 HAS SOUS 356483 HAS SOUPS 354237 WITH SCORE 356155.575
AT ITER 4113 NEW BEST:: SOT 4656507 SOS 1918509 HAS SOPS 1898429 HAS SOUS 356459 HAS SOUPS 354213 WITH SCORE 356131.509
AT ITER 4121 NEW BEST:: SOT 4656521 SOS 1919851 HAS SOPS 1899754 HAS SOUS 356365 HAS SOUPS 354125 WITH SCORE 356044.851
AT ITER 4131 NEW BEST:: SOT 4656443 SOS 1919741 HAS SOPS 1899644 HAS SOUS 356209 HAS SOUPS 353969 WITH SCORE 355888.741
AT ITER 4147 NEW BEST:: SOT 4656412 SOS 1919679 HAS SOPS 1899582 HAS SOUS 356147 HAS SOUPS 353907 WITH SCORE 355826.679
AT ITER 4148 NEW BEST:: SOT 4656387 SOS 1919654 HAS SOPS 1899557 HAS SOUS 356131 HAS SOUPS 353891 WITH SCORE 355810.654
AT ITER 4174 NEW BEST:: SOT 4655511 SOS 1918706 HAS SOPS 1898609 HAS SOUS 355637 HAS SOUPS 353397 WITH SCORE 355315.706
AT ITER 4178 NEW BEST:: SOT 4655495 SOS 1919764 HAS SOPS 1898659 HAS SOUS 355621 HAS SOUPS 353373 WITH SCORE 355292.764
AT ITER 4183 NEW BEST:: SOT 4655177 SOS 1919446 HAS SOPS 1898341 HAS SOUS 355433 HAS SOUPS 353185 WITH SCORE 355104.446
AT ITER 4196 NEW BEST:: SOT 4655161 SOS 1919430 HAS SOPS 1898325 HAS SOUS 355409 HAS SOUPS 353161 WITH SCORE 355080.43
AT ITER 4209 NEW BEST:: SOT 4655253 SOS 1919578 HAS SOPS 1898473 HAS SOUS 354297 HAS SOUPS 352049 WITH SCORE 353968.578
AT ITER 4217 NEW BEST:: SOT 4655175 SOS 1919452 HAS SOPS 1898347 HAS SOUS 354241 HAS SOUPS 351993 WITH SCORE 353912.452
AT ITER 4220 NEW BEST:: SOT 4655155 SOS 1919452 HAS SOPS 1898347 HAS SOUS 354213 HAS SOUPS 351965 WITH SCORE 353884.452
AT ITER 4243 NEW BEST:: SOT 4655185 SOS 1919523 HAS SOPS 1898415 HAS SOUS 354149 HAS SOUPS 351901 WITH SCORE 353820.523
AT ITER 4245 NEW BEST:: SOT 4655178 SOS 1919532 HAS SOPS 1898424 HAS SOUS 354141 HAS SOUPS 351893 WITH SCORE 353812.532
AT ITER 4257 NEW BEST:: SOT 4655197 SOS 1919551 HAS SOPS 1898410 HAS SOUS 354146 HAS SOUPS 351865 WITH SCORE 353784.551
AT ITER 4276 NEW BEST:: SOT 4655921 SOS 1920300 HAS SOPS 1899159 HAS SOUS 353820 HAS SOUPS 351539 WITH SCORE 353459.3
AT ITER 4280 NEW BEST:: SOT 4655624 SOS 1919066 HAS SOPS 1897925 HAS SOUS 353694 HAS SOUPS 351413 WITH SCORE 353332.066
AT ITER 4303 NEW BEST:: SOT 4655624 SOS 1919066 HAS SOPS 1897925 HAS SOUS 353618 HAS SOUPS 351337 WITH SCORE 353256.066
AT ITER 4323 NEW BEST:: SOT 4655659 SOS 1919101 HAS SOPS 1897960 HAS SOUS 353434 HAS SOUPS 351153 WITH SCORE 353072.101
AT ITER 4331 NEW BEST:: SOT 4655651 SOS 1919093 HAS SOPS 1897952 HAS SOUS 353418 HAS SOUPS 351137 WITH SCORE 353056.093
AT ITER 4350 NEW BEST:: SOT 4669222 SOS 2021932 HAS SOPS 2000791 HAS SOUS 352283 HAS SOUPS 350002 WITH SCORE 352023.932
AT ITER 4358 NEW BEST:: SOT 4669194 SOS 2021904 HAS SOPS 2000763 HAS SOUS 352227 HAS SOUPS 349946 WITH SCORE 351967.904
AT ITER 4359 NEW BEST:: SOT 4669182 SOS 2021892 HAS SOPS 2000751 HAS SOUS 352203 HAS SOUPS 349922 WITH SCORE 351943.892
AT ITER 4361 NEW BEST:: SOT 4669182 SOS 2021840 HAS SOPS 2000699 HAS SOUS 352177 HAS SOUPS 349896 WITH SCORE 351917.84
AT ITER 4362 NEW BEST:: SOT 4668851 SOS 2021537 HAS SOPS 2000396 HAS SOUS 352038 HAS SOUPS 349757 WITH SCORE 351778.537
AT ITER 4373 NEW BEST:: SOT 4668803 SOS 2021489 HAS SOPS 2000422 HAS SOUS 351792 HAS SOUPS 349511 WITH SCORE 351532.489
AT ITER 4376 NEW BEST:: SOT 4668783 SOS 2021458 HAS SOPS 2000391 HAS SOUS 351652 HAS SOUPS 349371 WITH SCORE 351392.458
AT ITER 4391 NEW BEST:: SOT 4668755 SOS 2021430 HAS SOPS 2000363 HAS SOUS 351629 HAS SOUPS 349348 WITH SCORE 351369.43
AT ITER 4394 NEW BEST:: SOT 4668751 SOS 2021426 HAS SOPS 2000359 HAS SOUS 351623 HAS SOUPS 349342 WITH SCORE 351363.426
AT ITER 4399 NEW BEST:: SOT 4668394 SOS 2021072 HAS SOPS 2000005 HAS SOUS 351614 HAS SOUPS 349333 WITH SCORE 351354.072
AT ITER 4449 NEW BEST:: SOT 4672201 SOS 2025271 HAS SOPS 2004204 HAS SOUS 351220 HAS SOUPS 348939 WITH SCORE 350964.271
AT ITER 4459 NEW BEST:: SOT 4672201 SOS 2025254 HAS SOPS 2004187 HAS SOUS 351189 HAS SOUPS 348908 WITH SCORE 350933.254
AT ITER 4461 NEW BEST:: SOT 4672257 SOS 2025310 HAS SOPS 2004243 HAS SOUS 351126 HAS SOUPS 348845 WITH SCORE 350870.31
AT ITER 4523 NEW BEST:: SOT 4672172 SOS 2025129 HAS SOPS 2004062 HAS SOUS 351043 HAS SOUPS 348762 WITH SCORE 350787.129
AT ITER 4532 NEW BEST:: SOT 4672155 SOS 2025095 HAS SOPS 2004028 HAS SOUS 351009 HAS SOUPS 348728 WITH SCORE 350753.095
AT ITER 4551 NEW BEST:: SOT 4672089 SOS 1996669 HAS SOPS 1975602 HAS SOUS 349999 HAS SOUPS 347718 WITH SCORE 349714.669
AT ITER 4558 NEW BEST:: SOT 4671448 SOS 1995752 HAS SOPS 1974685 HAS SOUS 349288 HAS SOUPS 347007 WITH SCORE 349002.752
AT ITER 4573 NEW BEST:: SOT 4671339 SOS 1995627 HAS SOPS 1974560 HAS SOUS 349117 HAS SOUPS 346836 WITH SCORE 348831.627
AT ITER 4578 NEW BEST:: SOT 4671213 SOS 1995501 HAS SOPS 1974434 HAS SOUS 348865 HAS SOUPS 346584 WITH SCORE 348579.501
AT ITER 4589 NEW BEST:: SOT 4671392 SOS 1995765 HAS SOPS 1974698 HAS SOUS 348798 HAS SOUPS 346517 WITH SCORE 348512.765
AT ITER 4607 NEW BEST:: SOT 4671595 SOS 1995977 HAS SOPS 1974884 HAS SOUS 348284 HAS SOUPS 346003 WITH SCORE 347998.977
AT ITER 4620 NEW BEST:: SOT 4671600 SOS 1995979 HAS SOPS 1974886 HAS SOUS 348281 HAS SOUPS 346000 WITH SCORE 347995.979
AT ITER 4637 NEW BEST:: SOT 4671409 SOS 1995855 HAS SOPS 1974762 HAS SOUS 348098 HAS SOUPS 345817 WITH SCORE 347812.855
AT ITER 4653 NEW BEST:: SOT 4671385 SOS 1995819 HAS SOPS 1974726 HAS SOUS 348050 HAS SOUPS 345769 WITH SCORE 347764.819
AT ITER 4664 NEW BEST:: SOT 4670894 SOS 1995373 HAS SOPS 1974280 HAS SOUS 348043 HAS SOUPS 345762 WITH SCORE 347757.373
AT ITER 4668 NEW BEST:: SOT 4670826 SOS 1995389 HAS SOPS 1974296 HAS SOUS 348007 HAS SOUPS 345726 WITH SCORE 347721.389
AT ITER 4690 NEW BEST:: SOT 4670970 SOS 1995520 HAS SOPS 1974427 HAS SOUS 348003 HAS SOUPS 345722 WITH SCORE 347717.52
AT ITER 4699 NEW BEST:: SOT 4671006 SOS 1995556 HAS SOPS 1974453 HAS SOUS 347984 HAS SOUPS 345703 WITH SCORE 347698.556
AT ITER 4759 NEW BEST:: SOT 4670991 SOS 1995376 HAS SOPS 1974273 HAS SOUS 347984 HAS SOUPS 345703 WITH SCORE 347698.376
AT ITER 4761 NEW BEST:: SOT 4670939 SOS 1995311 HAS SOPS 1974208 HAS SOUS 347659 HAS SOUPS 345378 WITH SCORE 347373.311
AT ITER 4762 NEW BEST:: SOT 4670099 SOS 1994516 HAS SOPS 1973413 HAS SOUS 347029 HAS SOUPS 344748 WITH SCORE 346742.516
AT ITER 4763 NEW BEST:: SOT 4670348 SOS 1994791 HAS SOPS 1973688 HAS SOUS 346768 HAS SOUPS 344487 WITH SCORE 346481.791
AT ITER 4771 NEW BEST:: SOT 4670323 SOS 1994865 HAS SOPS 1973762 HAS SOUS 346743 HAS SOUPS 344462 WITH SCORE 346456.865
AT ITER 4781 NEW BEST:: SOT 4670299 SOS 1994804 HAS SOPS 1973701 HAS SOUS 346695 HAS SOUPS 344414 WITH SCORE 346408.804
AT ITER 4785 NEW BEST:: SOT 4669205 SOS 1993915 HAS SOPS 1972812 HAS SOUS 346679 HAS SOUPS 344398 WITH SCORE 346391.915
AT ITER 4787 NEW BEST:: SOT 4669064 SOS 1993633 HAS SOPS 1972530 HAS SOUS 346491 HAS SOUPS 344210 WITH SCORE 346203.633
AT ITER 4789 NEW BEST:: SOT 4610121 SOS 2021240 HAS SOPS 2000137 HAS SOUS 346070 HAS SOUPS 343789 WITH SCORE 345810.24
AT ITER 4797 NEW BEST:: SOT 4609830 SOS 2020949 HAS SOPS 1999846 HAS SOUS 345471 HAS SOUPS 343190 WITH SCORE 345210.949
AT ITER 4810 NEW BEST:: SOT 4609535 SOS 2020654 HAS SOPS 1999551 HAS SOUS 345184 HAS SOUPS 342903 WITH SCORE 344923.654
AT ITER 4834 NEW BEST:: SOT 4609518 SOS 2020637 HAS SOPS 1999481 HAS SOUS 345150 HAS SOUPS 342869 WITH SCORE 344889.637
AT ITER 4843 NEW BEST:: SOT 4609409 SOS 2020528 HAS SOPS 1999372 HAS SOUS 345041 HAS SOUPS 342760 WITH SCORE 344780.528
AT ITER 4856 NEW BEST:: SOT 4609168 SOS 2020287 HAS SOPS 1999131 HAS SOUS 344559 HAS SOUPS 342278 WITH SCORE 344298.287
AT ITER 4877 NEW BEST:: SOT 4609094 SOS 2020213 HAS SOPS 1998909 HAS SOUS 344485 HAS SOUPS 342056 WITH SCORE 344076.213
AT ITER 4893 NEW BEST:: SOT 4609094 SOS 2020213 HAS SOPS 1998909 HAS SOUS 344443 HAS SOUPS 342014 WITH SCORE 344034.213
AT ITER 4895 NEW BEST:: SOT 4609094 SOS 2019451 HAS SOPS 1998147 HAS SOUS 344433 HAS SOUPS 342004 WITH SCORE 344023.451
AT ITER 4903 NEW BEST:: SOT 4608567 SOS 2018969 HAS SOPS 1997665 HAS SOUS 344174 HAS SOUPS 341745 WITH SCORE 343763.969
AT ITER 4911 NEW BEST:: SOT 4608439 SOS 2018841 HAS SOPS 1997537 HAS SOUS 344039 HAS SOUPS 341610 WITH SCORE 343628.841
AT ITER 4947 NEW BEST:: SOT 4608326 SOS 2018728 HAS SOPS 1997435 HAS SOUS 343791 HAS SOUPS 341362 WITH SCORE 343380.728
AT ITER 4954 NEW BEST:: SOT 4608323 SOS 2018725 HAS SOPS 1997429 HAS SOUS 343785 HAS SOUPS 341356 WITH SCORE 343374.725
AT ITER 4955 NEW BEST:: SOT 4608303 SOS 2018641 HAS SOPS 1997345 HAS SOUS 343542 HAS SOUPS 341113 WITH SCORE 343131.641
AT ITER 4964 NEW BEST:: SOT 4608275 SOS 2018613 HAS SOPS 1997317 HAS SOUS 343514 HAS SOUPS 341085 WITH SCORE 343103.613
AT ITER 4978 NEW BEST:: SOT 4608366 SOS 2018612 HAS SOPS 1997316 HAS SOUS 343401 HAS SOUPS 340972 WITH SCORE 342990.612
AT ITER 4984 NEW BEST:: SOT 4608365 SOS 2018681 HAS SOPS 1997402 HAS SOUS 343393 HAS SOUPS 340961 WITH SCORE 342979.681
AT ITER 4998 NEW BEST:: SOT 4608413 SOS 2018729 HAS SOPS 1997402 HAS SOUS 343297 HAS SOUPS 340865 WITH SCORE 342883.729
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-00 (AG( ( ( ( potential( ( 1 ) <= (tk(P20) + tk(P34) + tk(P37) + tk(P46) + tk(P81) + tk(P84) + tk(P92) + tk(P120) + tk(P137) + tk(P150) + tk(P166) + tk(P189) + tk(P209) + tk(P210) + tk(P213) + tk(P229) + tk(P254) + tk(P260) + tk(P271) + tk(P297) + tk(P324) + tk(P328) + tk(P337) + tk(P345) + tk(P392) + tk(P402) + tk(P411) + tk(P421) + tk(P453) + tk(P456) + tk(P485) + tk(P511) + tk(P523) + tk(P531) + tk(P542) + tk(P563) + tk(P571) + tk(P580) + tk(P602) + tk(P618) + tk(P637) + tk(P685) + tk(P688) + tk(P689) + tk(P706) + tk(P712) + tk(P714) + tk(P743) + tk(P756) + tk(P778) + tk(P811) + tk(P825) + tk(P829) + tk(P852) + tk(P862) + tk(P890)) ) | potential( (tk(P176) + tk(P265) + tk(P381) + tk(P496) + tk(P599) + tk(P765) + tk(P854) + tk(P868)) <= (tk(P176) + tk(P265) + tk(P381) + tk(P496) + tk(P599) + tk(P765) + tk(P854) + tk(P868)) ) ) | (! potential( (tk(P29) + tk(P132) + tk(P165) + tk(P281) + tk(P449) + tk(P518) + tk(P736) + tk(P789)) <= (tk(P145) + tk(P182) + tk(P259) + tk(P279) + tk(P354) + tk(P495) + tk(P576) + tk(P710)) )) ) | (AG( potential( (tk(P455)) <= (tk(P88) + tk(P100) + tk(P231) + tk(P390) + tk(P410) + tk(P458) + tk(P724) + tk(P774)) ))) )))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-01 (EF((AG( ( potential( ( 1 ) <= (tk(P79) + tk(P261) + tk(P293) + tk(P457) + tk(P530) + tk(P664) + tk(P776) + tk(P858)) ) & potential( (tk(P43) + tk(P48) + tk(P49) + tk(P68) + tk(P86) + tk(P108) + tk(P109) + tk(P110) + tk(P116) + tk(P207) + tk(P211) + tk(P217) + tk(P218) + tk(P225) + tk(P282) + tk(P306) + tk(P307) + tk(P349) + tk(P360) + tk(P373) + tk(P380) + tk(P387) + tk(P416) + tk(P444) + tk(P454) + tk(P484) + tk(P490) + tk(P502) + tk(P520) + tk(P566) + tk(P585) + tk(P594) + tk(P614) + tk(P671) + tk(P673) + tk(P721) + tk(P763) + tk(P770) + tk(P772) + tk(P773) + tk(P833) + tk(P834) + tk(P846) + tk(P853) + tk(P874) + tk(P875) + tk(P878) + tk(P894)) <= (tk(P173) + tk(P263) + tk(P406) + tk(P504) + tk(P652) + tk(P796) + tk(P818)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-02 (AU( ( (! potential( (tk(P173) + tk(P263) + tk(P406) + tk(P504) + tk(P652) + tk(P796) + tk(P818)) <= (tk(P629)) )) | ( potential( ( 2 ) <= (tk(P56) + tk(P134) + tk(P136) + tk(P188) + tk(P459) + tk(P612) + tk(P701) + tk(P866)) ) | potential( (tk(P11) + tk(P133) + tk(P275) + tk(P314) + tk(P433) + tk(P510) + tk(P541) + tk(P863)) <= (tk(P629)) ) ) ),(! ( potential( (tk(P40)) <= (tk(P234)) ) | potential( (tk(P280) + tk(P403) + tk(P427) + tk(P512) + tk(P668) + tk(P836)) <= (tk(P50) + tk(P158) + tk(P197) + tk(P221) + tk(P488) + tk(P572) + tk(P631) + tk(P786)) ) )) ))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-03 (AF((EU( potential( ( 2 ) <= (tk(P95)) ),potential( ( 1 ) <= (tk(P45) + tk(P77) + tk(P111) + tk(P291) + tk(P405) + tk(P598) + tk(P711) + tk(P751)) ) ))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-04 (EU( ( ( potential( ( 3 ) <= (tk(P124) + tk(P240) + tk(P352) + tk(P385) + tk(P501) + tk(P544) + tk(P650) + tk(P734)) ) | potential( (tk(P21) + tk(P242) + tk(P277) + tk(P371) + tk(P465) + tk(P548) + tk(P657) + tk(P757)) <= (tk(P14) + tk(P180) + tk(P429) + tk(P483) + tk(P610) + tk(P697) + tk(P792)) ) ) | ( potential( (tk(P24) + tk(P167) + tk(P191) + tk(P533) + tk(P666) + tk(P835)) <= (tk(P2) + tk(P23) + tk(P139) + tk(P285) + tk(P386) + tk(P552) + tk(P696) + tk(P784)) ) & potential( (tk(P17) + tk(P202) + tk(P340) + tk(P353) + tk(P489) + tk(P555) + tk(P730) + tk(P850)) <= (tk(P843)) ) ) ),( (! potential( (tk(P9) + tk(P54) + tk(P172) + tk(P366) + tk(P507) + tk(P669) + tk(P683) + tk(P872)) <= (tk(P79) + tk(P261) + tk(P293) + tk(P457) + tk(P530) + tk(P664) + tk(P776) + tk(P858)) )) & ( potential( ( 1 ) <= (tk(P53) + tk(P91) + tk(P243) + tk(P376) + tk(P590) + tk(P661) + tk(P759) + tk(P885)) ) | potential( (tk(P50) + tk(P158) + tk(P197) + tk(P221) + tk(P488) + tk(P572) + tk(P631) + tk(P786)) <= (tk(P75) + tk(P269) + tk(P358) + tk(P506) + tk(P582) + tk(P628) + tk(P716) + tk(P839)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-05 (! (AG( ( ( potential( (tk(P27) + tk(P302) + tk(P440) + tk(P558) + tk(P596) + tk(P695) + tk(P735) + tk(P857)) <= (tk(P480)) ) | potential( ( 1 ) <= (tk(P145) + tk(P182) + tk(P259) + tk(P279) + tk(P354) + tk(P495) + tk(P576) + tk(P710)) ) ) | ( potential( ( 3 ) <= (tk(P62) + tk(P227) + tk(P348) + tk(P438) + tk(P522) + tk(P720) + tk(P726) + tk(P876)) ) & potential( (tk(P14) + tk(P180) + tk(P429) + tk(P483) + tk(P610) + tk(P697) + tk(P792)) <= (tk(P10) + tk(P13) + tk(P246) + tk(P375) + tk(P407) + tk(P549) + tk(P605) + tk(P752)) ) ) ))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-06 (EF((! (EF(potential( ( 3 ) <= (tk(P280) + tk(P403) + tk(P427) + tk(P512) + tk(P668) + tk(P836)) ))))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-07 (AF((EF(( potential( (tk(P10) + tk(P13) + tk(P246) + tk(P375) + tk(P407) + tk(P549) + tk(P605) + tk(P752)) <= (tk(P74) + tk(P233) + tk(P393) + tk(P584) + tk(P713) + tk(P768) + tk(P803) + tk(P864)) ) & potential( ( 1 ) <= (tk(P7) + tk(P8) + tk(P38) + tk(P60) + tk(P67) + tk(P97) + tk(P99) + tk(P103) + tk(P138) + tk(P147) + tk(P177) + tk(P190) + tk(P206) + tk(P215) + tk(P226) + tk(P248) + tk(P251) + tk(P264) + tk(P270) + tk(P273) + tk(P311) + tk(P320) + tk(P325) + tk(P346) + tk(P355) + tk(P422) + tk(P437) + tk(P441) + tk(P466) + tk(P467) + tk(P479) + tk(P494) + tk(P498) + tk(P527) + tk(P535) + tk(P557) + tk(P573) + tk(P595) + tk(P627) + tk(P635) + tk(P638) + tk(P674) + tk(P676) + tk(P678) + tk(P681) + tk(P687) + tk(P694) + tk(P732) + tk(P744) + tk(P785) + tk(P793) + tk(P831) + tk(P849) + tk(P882) + tk(P887) + tk(P888)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-08 ( (AF((AX( potential( ( 2 ) <= (tk(P273)) ))))) | ( (! (! ( potential( ( 2 ) <= (tk(P498)) ) | potential( ( 2 ) <= (tk(P203)) ) ))) & ( (! (! potential( ( 1 ) <= (tk(P298)) ))) | ( (! potential( ( 2 ) <= (tk(P783)) )) & potential( ( 1 ) <= (tk(P94)) ) ) ) ) )
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-09 (AX( (AF(( potential( ( 2 ) <= (tk(P368)) ) & potential( ( 2 ) <= (tk(P730)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-10 (AU( potential( (tk(P673)) <= (tk(P687)) ),( ( potential( ( 1 ) <= (tk(P473)) ) | potential( ( 2 ) <= (tk(P826)) ) ) | ( potential( ( 3 ) <= (tk(P220)) ) & potential( (tk(P700)) <= (tk(P464)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-11 (AF((AX( ( potential( ( 2 ) <= (tk(P229)) ) & potential( (tk(P134)) <= (tk(P314)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-12 (AF((AX( ( potential( ( 3 ) <= (tk(P646)) ) & potential( (tk(P43)) <= (tk(P256)) ) )))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-13 (! (EF((EF(potential( ( 1 ) <= (tk(P240)) ))))))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-14 (EG( ( ( (! potential( ( 2 ) <= (tk(P500)) )) | (! potential( ( 1 ) <= (tk(P446)) )) ) | ( potential( ( 1 ) <= (tk(P289)) ) & ( potential( (tk(P193)) <= (tk(P165)) ) & potential( (tk(P766)) <= (tk(P406)) ) ) ) )))
PROPERTY: PolyORBLF-PT-S06J06T08-CTLCardinality-15 (EF((! (EX( potential( (tk(P534)) <= (tk(P216)) ))))))

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

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