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.r048-ebro-158902542400576.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 DLCround-PT-10b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.8K Mar 30 19:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 19:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 09:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 09:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 05:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 05:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 00:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 27 00:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.5M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589130384288

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 3924 places, 6192 transitions, 17304 arcs.
AT ITER 0 NEW BEST:: SOT 15574572 SOS 3699258 HAS SOPS 3699258 HAS SOUS 2072207 HAS SOUPS 2072207 WITH SCORE 2075906.258
AT ITER 1 NEW BEST:: SOT 15574384 SOS 3698882 HAS SOPS 3698882 HAS SOUS 2072019 HAS SOUPS 2072019 WITH SCORE 2075717.882
AT ITER 9 NEW BEST:: SOT 15574173 SOS 3698460 HAS SOPS 3698460 HAS SOUS 2071454 HAS SOUPS 2071454 WITH SCORE 2075152.46
AT ITER 17 NEW BEST:: SOT 15574173 SOS 3697942 HAS SOPS 3697942 HAS SOUS 2071453 HAS SOUPS 2071453 WITH SCORE 2075150.942
AT ITER 20 NEW BEST:: SOT 15573734 SOS 3702724 HAS SOPS 3702724 HAS SOUS 2070574 HAS SOUPS 2070574 WITH SCORE 2074276.724
AT ITER 36 NEW BEST:: SOT 15573496 SOS 3703186 HAS SOPS 3703186 HAS SOUS 2070334 HAS SOUPS 2070334 WITH SCORE 2074037.186
AT ITER 57 NEW BEST:: SOT 15573312 SOS 3703370 HAS SOPS 3703370 HAS SOUS 2070150 HAS SOUPS 2070150 WITH SCORE 2073853.37
AT ITER 74 NEW BEST:: SOT 15571991 SOS 3701439 HAS SOPS 3701439 HAS SOUS 2068159 HAS SOUPS 2068159 WITH SCORE 2071860.439
AT ITER 104 NEW BEST:: SOT 15572106 SOS 3701669 HAS SOPS 3701669 HAS SOUS 2068082 HAS SOUPS 2068082 WITH SCORE 2071783.669
AT ITER 127 NEW BEST:: SOT 15572083 SOS 3701692 HAS SOPS 3701692 HAS SOUS 2068059 HAS SOUPS 2068059 WITH SCORE 2071760.692
AT ITER 130 NEW BEST:: SOT 15571475 SOS 3701084 HAS SOPS 3701084 HAS SOUS 2066843 HAS SOUPS 2066843 WITH SCORE 2070544.084
AT ITER 163 NEW BEST:: SOT 15571354 SOS 3701826 HAS SOPS 3701826 HAS SOUS 2066721 HAS SOUPS 2066721 WITH SCORE 2070422.826
AT ITER 212 NEW BEST:: SOT 15570326 SOS 3701435 HAS SOPS 3701435 HAS SOUS 2066248 HAS SOUPS 2066248 WITH SCORE 2069949.435
AT ITER 219 NEW BEST:: SOT 15569290 SOS 3700554 HAS SOPS 3700554 HAS SOUS 2065289 HAS SOUPS 2065289 WITH SCORE 2068989.554
AT ITER 224 NEW BEST:: SOT 15568164 SOS 3699991 HAS SOPS 3699991 HAS SOUS 2064726 HAS SOUPS 2064726 WITH SCORE 2068425.991
AT ITER 256 NEW BEST:: SOT 15567796 SOS 3699969 HAS SOPS 3699969 HAS SOUS 2064704 HAS SOUPS 2064704 WITH SCORE 2068403.969
AT ITER 259 NEW BEST:: SOT 15567718 SOS 3699813 HAS SOPS 3699813 HAS SOUS 2064548 HAS SOUPS 2064548 WITH SCORE 2068247.813
AT ITER 269 NEW BEST:: SOT 15565133 SOS 3701401 HAS SOPS 3701401 HAS SOUS 2062308 HAS SOUPS 2062308 WITH SCORE 2066009.401
AT ITER 276 NEW BEST:: SOT 15564862 SOS 3701669 HAS SOPS 3701669 HAS SOUS 2062036 HAS SOUPS 2062036 WITH SCORE 2065737.669
AT ITER 346 NEW BEST:: SOT 15564258 SOS 3701237 HAS SOPS 3701237 HAS SOUS 2061604 HAS SOUPS 2061604 WITH SCORE 2065305.237
AT ITER 361 NEW BEST:: SOT 15563985 SOS 3701171 HAS SOPS 3701171 HAS SOUS 2061371 HAS SOUPS 2061371 WITH SCORE 2065072.171
AT ITER 364 NEW BEST:: SOT 15563714 SOS 3700629 HAS SOPS 3700629 HAS SOUS 2060829 HAS SOUPS 2060829 WITH SCORE 2064529.629
AT ITER 378 NEW BEST:: SOT 15561464 SOS 3697271 HAS SOPS 3697271 HAS SOUS 2057461 HAS SOUPS 2057461 WITH SCORE 2061158.271
AT ITER 406 NEW BEST:: SOT 15561301 SOS 3698412 HAS SOPS 3698412 HAS SOUS 2057298 HAS SOUPS 2057298 WITH SCORE 2060996.412
AT ITER 419 NEW BEST:: SOT 15560213 SOS 3697868 HAS SOPS 3697868 HAS SOUS 2056754 HAS SOUPS 2056754 WITH SCORE 2060451.868
AT ITER 434 NEW BEST:: SOT 15557945 SOS 3694506 HAS SOPS 3694506 HAS SOUS 2053344 HAS SOUPS 2053344 WITH SCORE 2057038.506
AT ITER 447 NEW BEST:: SOT 15556889 SOS 3693515 HAS SOPS 3693515 HAS SOUS 2051887 HAS SOUPS 2051887 WITH SCORE 2055580.515
AT ITER 449 NEW BEST:: SOT 15556889 SOS 3692480 HAS SOPS 3692480 HAS SOUS 2051542 HAS SOUPS 2051542 WITH SCORE 2055234.48
AT ITER 485 NEW BEST:: SOT 15557357 SOS 3693416 HAS SOPS 3693416 HAS SOUS 2051212 HAS SOUPS 2051212 WITH SCORE 2054905.416
AT ITER 489 NEW BEST:: SOT 15557261 SOS 3693320 HAS SOPS 3693320 HAS SOUS 2051116 HAS SOUPS 2051116 WITH SCORE 2054809.32
AT ITER 495 NEW BEST:: SOT 15555046 SOS 3691101 HAS SOPS 3691101 HAS SOUS 2048900 HAS SOUPS 2048900 WITH SCORE 2052591.101
AT ITER 525 NEW BEST:: SOT 15554882 SOS 3691419 HAS SOPS 3691419 HAS SOUS 2048899 HAS SOUPS 2048899 WITH SCORE 2052590.419
AT ITER 535 NEW BEST:: SOT 15555238 SOS 3694268 HAS SOPS 3694268 HAS SOUS 2048540 HAS SOUPS 2048540 WITH SCORE 2052234.268
AT ITER 549 NEW BEST:: SOT 15555096 SOS 3694548 HAS SOPS 3694548 HAS SOUS 2048397 HAS SOUPS 2048397 WITH SCORE 2052091.548
AT ITER 561 NEW BEST:: SOT 15554592 SOS 3694292 HAS SOPS 3694292 HAS SOUS 2047938 HAS SOUPS 2047938 WITH SCORE 2051632.292
AT ITER 585 NEW BEST:: SOT 15554531 SOS 3694289 HAS SOPS 3694289 HAS SOUS 2047937 HAS SOUPS 2047937 WITH SCORE 2051631.289
AT ITER 587 NEW BEST:: SOT 15553400 SOS 3693157 HAS SOPS 3693157 HAS SOUS 2046805 HAS SOUPS 2046805 WITH SCORE 2050498.157
AT ITER 606 NEW BEST:: SOT 15553068 SOS 3693153 HAS SOPS 3693153 HAS SOUS 2046804 HAS SOUPS 2046804 WITH SCORE 2050497.153
AT ITER 642 NEW BEST:: SOT 15552629 SOS 3697197 HAS SOPS 3697197 HAS SOUS 2045925 HAS SOUPS 2045925 WITH SCORE 2049622.197
AT ITER 654 NEW BEST:: SOT 15552441 SOS 3696821 HAS SOPS 3696821 HAS SOUS 2045549 HAS SOUPS 2045549 WITH SCORE 2049245.821
AT ITER 666 NEW BEST:: SOT 15552089 SOS 3699896 HAS SOPS 3699896 HAS SOUS 2044775 HAS SOUPS 2044775 WITH SCORE 2048474.896
AT ITER 675 NEW BEST:: SOT 15551702 SOS 3699509 HAS SOPS 3699509 HAS SOUS 2044388 HAS SOUPS 2044388 WITH SCORE 2048087.509
AT ITER 685 NEW BEST:: SOT 15551702 SOS 3700562 HAS SOPS 3700562 HAS SOUS 2043859 HAS SOUPS 2043859 WITH SCORE 2047559.562
AT ITER 686 NEW BEST:: SOT 15551531 SOS 3700391 HAS SOPS 3700391 HAS SOUS 2043688 HAS SOUPS 2043688 WITH SCORE 2047388.391
AT ITER 704 NEW BEST:: SOT 15551253 SOS 3700113 HAS SOPS 3700113 HAS SOUS 2043410 HAS SOUPS 2043410 WITH SCORE 2047110.113
AT ITER 719 NEW BEST:: SOT 15550293 SOS 3699153 HAS SOPS 3699153 HAS SOUS 2042450 HAS SOUPS 2042450 WITH SCORE 2046149.153
AT ITER 720 NEW BEST:: SOT 15550293 SOS 3699153 HAS SOPS 3699153 HAS SOUS 2042449 HAS SOUPS 2042449 WITH SCORE 2046148.153
AT ITER 722 NEW BEST:: SOT 15550237 SOS 3699072 HAS SOPS 3699072 HAS SOUS 2042368 HAS SOUPS 2042368 WITH SCORE 2046067.072
AT ITER 735 NEW BEST:: SOT 15550233 SOS 3699094 HAS SOPS 3699094 HAS SOUS 2042363 HAS SOUPS 2042363 WITH SCORE 2046062.094
AT ITER 736 NEW BEST:: SOT 15549095 SOS 3698088 HAS SOPS 3698088 HAS SOUS 2041271 HAS SOUPS 2041271 WITH SCORE 2044969.088
AT ITER 737 NEW BEST:: SOT 15549094 SOS 3698086 HAS SOPS 3698086 HAS SOUS 2041269 HAS SOUPS 2041269 WITH SCORE 2044967.086
AT ITER 757 NEW BEST:: SOT 15548719 SOS 3688354 HAS SOPS 3688354 HAS SOUS 2040519 HAS SOUPS 2040519 WITH SCORE 2044207.354
AT ITER 773 NEW BEST:: SOT 15548618 SOS 3688452 HAS SOPS 3688452 HAS SOUS 2040417 HAS SOUPS 2040417 WITH SCORE 2044105.452
AT ITER 809 NEW BEST:: SOT 15547766 SOS 3688639 HAS SOPS 3688639 HAS SOUS 2038712 HAS SOUPS 2038712 WITH SCORE 2042400.639
AT ITER 823 NEW BEST:: SOT 15547671 SOS 3688821 HAS SOPS 3688821 HAS SOUS 2038615 HAS SOUPS 2038615 WITH SCORE 2042303.821
AT ITER 826 NEW BEST:: SOT 15547073 SOS 3688219 HAS SOPS 3688219 HAS SOUS 2038613 HAS SOUPS 2038613 WITH SCORE 2042301.219
AT ITER 836 NEW BEST:: SOT 15546533 SOS 3689061 HAS SOPS 3689061 HAS SOUS 2037984 HAS SOUPS 2037984 WITH SCORE 2041673.061
AT ITER 838 NEW BEST:: SOT 15546205 SOS 3688405 HAS SOPS 3688405 HAS SOUS 2037328 HAS SOUPS 2037328 WITH SCORE 2041016.405
AT ITER 850 NEW BEST:: SOT 15546205 SOS 3689562 HAS SOPS 3689562 HAS SOUS 2036940 HAS SOUPS 2036940 WITH SCORE 2040629.562
AT ITER 871 NEW BEST:: SOT 15545787 SOS 3689383 HAS SOPS 3689383 HAS SOUS 2036761 HAS SOUPS 2036761 WITH SCORE 2040450.383
AT ITER 885 NEW BEST:: SOT 15545926 SOS 3689661 HAS SOPS 3689661 HAS SOUS 2036508 HAS SOUPS 2036508 WITH SCORE 2040197.661
AT ITER 886 NEW BEST:: SOT 15545662 SOS 3689549 HAS SOPS 3689549 HAS SOUS 2035915 HAS SOUPS 2035915 WITH SCORE 2039604.549
AT ITER 896 NEW BEST:: SOT 15545661 SOS 3689547 HAS SOPS 3689547 HAS SOUS 2035914 HAS SOUPS 2035914 WITH SCORE 2039603.547
AT ITER 898 NEW BEST:: SOT 15545416 SOS 3689302 HAS SOPS 3689302 HAS SOUS 2035914 HAS SOUPS 2035914 WITH SCORE 2039603.302
AT ITER 922 NEW BEST:: SOT 15544232 SOS 3687546 HAS SOPS 3687546 HAS SOUS 2034587 HAS SOUPS 2034587 WITH SCORE 2038274.546
AT ITER 960 NEW BEST:: SOT 15543676 SOS 3687536 HAS SOPS 3687536 HAS SOUS 2034205 HAS SOUPS 2034205 WITH SCORE 2037892.536
AT ITER 986 NEW BEST:: SOT 15543423 SOS 3687532 HAS SOPS 3687532 HAS SOUS 2034204 HAS SOUPS 2034204 WITH SCORE 2037891.532
AT ITER 998 NEW BEST:: SOT 15543040 SOS 3692840 HAS SOPS 3692840 HAS SOUS 2033437 HAS SOUPS 2033437 WITH SCORE 2037129.84
AT ITER 1014 NEW BEST:: SOT 15542863 SOS 3694246 HAS SOPS 3694246 HAS SOUS 2033259 HAS SOUPS 2033259 WITH SCORE 2036953.246
AT ITER 1025 NEW BEST:: SOT 15542665 SOS 3693850 HAS SOPS 3693850 HAS SOUS 2033075 HAS SOUPS 2033075 WITH SCORE 2036768.85
AT ITER 1029 NEW BEST:: SOT 15542555 SOS 3694053 HAS SOPS 3694053 HAS SOUS 2032965 HAS SOUPS 2032965 WITH SCORE 2036659.053
AT ITER 1034 NEW BEST:: SOT 15542554 SOS 3694051 HAS SOPS 3694051 HAS SOUS 2032963 HAS SOUPS 2032963 WITH SCORE 2036657.051
AT ITER 1042 NEW BEST:: SOT 15542183 SOS 3694418 HAS SOPS 3694418 HAS SOUS 2032220 HAS SOUPS 2032220 WITH SCORE 2035914.418
AT ITER 1052 NEW BEST:: SOT 15542088 SOS 3694228 HAS SOPS 3694228 HAS SOUS 2032030 HAS SOUPS 2032030 WITH SCORE 2035724.228
AT ITER 1068 NEW BEST:: SOT 15542088 SOS 3693415 HAS SOPS 3693415 HAS SOUS 2032029 HAS SOUPS 2032029 WITH SCORE 2035722.415
AT ITER 1093 NEW BEST:: SOT 15541638 SOS 3693180 HAS SOPS 3693180 HAS SOUS 2031669 HAS SOUPS 2031669 WITH SCORE 2035362.18
AT ITER 1113 NEW BEST:: SOT 15541445 SOS 3692794 HAS SOPS 3692794 HAS SOUS 2031283 HAS SOUPS 2031283 WITH SCORE 2034975.794
AT ITER 1116 NEW BEST:: SOT 15540483 SOS 3691832 HAS SOPS 3691832 HAS SOUS 2030321 HAS SOUPS 2030321 WITH SCORE 2034012.832
AT ITER 1163 NEW BEST:: SOT 15540093 SOS 3691052 HAS SOPS 3691052 HAS SOUS 2029931 HAS SOUPS 2029931 WITH SCORE 2033622.052
AT ITER 1170 NEW BEST:: SOT 15540409 SOS 3690584 HAS SOPS 3690584 HAS SOUS 2029697 HAS SOUPS 2029697 WITH SCORE 2033387.584
AT ITER 1181 NEW BEST:: SOT 15540409 SOS 3690584 HAS SOPS 3690584 HAS SOUS 2029387 HAS SOUPS 2029387 WITH SCORE 2033077.584
AT ITER 1191 NEW BEST:: SOT 15540409 SOS 3690486 HAS SOPS 3690486 HAS SOUS 2029289 HAS SOUPS 2029289 WITH SCORE 2032979.486
AT ITER 1206 NEW BEST:: SOT 15540409 SOS 3690219 HAS SOPS 3690219 HAS SOUS 2029022 HAS SOUPS 2029022 WITH SCORE 2032712.219
AT ITER 1232 NEW BEST:: SOT 15540330 SOS 3690216 HAS SOPS 3690216 HAS SOUS 2029021 HAS SOUPS 2029021 WITH SCORE 2032711.216
AT ITER 1251 NEW BEST:: SOT 15540151 SOS 3690318 HAS SOPS 3690318 HAS SOUS 2028891 HAS SOUPS 2028891 WITH SCORE 2032581.318
AT ITER 1327 NEW BEST:: SOT 15540151 SOS 3691792 HAS SOPS 3691792 HAS SOUS 2028889 HAS SOUPS 2028889 WITH SCORE 2032580.792
AT ITER 1364 NEW BEST:: SOT 15540151 SOS 3690658 HAS SOPS 3690658 HAS SOUS 2028889 HAS SOUPS 2028889 WITH SCORE 2032579.658
AT ITER 1367 NEW BEST:: SOT 15540350 SOS 3691056 HAS SOPS 3691056 HAS SOUS 2028782 HAS SOUPS 2028782 WITH SCORE 2032473.056
AT ITER 1394 NEW BEST:: SOT 15540223 SOS 3696599 HAS SOPS 3696599 HAS SOUS 2028527 HAS SOUPS 2028527 WITH SCORE 2032223.599
AT ITER 1404 NEW BEST:: SOT 15539932 SOS 3696017 HAS SOPS 3696017 HAS SOUS 2027560 HAS SOUPS 2027560 WITH SCORE 2031256.017
AT ITER 1415 NEW BEST:: SOT 15539457 SOS 3696007 HAS SOPS 3696007 HAS SOUS 2027559 HAS SOUPS 2027559 WITH SCORE 2031255.007
AT ITER 1420 NEW BEST:: SOT 15538989 SOS 3695539 HAS SOPS 3695539 HAS SOUS 2027091 HAS SOUPS 2027091 WITH SCORE 2030786.539
AT ITER 1422 NEW BEST:: SOT 15537965 SOS 3694515 HAS SOPS 3694515 HAS SOUS 2026067 HAS SOUPS 2026067 WITH SCORE 2029761.515
AT ITER 1430 NEW BEST:: SOT 15537965 SOS 3694515 HAS SOPS 3694515 HAS SOUS 2026051 HAS SOUPS 2026051 WITH SCORE 2029745.515
AT ITER 1458 NEW BEST:: SOT 15537282 SOS 3684950 HAS SOPS 3684950 HAS SOUS 2024685 HAS SOUPS 2024685 WITH SCORE 2028369.95
AT ITER 1468 NEW BEST:: SOT 15537197 SOS 3684780 HAS SOPS 3684780 HAS SOUS 2024600 HAS SOUPS 2024600 WITH SCORE 2028284.78
AT ITER 1514 NEW BEST:: SOT 15537196 SOS 3685971 HAS SOPS 3685971 HAS SOUS 2024597 HAS SOUPS 2024597 WITH SCORE 2028282.971
AT ITER 1521 NEW BEST:: SOT 15537192 SOS 3685963 HAS SOPS 3685963 HAS SOUS 2024589 HAS SOUPS 2024589 WITH SCORE 2028274.963
AT ITER 1533 NEW BEST:: SOT 15536844 SOS 3685267 HAS SOPS 3685267 HAS SOUS 2023740 HAS SOUPS 2023740 WITH SCORE 2027425.267
AT ITER 1543 NEW BEST:: SOT 15536844 SOS 3683734 HAS SOPS 3683734 HAS SOUS 2023740 HAS SOUPS 2023740 WITH SCORE 2027423.734
AT ITER 1552 NEW BEST:: SOT 15536844 SOS 3683734 HAS SOPS 3683734 HAS SOUS 2023739 HAS SOUPS 2023739 WITH SCORE 2027422.734
AT ITER 1557 NEW BEST:: SOT 15536844 SOS 3684441 HAS SOPS 3684441 HAS SOUS 2023737 HAS SOUPS 2023737 WITH SCORE 2027421.441
AT ITER 1567 NEW BEST:: SOT 15536726 SOS 3684438 HAS SOPS 3684438 HAS SOUS 2023736 HAS SOUPS 2023736 WITH SCORE 2027420.438
AT ITER 1586 NEW BEST:: SOT 15536726 SOS 3684438 HAS SOPS 3684438 HAS SOUS 2023731 HAS SOUPS 2023731 WITH SCORE 2027415.438
AT ITER 1588 NEW BEST:: SOT 15536309 SOS 3682770 HAS SOPS 3682770 HAS SOUS 2023314 HAS SOUPS 2023314 WITH SCORE 2026996.77
AT ITER 1608 NEW BEST:: SOT 15536309 SOS 3682690 HAS SOPS 3682690 HAS SOUS 2023234 HAS SOUPS 2023234 WITH SCORE 2026916.69
AT ITER 1616 NEW BEST:: SOT 15536604 SOS 3684235 HAS SOPS 3684235 HAS SOUS 2023009 HAS SOUPS 2023009 WITH SCORE 2026693.235
AT ITER 1645 NEW BEST:: SOT 15536555 SOS 3684138 HAS SOPS 3684138 HAS SOUS 2022912 HAS SOUPS 2022912 WITH SCORE 2026596.138
AT ITER 1650 NEW BEST:: SOT 15536419 SOS 3683866 HAS SOPS 3683866 HAS SOUS 2022640 HAS SOUPS 2022640 WITH SCORE 2026323.866
AT ITER 1668 NEW BEST:: SOT 15536144 SOS 3680288 HAS SOPS 3680288 HAS SOUS 2022089 HAS SOUPS 2022089 WITH SCORE 2025769.288
AT ITER 1681 NEW BEST:: SOT 15535861 SOS 3680271 HAS SOPS 3680271 HAS SOUS 2021774 HAS SOUPS 2021774 WITH SCORE 2025454.271
AT ITER 1717 NEW BEST:: SOT 15535861 SOS 3679488 HAS SOPS 3679488 HAS SOUS 2021513 HAS SOUPS 2021513 WITH SCORE 2025192.488
AT ITER 1729 NEW BEST:: SOT 15535876 SOS 3679992 HAS SOPS 3679992 HAS SOUS 2021444 HAS SOUPS 2021444 WITH SCORE 2025123.992
AT ITER 1730 NEW BEST:: SOT 15535229 SOS 3679946 HAS SOPS 3679946 HAS SOUS 2021398 HAS SOUPS 2021398 WITH SCORE 2025077.946
AT ITER 1732 NEW BEST:: SOT 15535183 SOS 3679562 HAS SOPS 3679562 HAS SOUS 2021352 HAS SOUPS 2021352 WITH SCORE 2025031.562
AT ITER 1810 NEW BEST:: SOT 15535183 SOS 3679662 HAS SOPS 3679662 HAS SOUS 2021350 HAS SOUPS 2021350 WITH SCORE 2025029.662
AT ITER 1812 NEW BEST:: SOT 15535053 SOS 3679402 HAS SOPS 3679402 HAS SOUS 2020999 HAS SOUPS 2020999 WITH SCORE 2024678.402
AT ITER 1819 NEW BEST:: SOT 15534882 SOS 3679230 HAS SOPS 3679230 HAS SOUS 2020827 HAS SOUPS 2020827 WITH SCORE 2024506.23
AT ITER 1856 NEW BEST:: SOT 15534882 SOS 3679137 HAS SOPS 3679137 HAS SOUS 2020734 HAS SOUPS 2020734 WITH SCORE 2024413.137
AT ITER 1860 NEW BEST:: SOT 15534917 SOS 3679207 HAS SOPS 3679207 HAS SOUS 2020250 HAS SOUPS 2020250 WITH SCORE 2023929.207
AT ITER 1905 NEW BEST:: SOT 15534160 SOS 3678450 HAS SOPS 3678450 HAS SOUS 2019493 HAS SOUPS 2019493 WITH SCORE 2023171.45
AT ITER 1907 NEW BEST:: SOT 15533943 SOS 3677329 HAS SOPS 3677329 HAS SOUS 2018788 HAS SOUPS 2018788 WITH SCORE 2022465.329
AT ITER 1938 NEW BEST:: SOT 15533943 SOS 3677298 HAS SOPS 3677298 HAS SOUS 2018773 HAS SOUPS 2018773 WITH SCORE 2022450.298
AT ITER 1951 NEW BEST:: SOT 15533753 SOS 3677203 HAS SOPS 3677203 HAS SOUS 2018678 HAS SOUPS 2018678 WITH SCORE 2022355.203
AT ITER 1954 NEW BEST:: SOT 15533587 SOS 3676871 HAS SOPS 3676871 HAS SOUS 2018346 HAS SOUPS 2018346 WITH SCORE 2022022.871
AT ITER 1961 NEW BEST:: SOT 15533583 SOS 3676867 HAS SOPS 3676867 HAS SOUS 2018342 HAS SOUPS 2018342 WITH SCORE 2022018.867
AT ITER 1969 NEW BEST:: SOT 15532875 SOS 3676231 HAS SOPS 3676231 HAS SOUS 2017706 HAS SOUPS 2017706 WITH SCORE 2021382.231
AT ITER 1975 NEW BEST:: SOT 15532875 SOS 3676097 HAS SOPS 3676097 HAS SOUS 2017639 HAS SOUPS 2017639 WITH SCORE 2021315.097
AT ITER 2005 NEW BEST:: SOT 15532919 SOS 3676225 HAS SOPS 3676225 HAS SOUS 2017638 HAS SOUPS 2017638 WITH SCORE 2021314.225
AT ITER 2028 NEW BEST:: SOT 15532074 SOS 3675563 HAS SOPS 3675563 HAS SOUS 2016976 HAS SOUPS 2016976 WITH SCORE 2020651.563
AT ITER 2032 NEW BEST:: SOT 15531842 SOS 3677187 HAS SOPS 3677187 HAS SOUS 2016744 HAS SOUPS 2016744 WITH SCORE 2020421.187
AT ITER 2042 NEW BEST:: SOT 15531842 SOS 3674727 HAS SOPS 3674727 HAS SOUS 2016744 HAS SOUPS 2016744 WITH SCORE 2020418.727
AT ITER 2108 NEW BEST:: SOT 15531618 SOS 3674279 HAS SOPS 3674279 HAS SOUS 2016520 HAS SOUPS 2016520 WITH SCORE 2020194.279
AT ITER 2121 NEW BEST:: SOT 15531490 SOS 3674023 HAS SOPS 3674023 HAS SOUS 2016264 HAS SOUPS 2016264 WITH SCORE 2019938.023
AT ITER 2127 NEW BEST:: SOT 15530586 SOS 3674927 HAS SOPS 3674927 HAS SOUS 2015360 HAS SOUPS 2015360 WITH SCORE 2019034.927
AT ITER 2181 NEW BEST:: SOT 15530586 SOS 3674936 HAS SOPS 3674936 HAS SOUS 2015359 HAS SOUPS 2015359 WITH SCORE 2019033.936
AT ITER 2213 NEW BEST:: SOT 15530029 SOS 3674619 HAS SOPS 3674619 HAS SOUS 2015042 HAS SOUPS 2015042 WITH SCORE 2018716.619
AT ITER 2236 NEW BEST:: SOT 15530029 SOS 3676212 HAS SOPS 3676212 HAS SOUS 2014243 HAS SOUPS 2014243 WITH SCORE 2017919.212
AT ITER 2242 NEW BEST:: SOT 15529683 SOS 3675648 HAS SOPS 3675648 HAS SOUS 2014102 HAS SOUPS 2014102 WITH SCORE 2017777.648
AT ITER 2250 NEW BEST:: SOT 15529642 SOS 3675566 HAS SOPS 3675566 HAS SOUS 2014060 HAS SOUPS 2014060 WITH SCORE 2017735.566
AT ITER 2256 NEW BEST:: SOT 15529442 SOS 3675762 HAS SOPS 3675762 HAS SOUS 2013659 HAS SOUPS 2013659 WITH SCORE 2017334.762
AT ITER 2272 NEW BEST:: SOT 15528398 SOS 3674718 HAS SOPS 3674718 HAS SOUS 2012615 HAS SOUPS 2012615 WITH SCORE 2016289.718
AT ITER 2288 NEW BEST:: SOT 15528398 SOS 3675176 HAS SOPS 3675176 HAS SOUS 2012614 HAS SOUPS 2012614 WITH SCORE 2016289.176
AT ITER 2299 NEW BEST:: SOT 15528230 SOS 3674840 HAS SOPS 3674840 HAS SOUS 2012301 HAS SOUPS 2012301 WITH SCORE 2015975.84
AT ITER 2307 NEW BEST:: SOT 15528230 SOS 3676279 HAS SOPS 3676279 HAS SOUS 2012299 HAS SOUPS 2012299 WITH SCORE 2015975.279
AT ITER 2319 NEW BEST:: SOT 15527996 SOS 3676045 HAS SOPS 3676045 HAS SOUS 2011948 HAS SOUPS 2011948 WITH SCORE 2015624.045
AT ITER 2335 NEW BEST:: SOT 15527996 SOS 3675863 HAS SOPS 3675863 HAS SOUS 2011857 HAS SOUPS 2011857 WITH SCORE 2015532.863
AT ITER 2356 NEW BEST:: SOT 15527714 SOS 3675776 HAS SOPS 3675776 HAS SOUS 2011770 HAS SOUPS 2011770 WITH SCORE 2015445.776
AT ITER 2415 NEW BEST:: SOT 15527341 SOS 3676139 HAS SOPS 3676139 HAS SOUS 2011769 HAS SOUPS 2011769 WITH SCORE 2015445.139
AT ITER 2440 NEW BEST:: SOT 15527341 SOS 3676922 HAS SOPS 3676922 HAS SOUS 2011709 HAS SOUPS 2011709 WITH SCORE 2015385.922
AT ITER 2445 NEW BEST:: SOT 15527341 SOS 3677152 HAS SOPS 3677152 HAS SOUS 2011707 HAS SOUPS 2011707 WITH SCORE 2015384.152
AT ITER 2446 NEW BEST:: SOT 15527186 SOS 3676842 HAS SOPS 3676842 HAS SOUS 2011397 HAS SOUPS 2011397 WITH SCORE 2015073.842
AT ITER 2482 NEW BEST:: SOT 15527166 SOS 3676802 HAS SOPS 3676802 HAS SOUS 2011357 HAS SOUPS 2011357 WITH SCORE 2015033.802
AT ITER 2484 NEW BEST:: SOT 15527166 SOS 3675848 HAS SOPS 3675848 HAS SOUS 2011357 HAS SOUPS 2011357 WITH SCORE 2015032.848
AT ITER 2506 NEW BEST:: SOT 15527365 SOS 3674353 HAS SOPS 3674353 HAS SOUS 2011024 HAS SOUPS 2011024 WITH SCORE 2014698.353
AT ITER 2526 NEW BEST:: SOT 15527271 SOS 3675289 HAS SOPS 3675289 HAS SOUS 2010957 HAS SOUPS 2010957 WITH SCORE 2014632.289
AT ITER 2538 NEW BEST:: SOT 15527425 SOS 3677594 HAS SOPS 3677594 HAS SOUS 2010264 HAS SOUPS 2010264 WITH SCORE 2013941.594
AT ITER 2556 NEW BEST:: SOT 15527425 SOS 3677074 HAS SOPS 3677074 HAS SOUS 2010004 HAS SOUPS 2010004 WITH SCORE 2013681.074
AT ITER 2559 NEW BEST:: SOT 15527425 SOS 3675889 HAS SOPS 3675889 HAS SOUS 2010004 HAS SOUPS 2010004 WITH SCORE 2013679.889
AT ITER 2609 NEW BEST:: SOT 15527425 SOS 3675328 HAS SOPS 3675328 HAS SOUS 2009817 HAS SOUPS 2009817 WITH SCORE 2013492.328
AT ITER 2616 NEW BEST:: SOT 15527425 SOS 3675368 HAS SOPS 3675368 HAS SOUS 2009816 HAS SOUPS 2009816 WITH SCORE 2013491.368
AT ITER 2625 NEW BEST:: SOT 15527031 SOS 3675319 HAS SOPS 3675319 HAS SOUS 2009767 HAS SOUPS 2009767 WITH SCORE 2013442.319
AT ITER 2644 NEW BEST:: SOT 15526515 SOS 3675030 HAS SOPS 3675030 HAS SOUS 2009477 HAS SOUPS 2009477 WITH SCORE 2013152.03
AT ITER 2651 NEW BEST:: SOT 15524522 SOS 3673134 HAS SOPS 3673134 HAS SOUS 2007086 HAS SOUPS 2007086 WITH SCORE 2010759.134
AT ITER 2652 NEW BEST:: SOT 15524522 SOS 3673134 HAS SOPS 3673134 HAS SOUS 2007016 HAS SOUPS 2007016 WITH SCORE 2010689.134
AT ITER 2663 NEW BEST:: SOT 15523681 SOS 3672115 HAS SOPS 3672115 HAS SOUS 2005512 HAS SOUPS 2005512 WITH SCORE 2009184.115
AT ITER 2714 NEW BEST:: SOT 15523679 SOS 3672111 HAS SOPS 3672111 HAS SOUS 2005508 HAS SOUPS 2005508 WITH SCORE 2009180.111
AT ITER 2778 NEW BEST:: SOT 15523374 SOS 3672406 HAS SOPS 3672406 HAS SOUS 2005507 HAS SOUPS 2005507 WITH SCORE 2009179.406
AT ITER 2782 NEW BEST:: SOT 15523277 SOS 3672312 HAS SOPS 3672312 HAS SOUS 2005413 HAS SOUPS 2005413 WITH SCORE 2009085.312
AT ITER 2784 NEW BEST:: SOT 15523277 SOS 3670782 HAS SOPS 3670782 HAS SOUS 2005412 HAS SOUPS 2005412 WITH SCORE 2009082.782
AT ITER 2800 NEW BEST:: SOT 15522921 SOS 3670869 HAS SOPS 3670869 HAS SOUS 2005224 HAS SOUPS 2005224 WITH SCORE 2008894.869
AT ITER 2810 NEW BEST:: SOT 15522855 SOS 3670932 HAS SOPS 3670932 HAS SOUS 2005157 HAS SOUPS 2005157 WITH SCORE 2008827.932
AT ITER 2853 NEW BEST:: SOT 15521698 SOS 3670688 HAS SOPS 3670688 HAS SOUS 2004913 HAS SOUPS 2004913 WITH SCORE 2008583.688
AT ITER 2884 NEW BEST:: SOT 15521513 SOS 3670477 HAS SOPS 3670477 HAS SOUS 2004702 HAS SOUPS 2004702 WITH SCORE 2008372.477
AT ITER 2891 NEW BEST:: SOT 15521259 SOS 3671448 HAS SOPS 3671448 HAS SOUS 2004193 HAS SOUPS 2004193 WITH SCORE 2007864.448
AT ITER 2916 NEW BEST:: SOT 15521259 SOS 3671822 HAS SOPS 3671822 HAS SOUS 2004192 HAS SOUPS 2004192 WITH SCORE 2007863.822
AT ITER 2935 NEW BEST:: SOT 15520215 SOS 3670778 HAS SOPS 3670778 HAS SOUS 2003148 HAS SOUPS 2003148 WITH SCORE 2006818.778
AT ITER 2951 NEW BEST:: SOT 15520114 SOS 3670677 HAS SOPS 3670677 HAS SOUS 2002946 HAS SOUPS 2002946 WITH SCORE 2006616.677
AT ITER 2972 NEW BEST:: SOT 15519706 SOS 3671003 HAS SOPS 3671003 HAS SOUS 2002462 HAS SOUPS 2002462 WITH SCORE 2006133.003
AT ITER 2994 NEW BEST:: SOT 15519695 SOS 3670981 HAS SOPS 3670981 HAS SOUS 2002440 HAS SOUPS 2002440 WITH SCORE 2006110.981
AT ITER 2997 NEW BEST:: SOT 15519253 SOS 3671423 HAS SOPS 3671423 HAS SOUS 2001998 HAS SOUPS 2001998 WITH SCORE 2005669.423
AT ITER 3005 NEW BEST:: SOT 15519221 SOS 3671359 HAS SOPS 3671359 HAS SOUS 2001934 HAS SOUPS 2001934 WITH SCORE 2005605.359
AT ITER 3010 NEW BEST:: SOT 15519219 SOS 3671355 HAS SOPS 3671355 HAS SOUS 2001930 HAS SOUPS 2001930 WITH SCORE 2005601.355
AT ITER 3024 NEW BEST:: SOT 15519136 SOS 3671936 HAS SOPS 3671936 HAS SOUS 2001847 HAS SOUPS 2001847 WITH SCORE 2005518.936
AT ITER 3025 NEW BEST:: SOT 15518843 SOS 3672229 HAS SOPS 3672229 HAS SOUS 2001554 HAS SOUPS 2001554 WITH SCORE 2005226.229
AT ITER 3026 NEW BEST:: SOT 15518311 SOS 3671514 HAS SOPS 3671514 HAS SOUS 2000839 HAS SOUPS 2000839 WITH SCORE 2004510.514
AT ITER 3061 NEW BEST:: SOT 15517912 SOS 3676514 HAS SOPS 3676514 HAS SOUS 2000286 HAS SOUPS 2000286 WITH SCORE 2003962.514
AT ITER 3064 NEW BEST:: SOT 15517740 SOS 3676170 HAS SOPS 3676170 HAS SOUS 2000114 HAS SOUPS 2000114 WITH SCORE 2003790.17
AT ITER 3078 NEW BEST:: SOT 15517571 SOS 3676257 HAS SOPS 3676257 HAS SOUS 1999945 HAS SOUPS 1999945 WITH SCORE 2003621.257
AT ITER 3094 NEW BEST:: SOT 15517571 SOS 3674901 HAS SOPS 3674901 HAS SOUS 1999944 HAS SOUPS 1999944 WITH SCORE 2003618.901
AT ITER 3125 NEW BEST:: SOT 15518020 SOS 3673015 HAS SOPS 3673015 HAS SOUS 1999801 HAS SOUPS 1999801 WITH SCORE 2003474.015
AT ITER 3136 NEW BEST:: SOT 15518145 SOS 3673013 HAS SOPS 3673013 HAS SOUS 1999799 HAS SOUPS 1999799 WITH SCORE 2003472.013
AT ITER 3141 NEW BEST:: SOT 15517874 SOS 3673277 HAS SOPS 3673277 HAS SOUS 1999526 HAS SOUPS 1999526 WITH SCORE 2003199.277
AT ITER 3143 NEW BEST:: SOT 15517873 SOS 3675900 HAS SOPS 3675900 HAS SOUS 1999523 HAS SOUPS 1999523 WITH SCORE 2003198.9
AT ITER 3146 NEW BEST:: SOT 15517505 SOS 3675900 HAS SOPS 3675900 HAS SOUS 1999432 HAS SOUPS 1999432 WITH SCORE 2003107.9
AT ITER 3169 NEW BEST:: SOT 15517366 SOS 3675717 HAS SOPS 3675717 HAS SOUS 1999249 HAS SOUPS 1999249 WITH SCORE 2002924.717
AT ITER 3172 NEW BEST:: SOT 15517337 SOS 3675659 HAS SOPS 3675659 HAS SOUS 1999191 HAS SOUPS 1999191 WITH SCORE 2002866.659
AT ITER 3218 NEW BEST:: SOT 15517337 SOS 3675328 HAS SOPS 3675328 HAS SOUS 1999191 HAS SOUPS 1999191 WITH SCORE 2002866.328
AT ITER 3225 NEW BEST:: SOT 15517335 SOS 3675324 HAS SOPS 3675324 HAS SOUS 1999187 HAS SOUPS 1999187 WITH SCORE 2002862.324
AT ITER 3233 NEW BEST:: SOT 15517335 SOS 3675323 HAS SOPS 3675323 HAS SOUS 1999186 HAS SOUPS 1999186 WITH SCORE 2002861.323
AT ITER 3246 NEW BEST:: SOT 15516384 SOS 3673421 HAS SOPS 3673421 HAS SOUS 1996987 HAS SOUPS 1996987 WITH SCORE 2000660.421
AT ITER 3249 NEW BEST:: SOT 15515712 SOS 3674101 HAS SOPS 3674101 HAS SOUS 1996824 HAS SOUPS 1996824 WITH SCORE 2000498.101
AT ITER 3262 NEW BEST:: SOT 15515643 SOS 3673963 HAS SOPS 3673963 HAS SOUS 1996751 HAS SOUPS 1996751 WITH SCORE 2000424.963
AT ITER 3269 NEW BEST:: SOT 15515445 SOS 3676663 HAS SOPS 3676663 HAS SOUS 1996553 HAS SOUPS 1996553 WITH SCORE 2000229.663
AT ITER 3287 NEW BEST:: SOT 15515445 SOS 3676663 HAS SOPS 3676663 HAS SOUS 1996552 HAS SOUPS 1996552 WITH SCORE 2000228.663
AT ITER 3297 NEW BEST:: SOT 15515444 SOS 3676560 HAS SOPS 3676560 HAS SOUS 1996449 HAS SOUPS 1996449 WITH SCORE 2000125.56
AT ITER 3308 NEW BEST:: SOT 15515444 SOS 3677009 HAS SOPS 3677009 HAS SOUS 1996448 HAS SOUPS 1996448 WITH SCORE 2000125.009
AT ITER 3323 NEW BEST:: SOT 15515444 SOS 3677009 HAS SOPS 3677009 HAS SOUS 1996263 HAS SOUPS 1996263 WITH SCORE 1999940.009
AT ITER 3336 NEW BEST:: SOT 15515444 SOS 3677604 HAS SOPS 3677604 HAS SOUS 1996029 HAS SOUPS 1996029 WITH SCORE 1999706.604
AT ITER 3375 NEW BEST:: SOT 15515304 SOS 3677512 HAS SOPS 3677512 HAS SOUS 1995918 HAS SOUPS 1995918 WITH SCORE 1999595.512
AT ITER 3392 NEW BEST:: SOT 15515341 SOS 3677880 HAS SOPS 3677880 HAS SOUS 1995681 HAS SOUPS 1995681 WITH SCORE 1999358.88
AT ITER 3399 NEW BEST:: SOT 15515109 SOS 3677416 HAS SOPS 3677416 HAS SOUS 1995449 HAS SOUPS 1995449 WITH SCORE 1999126.416
AT ITER 3418 NEW BEST:: SOT 15514816 SOS 3677412 HAS SOPS 3677412 HAS SOUS 1995448 HAS SOUPS 1995448 WITH SCORE 1999125.412
AT ITER 3437 NEW BEST:: SOT 15514816 SOS 3677557 HAS SOPS 3677557 HAS SOUS 1995447 HAS SOUPS 1995447 WITH SCORE 1999124.557
AT ITER 3447 NEW BEST:: SOT 15514816 SOS 3677239 HAS SOPS 3677239 HAS SOUS 1995288 HAS SOUPS 1995288 WITH SCORE 1998965.239
AT ITER 3472 NEW BEST:: SOT 15514704 SOS 3677177 HAS SOPS 3677177 HAS SOUS 1995226 HAS SOUPS 1995226 WITH SCORE 1998903.177
AT ITER 3484 NEW BEST:: SOT 15514552 SOS 3676873 HAS SOPS 3676873 HAS SOUS 1994922 HAS SOUPS 1994922 WITH SCORE 1998598.873
AT ITER 3536 NEW BEST:: SOT 15513746 SOS 3676067 HAS SOPS 3676067 HAS SOUS 1994116 HAS SOUPS 1994116 WITH SCORE 1997792.067
AT ITER 3542 NEW BEST:: SOT 15513559 SOS 3675319 HAS SOPS 3675319 HAS SOUS 1993742 HAS SOUPS 1993742 WITH SCORE 1997417.319
AT ITER 3553 NEW BEST:: SOT 15513052 SOS 3674664 HAS SOPS 3674664 HAS SOUS 1993087 HAS SOUPS 1993087 WITH SCORE 1996761.664
AT ITER 3558 NEW BEST:: SOT 15512616 SOS 3674686 HAS SOPS 3674686 HAS SOUS 1992651 HAS SOUPS 1992651 WITH SCORE 1996325.686
AT ITER 3591 NEW BEST:: SOT 15512816 SOS 3675806 HAS SOPS 3675806 HAS SOUS 1992326 HAS SOUPS 1992326 WITH SCORE 1996001.806
AT ITER 3594 NEW BEST:: SOT 15511248 SOS 3695574 HAS SOPS 3695574 HAS SOUS 1992155 HAS SOUPS 1992155 WITH SCORE 1995850.574
AT ITER 3600 NEW BEST:: SOT 15510416 SOS 3694911 HAS SOPS 3694911 HAS SOUS 1991492 HAS SOUPS 1991492 WITH SCORE 1995186.911
AT ITER 3601 NEW BEST:: SOT 15510144 SOS 3694627 HAS SOPS 3694627 HAS SOUS 1990754 HAS SOUPS 1990754 WITH SCORE 1994448.627
AT ITER 3603 NEW BEST:: SOT 15510045 SOS 3696153 HAS SOPS 3696153 HAS SOUS 1990748 HAS SOUPS 1990748 WITH SCORE 1994444.153
AT ITER 3644 NEW BEST:: SOT 15509906 SOS 3696949 HAS SOPS 3696949 HAS SOUS 1990469 HAS SOUPS 1990469 WITH SCORE 1994165.949
AT ITER 3675 NEW BEST:: SOT 15509906 SOS 3696949 HAS SOPS 3696949 HAS SOUS 1990142 HAS SOUPS 1990142 WITH SCORE 1993838.949
AT ITER 3695 NEW BEST:: SOT 15509311 SOS 3695759 HAS SOPS 3695759 HAS SOUS 1989547 HAS SOUPS 1989547 WITH SCORE 1993242.759
AT ITER 3697 NEW BEST:: SOT 15509375 SOS 3696012 HAS SOPS 3696012 HAS SOUS 1989546 HAS SOUPS 1989546 WITH SCORE 1993242.012
AT ITER 3702 NEW BEST:: SOT 15509454 SOS 3696170 HAS SOPS 3696170 HAS SOUS 1988926 HAS SOUPS 1988926 WITH SCORE 1992622.17
AT ITER 3721 NEW BEST:: SOT 15506884 SOS 3693343 HAS SOPS 3693343 HAS SOUS 1988306 HAS SOUPS 1988306 WITH SCORE 1991999.343
AT ITER 3725 NEW BEST:: SOT 15507174 SOS 3696096 HAS SOPS 3696096 HAS SOUS 1987797 HAS SOUPS 1987797 WITH SCORE 1991493.096
AT ITER 3738 NEW BEST:: SOT 15507174 SOS 3696096 HAS SOPS 3696096 HAS SOUS 1987796 HAS SOUPS 1987796 WITH SCORE 1991492.096
AT ITER 3756 NEW BEST:: SOT 15507034 SOS 3695956 HAS SOPS 3695956 HAS SOUS 1987656 HAS SOUPS 1987656 WITH SCORE 1991351.956
AT ITER 3762 NEW BEST:: SOT 15506676 SOS 3695834 HAS SOPS 3695834 HAS SOUS 1987389 HAS SOUPS 1987389 WITH SCORE 1991084.834
AT ITER 3765 NEW BEST:: SOT 15506106 SOS 3695718 HAS SOPS 3695718 HAS SOUS 1987075 HAS SOUPS 1987075 WITH SCORE 1990770.718
AT ITER 3779 NEW BEST:: SOT 15506105 SOS 3695716 HAS SOPS 3695716 HAS SOUS 1987073 HAS SOUPS 1987073 WITH SCORE 1990768.716
AT ITER 3780 NEW BEST:: SOT 15506055 SOS 3695808 HAS SOPS 3695808 HAS SOUS 1987021 HAS SOUPS 1987021 WITH SCORE 1990716.808
AT ITER 3820 NEW BEST:: SOT 15506096 SOS 3695890 HAS SOPS 3695890 HAS SOUS 1986369 HAS SOUPS 1986369 WITH SCORE 1990064.89
AT ITER 3825 NEW BEST:: SOT 15505525 SOS 3695960 HAS SOPS 3695960 HAS SOUS 1985798 HAS SOUPS 1985798 WITH SCORE 1989493.96
AT ITER 3830 NEW BEST:: SOT 15505525 SOS 3695830 HAS SOPS 3695830 HAS SOUS 1985798 HAS SOUPS 1985798 WITH SCORE 1989493.83
AT ITER 3862 NEW BEST:: SOT 15505227 SOS 3695564 HAS SOPS 3695564 HAS SOUS 1985219 HAS SOUPS 1985219 WITH SCORE 1988914.564
AT ITER 3863 NEW BEST:: SOT 15505227 SOS 3695793 HAS SOPS 3695793 HAS SOUS 1985218 HAS SOUPS 1985218 WITH SCORE 1988913.793
AT ITER 3898 NEW BEST:: SOT 15504752 SOS 3695457 HAS SOPS 3695457 HAS SOUS 1985029 HAS SOUPS 1985029 WITH SCORE 1988724.457
AT ITER 3929 NEW BEST:: SOT 15504721 SOS 3695385 HAS SOPS 3695385 HAS SOUS 1984966 HAS SOUPS 1984966 WITH SCORE 1988661.385
AT ITER 3943 NEW BEST:: SOT 15504200 SOS 3694948 HAS SOPS 3694948 HAS SOUS 1984529 HAS SOUPS 1984529 WITH SCORE 1988223.948
AT ITER 3951 NEW BEST:: SOT 15503866 SOS 3694280 HAS SOPS 3694280 HAS SOUS 1984028 HAS SOUPS 1984028 WITH SCORE 1987722.28
AT ITER 3958 NEW BEST:: SOT 15503741 SOS 3694179 HAS SOPS 3694179 HAS SOUS 1983927 HAS SOUPS 1983927 WITH SCORE 1987621.179
AT ITER 3966 NEW BEST:: SOT 15503872 SOS 3696363 HAS SOPS 3696363 HAS SOUS 1983921 HAS SOUPS 1983921 WITH SCORE 1987617.363
AT ITER 3972 NEW BEST:: SOT 15503790 SOS 3696281 HAS SOPS 3696281 HAS SOUS 1983839 HAS SOUPS 1983839 WITH SCORE 1987535.281
AT ITER 3997 NEW BEST:: SOT 15503689 SOS 3697442 HAS SOPS 3697442 HAS SOUS 1983228 HAS SOUPS 1983228 WITH SCORE 1986925.442
AT ITER 4017 NEW BEST:: SOT 15503017 SOS 3697038 HAS SOPS 3697038 HAS SOUS 1982824 HAS SOUPS 1982824 WITH SCORE 1986521.038
AT ITER 4019 NEW BEST:: SOT 15502413 SOS 3695258 HAS SOPS 3695258 HAS SOUS 1982646 HAS SOUPS 1982646 WITH SCORE 1986341.258
AT ITER 4024 NEW BEST:: SOT 15501542 SOS 3694798 HAS SOPS 3694798 HAS SOUS 1981943 HAS SOUPS 1981943 WITH SCORE 1985637.798
AT ITER 4052 NEW BEST:: SOT 15501542 SOS 3694798 HAS SOPS 3694798 HAS SOUS 1981942 HAS SOUPS 1981942 WITH SCORE 1985636.798
AT ITER 4067 NEW BEST:: SOT 15501339 SOS 3696219 HAS SOPS 3696219 HAS SOUS 1981739 HAS SOUPS 1981739 WITH SCORE 1985435.219
AT ITER 4098 NEW BEST:: SOT 15501706 SOS 3696953 HAS SOPS 3696953 HAS SOUS 1981598 HAS SOUPS 1981598 WITH SCORE 1985294.953
AT ITER 4130 NEW BEST:: SOT 15501591 SOS 3697175 HAS SOPS 3697175 HAS SOUS 1981481 HAS SOUPS 1981481 WITH SCORE 1985178.175
AT ITER 4137 NEW BEST:: SOT 15501591 SOS 3695819 HAS SOPS 3695819 HAS SOUS 1981481 HAS SOUPS 1981481 WITH SCORE 1985176.819
AT ITER 4143 NEW BEST:: SOT 15500878 SOS 3693926 HAS SOPS 3693926 HAS SOUS 1979588 HAS SOUPS 1979588 WITH SCORE 1983281.926
AT ITER 4155 NEW BEST:: SOT 15500665 SOS 3694136 HAS SOPS 3694136 HAS SOUS 1979586 HAS SOUPS 1979586 WITH SCORE 1983280.136
AT ITER 4175 NEW BEST:: SOT 15500541 SOS 3694126 HAS SOPS 3694126 HAS SOUS 1979585 HAS SOUPS 1979585 WITH SCORE 1983279.126
AT ITER 4184 NEW BEST:: SOT 15500900 SOS 3694844 HAS SOPS 3694844 HAS SOUS 1979526 HAS SOUPS 1979526 WITH SCORE 1983220.844
AT ITER 4219 NEW BEST:: SOT 15500532 SOS 3692965 HAS SOPS 3692965 HAS SOUS 1978790 HAS SOUPS 1978790 WITH SCORE 1982482.965
AT ITER 4256 NEW BEST:: SOT 15499915 SOS 3692354 HAS SOPS 3692354 HAS SOUS 1978173 HAS SOUPS 1978173 WITH SCORE 1981865.354
AT ITER 4261 NEW BEST:: SOT 15499587 SOS 3691698 HAS SOPS 3691698 HAS SOUS 1977845 HAS SOUPS 1977845 WITH SCORE 1981536.698
AT ITER 4309 NEW BEST:: SOT 15499398 SOS 3691509 HAS SOPS 3691509 HAS SOUS 1977845 HAS SOUPS 1977845 WITH SCORE 1981536.509
AT ITER 4313 NEW BEST:: SOT 15499106 SOS 3691108 HAS SOPS 3691108 HAS SOUS 1977444 HAS SOUPS 1977444 WITH SCORE 1981135.108
AT ITER 4331 NEW BEST:: SOT 15499080 SOS 3691082 HAS SOPS 3691082 HAS SOUS 1977418 HAS SOUPS 1977418 WITH SCORE 1981109.082
AT ITER 4353 NEW BEST:: SOT 15499080 SOS 3692105 HAS SOPS 3692105 HAS SOUS 1977226 HAS SOUPS 1977226 WITH SCORE 1980918.105
AT ITER 4391 NEW BEST:: SOT 15499080 SOS 3692105 HAS SOPS 3692105 HAS SOUS 1977161 HAS SOUPS 1977161 WITH SCORE 1980853.105
AT ITER 4405 NEW BEST:: SOT 15498364 SOS 3692044 HAS SOPS 3692044 HAS SOUS 1977100 HAS SOUPS 1977100 WITH SCORE 1980792.044
AT ITER 4431 NEW BEST:: SOT 15498072 SOS 3691460 HAS SOPS 3691460 HAS SOUS 1976516 HAS SOUPS 1976516 WITH SCORE 1980207.46
AT ITER 4439 NEW BEST:: SOT 15498399 SOS 3691448 HAS SOPS 3691448 HAS SOUS 1976510 HAS SOUPS 1976510 WITH SCORE 1980201.448
AT ITER 4495 NEW BEST:: SOT 15498399 SOS 3691501 HAS SOPS 3691501 HAS SOUS 1976490 HAS SOUPS 1976490 WITH SCORE 1980181.501
AT ITER 4502 NEW BEST:: SOT 15498023 SOS 3690749 HAS SOPS 3690749 HAS SOUS 1976113 HAS SOUPS 1976113 WITH SCORE 1979803.749
AT ITER 4506 NEW BEST:: SOT 15497481 SOS 3691291 HAS SOPS 3691291 HAS SOUS 1975571 HAS SOUPS 1975571 WITH SCORE 1979262.291
AT ITER 4510 NEW BEST:: SOT 15497065 SOS 3691226 HAS SOPS 3691226 HAS SOUS 1975506 HAS SOUPS 1975506 WITH SCORE 1979197.226
AT ITER 4523 NEW BEST:: SOT 15497443 SOS 3694532 HAS SOPS 3694532 HAS SOUS 1975412 HAS SOUPS 1975412 WITH SCORE 1979106.532
AT ITER 4532 NEW BEST:: SOT 15497364 SOS 3694374 HAS SOPS 3694374 HAS SOUS 1975218 HAS SOUPS 1975218 WITH SCORE 1978912.374
AT ITER 4545 NEW BEST:: SOT 15496861 SOS 3693564 HAS SOPS 3693564 HAS SOUS 1974251 HAS SOUPS 1974251 WITH SCORE 1977944.564
AT ITER 4556 NEW BEST:: SOT 15496435 SOS 3696536 HAS SOPS 3696536 HAS SOUS 1973398 HAS SOUPS 1973398 WITH SCORE 1977094.536
AT ITER 4567 NEW BEST:: SOT 15496442 SOS 3695443 HAS SOPS 3695443 HAS SOUS 1972703 HAS SOUPS 1972703 WITH SCORE 1976398.443
AT ITER 4571 NEW BEST:: SOT 15495779 SOS 3694891 HAS SOPS 3694891 HAS SOUS 1971749 HAS SOUPS 1971749 WITH SCORE 1975443.891
AT ITER 4576 NEW BEST:: SOT 15495779 SOS 3694811 HAS SOPS 3694811 HAS SOUS 1971669 HAS SOUPS 1971669 WITH SCORE 1975363.811
AT ITER 4577 NEW BEST:: SOT 15495697 SOS 3694647 HAS SOPS 3694647 HAS SOUS 1971583 HAS SOUPS 1971583 WITH SCORE 1975277.647
AT ITER 4609 NEW BEST:: SOT 15495697 SOS 3694155 HAS SOPS 3694155 HAS SOUS 1971419 HAS SOUPS 1971419 WITH SCORE 1975113.155
AT ITER 4651 NEW BEST:: SOT 15495697 SOS 3694155 HAS SOPS 3694155 HAS SOUS 1971173 HAS SOUPS 1971173 WITH SCORE 1974867.155
AT ITER 4665 NEW BEST:: SOT 15495211 SOS 3694155 HAS SOPS 3694155 HAS SOUS 1970282 HAS SOUPS 1970282 WITH SCORE 1973976.155
AT ITER 4694 NEW BEST:: SOT 15494982 SOS 3694187 HAS SOPS 3694187 HAS SOUS 1970260 HAS SOUPS 1970260 WITH SCORE 1973954.187
AT ITER 4724 NEW BEST:: SOT 15494774 SOS 3693771 HAS SOPS 3693771 HAS SOUS 1970052 HAS SOUPS 1970052 WITH SCORE 1973745.771
AT ITER 4725 NEW BEST:: SOT 15494634 SOS 3693491 HAS SOPS 3693491 HAS SOUS 1970052 HAS SOUPS 1970052 WITH SCORE 1973745.491
AT ITER 4746 NEW BEST:: SOT 15494539 SOS 3693301 HAS SOPS 3693301 HAS SOUS 1969862 HAS SOUPS 1969862 WITH SCORE 1973555.301
AT ITER 4793 NEW BEST:: SOT 15494428 SOS 3692551 HAS SOPS 3692551 HAS SOUS 1969751 HAS SOUPS 1969751 WITH SCORE 1973443.551
AT ITER 4798 NEW BEST:: SOT 15494428 SOS 3692499 HAS SOPS 3692499 HAS SOUS 1969751 HAS SOUPS 1969751 WITH SCORE 1973443.499
AT ITER 4818 NEW BEST:: SOT 15494338 SOS 3692409 HAS SOPS 3692409 HAS SOUS 1969661 HAS SOUPS 1969661 WITH SCORE 1973353.409
AT ITER 4840 NEW BEST:: SOT 15494060 SOS 3691786 HAS SOPS 3691786 HAS SOUS 1969268 HAS SOUPS 1969268 WITH SCORE 1972959.786
AT ITER 4846 NEW BEST:: SOT 15494060 SOS 3690352 HAS SOPS 3690352 HAS SOUS 1969267 HAS SOUPS 1969267 WITH SCORE 1972957.352
AT ITER 4885 NEW BEST:: SOT 15494196 SOS 3687477 HAS SOPS 3687477 HAS SOUS 1968353 HAS SOUPS 1968353 WITH SCORE 1972040.477
AT ITER 4896 NEW BEST:: SOT 15494028 SOS 3687141 HAS SOPS 3687141 HAS SOUS 1968017 HAS SOUPS 1968017 WITH SCORE 1971704.141
AT ITER 4903 NEW BEST:: SOT 15493383 SOS 3682262 HAS SOPS 3682262 HAS SOUS 1966972 HAS SOUPS 1966972 WITH SCORE 1970654.262
AT ITER 4907 NEW BEST:: SOT 15493334 SOS 3682301 HAS SOPS 3682301 HAS SOUS 1966971 HAS SOUPS 1966971 WITH SCORE 1970653.301
AT ITER 4921 NEW BEST:: SOT 15492815 SOS 3682880 HAS SOPS 3682880 HAS SOUS 1965933 HAS SOUPS 1965933 WITH SCORE 1969615.88
AT ITER 4934 NEW BEST:: SOT 15492695 SOS 3682762 HAS SOPS 3682762 HAS SOUS 1965815 HAS SOUPS 1965815 WITH SCORE 1969497.762
AT ITER 4955 NEW BEST:: SOT 15492622 SOS 3682616 HAS SOPS 3682616 HAS SOUS 1965669 HAS SOUPS 1965669 WITH SCORE 1969351.616
AT ITER 4990 NEW BEST:: SOT 15492590 SOS 3682645 HAS SOPS 3682645 HAS SOUS 1965636 HAS SOUPS 1965636 WITH SCORE 1969318.645
AT ITER 4997 NEW BEST:: SOT 15492337 SOS 3682682 HAS SOPS 3682682 HAS SOUS 1965564 HAS SOUPS 1965564 WITH SCORE 1969246.682
AT ITER 5019 NEW BEST:: SOT 15491810 SOS 3682682 HAS SOPS 3682682 HAS SOUS 1964649 HAS SOUPS 1964649 WITH SCORE 1968331.682
AT ITER 5026 NEW BEST:: SOT 15491750 SOS 3682022 HAS SOPS 3682022 HAS SOUS 1964529 HAS SOUPS 1964529 WITH SCORE 1968211.022
AT ITER 5032 NEW BEST:: SOT 15491564 SOS 3680906 HAS SOPS 3680906 HAS SOUS 1963971 HAS SOUPS 1963971 WITH SCORE 1967651.906
AT ITER 5036 NEW BEST:: SOT 15489545 SOS 3685802 HAS SOPS 3685802 HAS SOUS 1962978 HAS SOUPS 1962978 WITH SCORE 1966663.802
AT ITER 5053 NEW BEST:: SOT 15488993 SOS 3685236 HAS SOPS 3685236 HAS SOUS 1962425 HAS SOUPS 1962425 WITH SCORE 1966110.236
AT ITER 5070 NEW BEST:: SOT 15488711 SOS 3684672 HAS SOPS 3684672 HAS SOUS 1961997 HAS SOUPS 1961997 WITH SCORE 1965681.672
AT ITER 5079 NEW BEST:: SOT 15488711 SOS 3683857 HAS SOPS 3683857 HAS SOUS 1961833 HAS SOUPS 1961833 WITH SCORE 1965516.857
AT ITER 5087 NEW BEST:: SOT 15488685 SOS 3681789 HAS SOPS 3681789 HAS SOUS 1961807 HAS SOUPS 1961807 WITH SCORE 1965488.789
AT ITER 5133 NEW BEST:: SOT 15488404 SOS 3681542 HAS SOPS 3681542 HAS SOUS 1961523 HAS SOUPS 1961523 WITH SCORE 1965204.542
AT ITER 5135 NEW BEST:: SOT 15488392 SOS 3681539 HAS SOPS 3681539 HAS SOUS 1961522 HAS SOUPS 1961522 WITH SCORE 1965203.539
AT ITER 5157 NEW BEST:: SOT 15487348 SOS 3680301 HAS SOPS 3680301 HAS SOUS 1960284 HAS SOUPS 1960284 WITH SCORE 1963964.301
AT ITER 5174 NEW BEST:: SOT 15487348 SOS 3682649 HAS SOPS 3682649 HAS SOUS 1960171 HAS SOUPS 1960171 WITH SCORE 1963853.649
AT ITER 5175 NEW BEST:: SOT 15487472 SOS 3682897 HAS SOPS 3682897 HAS SOUS 1959958 HAS SOUPS 1959958 WITH SCORE 1963640.897
AT ITER 5198 NEW BEST:: SOT 15487737 SOS 3683427 HAS SOPS 3683427 HAS SOUS 1959538 HAS SOUPS 1959538 WITH SCORE 1963221.427
AT ITER 5201 NEW BEST:: SOT 15486922 SOS 3680714 HAS SOPS 3680714 HAS SOUS 1958382 HAS SOUPS 1958382 WITH SCORE 1962062.714
AT ITER 5203 NEW BEST:: SOT 15486777 SOS 3680569 HAS SOPS 3680569 HAS SOUS 1958237 HAS SOUPS 1958237 WITH SCORE 1961917.569
AT ITER 5223 NEW BEST:: SOT 15486777 SOS 3680569 HAS SOPS 3680569 HAS SOUS 1957849 HAS SOUPS 1957849 WITH SCORE 1961529.569
AT ITER 5233 NEW BEST:: SOT 15486598 SOS 3683046 HAS SOPS 3683046 HAS SOUS 1957806 HAS SOUPS 1957806 WITH SCORE 1961489.046
AT ITER 5252 NEW BEST:: SOT 15486138 SOS 3683246 HAS SOPS 3683246 HAS SOUS 1957072 HAS SOUPS 1957072 WITH SCORE 1960755.246
AT ITER 5282 NEW BEST:: SOT 15485875 SOS 3683486 HAS SOPS 3683486 HAS SOUS 1956827 HAS SOUPS 1956827 WITH SCORE 1960510.486
AT ITER 5284 NEW BEST:: SOT 15485711 SOS 3683158 HAS SOPS 3683158 HAS SOUS 1956432 HAS SOUPS 1956432 WITH SCORE 1960115.158
AT ITER 5304 NEW BEST:: SOT 15485669 SOS 3682668 HAS SOPS 3682668 HAS SOUS 1955942 HAS SOUPS 1955942 WITH SCORE 1959624.668
AT ITER 5308 NEW BEST:: SOT 15485231 SOS 3682800 HAS SOPS 3682800 HAS SOUS 1955839 HAS SOUPS 1955839 WITH SCORE 1959521.8
AT ITER 5318 NEW BEST:: SOT 15485220 SOS 3682778 HAS SOPS 3682778 HAS SOUS 1955028 HAS SOUPS 1955028 WITH SCORE 1958710.778
AT ITER 5329 NEW BEST:: SOT 15484987 SOS 3682702 HAS SOPS 3682702 HAS SOUS 1954952 HAS SOUPS 1954952 WITH SCORE 1958634.702
AT ITER 5355 NEW BEST:: SOT 15484953 SOS 3682668 HAS SOPS 3682668 HAS SOUS 1954918 HAS SOUPS 1954918 WITH SCORE 1958600.668
AT ITER 5400 NEW BEST:: SOT 15484811 SOS 3680538 HAS SOPS 3680538 HAS SOUS 1954634 HAS SOUPS 1954634 WITH SCORE 1958314.538
AT ITER 5404 NEW BEST:: SOT 15483767 SOS 3678450 HAS SOPS 3678450 HAS SOUS 1952438 HAS SOUPS 1952438 WITH SCORE 1956116.45
AT ITER 5423 NEW BEST:: SOT 15483511 SOS 3677059 HAS SOPS 3677059 HAS SOUS 1951889 HAS SOUPS 1951889 WITH SCORE 1955566.059
AT ITER 5433 NEW BEST:: SOT 15483481 SOS 3676999 HAS SOPS 3676999 HAS SOUS 1951829 HAS SOUPS 1951829 WITH SCORE 1955505.999
AT ITER 5446 NEW BEST:: SOT 15483054 SOS 3676572 HAS SOPS 3676572 HAS SOUS 1950975 HAS SOUPS 1950975 WITH SCORE 1954651.572
AT ITER 5449 NEW BEST:: SOT 15483472 SOS 3674888 HAS SOPS 3674888 HAS SOUS 1950733 HAS SOUPS 1950733 WITH SCORE 1954407.888
AT ITER 5466 NEW BEST:: SOT 15483452 SOS 3674848 HAS SOPS 3674848 HAS SOUS 1950693 HAS SOUPS 1950693 WITH SCORE 1954367.848
AT ITER 5469 NEW BEST:: SOT 15483268 SOS 3676136 HAS SOPS 3676136 HAS SOUS 1950509 HAS SOUPS 1950509 WITH SCORE 1954185.136
AT ITER 5489 NEW BEST:: SOT 15483268 SOS 3675822 HAS SOPS 3675822 HAS SOUS 1950509 HAS SOUPS 1950509 WITH SCORE 1954184.822
AT ITER 5493 NEW BEST:: SOT 15483007 SOS 3675649 HAS SOPS 3675649 HAS SOUS 1950336 HAS SOUPS 1950336 WITH SCORE 1954011.649
AT ITER 5503 NEW BEST:: SOT 15482935 SOS 3675389 HAS SOPS 3675389 HAS SOUS 1950242 HAS SOUPS 1950242 WITH SCORE 1953917.389
AT ITER 5517 NEW BEST:: SOT 15482935 SOS 3675803 HAS SOPS 3675803 HAS SOUS 1950102 HAS SOUPS 1950102 WITH SCORE 1953777.803
AT ITER 5519 NEW BEST:: SOT 15482896 SOS 3675725 HAS SOPS 3675725 HAS SOUS 1950061 HAS SOUPS 1950061 WITH SCORE 1953736.725
AT ITER 5538 NEW BEST:: SOT 15482849 SOS 3675631 HAS SOPS 3675631 HAS SOUS 1949967 HAS SOUPS 1949967 WITH SCORE 1953642.631
AT ITER 5541 NEW BEST:: SOT 15482601 SOS 3675383 HAS SOPS 3675383 HAS SOUS 1949719 HAS SOUPS 1949719 WITH SCORE 1953394.383
AT ITER 5561 NEW BEST:: SOT 15482601 SOS 3675383 HAS SOPS 3675383 HAS SOUS 1949718 HAS SOUPS 1949718 WITH SCORE 1953393.383
AT ITER 5562 NEW BEST:: SOT 15482521 SOS 3675223 HAS SOPS 3675223 HAS SOUS 1949638 HAS SOUPS 1949638 WITH SCORE 1953313.223
AT ITER 5599 NEW BEST:: SOT 15482482 SOS 3674872 HAS SOPS 3674872 HAS SOUS 1949560 HAS SOUPS 1949560 WITH SCORE 1953234.872
AT ITER 5633 NEW BEST:: SOT 15482098 SOS 3679096 HAS SOPS 3679096 HAS SOUS 1948792 HAS SOUPS 1948792 WITH SCORE 1952471.096
AT ITER 5634 NEW BEST:: SOT 15482182 SOS 3680044 HAS SOPS 3680044 HAS SOUS 1948690 HAS SOUPS 1948690 WITH SCORE 1952370.044
AT ITER 5643 NEW BEST:: SOT 15481972 SOS 3679738 HAS SOPS 3679738 HAS SOUS 1948384 HAS SOUPS 1948384 WITH SCORE 1952063.738
AT ITER 5651 NEW BEST:: SOT 15480069 SOS 3686898 HAS SOPS 3686898 HAS SOUS 1947497 HAS SOUPS 1947497 WITH SCORE 1951183.898
AT ITER 5662 NEW BEST:: SOT 15480069 SOS 3686832 HAS SOPS 3686832 HAS SOUS 1947497 HAS SOUPS 1947497 WITH SCORE 1951183.832
AT ITER 5665 NEW BEST:: SOT 15480069 SOS 3686690 HAS SOPS 3686690 HAS SOUS 1947355 HAS SOUPS 1947355 WITH SCORE 1951041.69
AT ITER 5673 NEW BEST:: SOT 15480069 SOS 3685736 HAS SOPS 3685736 HAS SOUS 1947355 HAS SOUPS 1947355 WITH SCORE 1951040.736
AT ITER 5686 NEW BEST:: SOT 15480057 SOS 3685723 HAS SOPS 3685723 HAS SOUS 1947342 HAS SOUPS 1947342 WITH SCORE 1951027.723
AT ITER 5724 NEW BEST:: SOT 15480057 SOS 3685681 HAS SOPS 3685681 HAS SOUS 1947300 HAS SOUPS 1947300 WITH SCORE 1950985.681
AT ITER 5737 NEW BEST:: SOT 15480057 SOS 3685387 HAS SOPS 3685387 HAS SOUS 1947006 HAS SOUPS 1947006 WITH SCORE 1950691.387
AT ITER 5749 NEW BEST:: SOT 15480057 SOS 3685387 HAS SOPS 3685387 HAS SOUS 1947005 HAS SOUPS 1947005 WITH SCORE 1950690.387
AT ITER 5784 NEW BEST:: SOT 15480057 SOS 3685219 HAS SOPS 3685219 HAS SOUS 1946949 HAS SOUPS 1946949 WITH SCORE 1950634.219
AT ITER 5785 NEW BEST:: SOT 15480074 SOS 3684134 HAS SOPS 3684134 HAS SOUS 1946601 HAS SOUPS 1946601 WITH SCORE 1950285.134
AT ITER 5809 NEW BEST:: SOT 15480074 SOS 3683934 HAS SOPS 3683934 HAS SOUS 1946401 HAS SOUPS 1946401 WITH SCORE 1950084.934
AT ITER 5819 NEW BEST:: SOT 15479841 SOS 3683468 HAS SOPS 3683468 HAS SOUS 1946169 HAS SOUPS 1946169 WITH SCORE 1949852.468
AT ITER 5820 NEW BEST:: SOT 15479667 SOS 3683120 HAS SOPS 3683120 HAS SOUS 1945809 HAS SOUPS 1945809 WITH SCORE 1949492.12
AT ITER 5826 NEW BEST:: SOT 15478621 SOS 3683686 HAS SOPS 3683686 HAS SOUS 1945795 HAS SOUPS 1945795 WITH SCORE 1949478.686
AT ITER 5855 NEW BEST:: SOT 15476158 SOS 3681340 HAS SOPS 3681340 HAS SOUS 1945178 HAS SOUPS 1945178 WITH SCORE 1948859.34
AT ITER 5856 NEW BEST:: SOT 15476097 SOS 3681218 HAS SOPS 3681218 HAS SOUS 1945056 HAS SOUPS 1945056 WITH SCORE 1948737.218
AT ITER 5857 NEW BEST:: SOT 15476280 SOS 3680938 HAS SOPS 3680938 HAS SOUS 1944916 HAS SOUPS 1944916 WITH SCORE 1948596.938
AT ITER 5859 NEW BEST:: SOT 15476072 SOS 3680522 HAS SOPS 3680522 HAS SOUS 1944708 HAS SOUPS 1944708 WITH SCORE 1948388.522
AT ITER 5864 NEW BEST:: SOT 15476072 SOS 3680521 HAS SOPS 3680521 HAS SOUS 1944707 HAS SOUPS 1944707 WITH SCORE 1948387.521
AT ITER 5872 NEW BEST:: SOT 15475760 SOS 3680248 HAS SOPS 3680248 HAS SOUS 1944395 HAS SOUPS 1944395 WITH SCORE 1948075.248
AT ITER 5874 NEW BEST:: SOT 15475759 SOS 3680246 HAS SOPS 3680246 HAS SOUS 1944393 HAS SOUPS 1944393 WITH SCORE 1948073.246
AT ITER 5892 NEW BEST:: SOT 15475491 SOS 3680260 HAS SOPS 3680260 HAS SOUS 1944265 HAS SOUPS 1944265 WITH SCORE 1947945.26
AT ITER 5903 NEW BEST:: SOT 15475454 SOS 3680223 HAS SOPS 3680223 HAS SOUS 1944228 HAS SOUPS 1944228 WITH SCORE 1947908.223
AT ITER 5905 NEW BEST:: SOT 15475331 SOS 3679977 HAS SOPS 3679977 HAS SOUS 1943982 HAS SOUPS 1943982 WITH SCORE 1947661.977
AT ITER 5922 NEW BEST:: SOT 15474733 SOS 3679080 HAS SOPS 3679080 HAS SOUS 1943085 HAS SOUPS 1943085 WITH SCORE 1946764.08
AT ITER 5939 NEW BEST:: SOT 15474618 SOS 3679015 HAS SOPS 3679015 HAS SOUS 1943020 HAS SOUPS 1943020 WITH SCORE 1946699.015
AT ITER 5951 NEW BEST:: SOT 15474618 SOS 3679005 HAS SOPS 3679005 HAS SOUS 1943019 HAS SOUPS 1943019 WITH SCORE 1946698.005
AT ITER 5971 NEW BEST:: SOT 15475020 SOS 3679053 HAS SOPS 3679053 HAS SOUS 1942614 HAS SOUPS 1942614 WITH SCORE 1946293.053
AT ITER 5978 NEW BEST:: SOT 15474603 SOS 3678676 HAS SOPS 3678676 HAS SOUS 1942237 HAS SOUPS 1942237 WITH SCORE 1945915.676
AT ITER 5986 NEW BEST:: SOT 15474603 SOS 3677242 HAS SOPS 3677242 HAS SOUS 1942237 HAS SOUPS 1942237 WITH SCORE 1945914.242
AT ITER 5999 NEW BEST:: SOT 15474413 SOS 3677242 HAS SOPS 3677242 HAS SOUS 1942236 HAS SOUPS 1942236 WITH SCORE 1945913.242
AT ITER 6093 NEW BEST:: SOT 15473993 SOS 3676822 HAS SOPS 3676822 HAS SOUS 1941816 HAS SOUPS 1941816 WITH SCORE 1945492.822
AT ITER 6104 NEW BEST:: SOT 15473993 SOS 3676822 HAS SOPS 3676822 HAS SOUS 1941815 HAS SOUPS 1941815 WITH SCORE 1945491.822
AT ITER 6132 NEW BEST:: SOT 15473495 SOS 3676593 HAS SOPS 3676593 HAS SOUS 1941399 HAS SOUPS 1941399 WITH SCORE 1945075.593
AT ITER 6160 NEW BEST:: SOT 15473491 SOS 3676585 HAS SOPS 3676585 HAS SOUS 1941391 HAS SOUPS 1941391 WITH SCORE 1945067.585
AT ITER 6181 NEW BEST:: SOT 15473305 SOS 3676395 HAS SOPS 3676395 HAS SOUS 1941030 HAS SOUPS 1941030 WITH SCORE 1944706.395
AT ITER 6195 NEW BEST:: SOT 15473305 SOS 3676394 HAS SOPS 3676394 HAS SOUS 1941029 HAS SOUPS 1941029 WITH SCORE 1944705.394
AT ITER 6220 NEW BEST:: SOT 15473607 SOS 3675990 HAS SOPS 3675990 HAS SOUS 1940977 HAS SOUPS 1940977 WITH SCORE 1944652.99
AT ITER 6224 NEW BEST:: SOT 15473388 SOS 3675552 HAS SOPS 3675552 HAS SOUS 1940757 HAS SOUPS 1940757 WITH SCORE 1944432.552
AT ITER 6226 NEW BEST:: SOT 15473169 SOS 3675114 HAS SOPS 3675114 HAS SOUS 1940319 HAS SOUPS 1940319 WITH SCORE 1943994.114
AT ITER 6231 NEW BEST:: SOT 15470309 SOS 3671968 HAS SOPS 3671968 HAS SOUS 1939178 HAS SOUPS 1939178 WITH SCORE 1942849.968
AT ITER 6238 NEW BEST:: SOT 15469724 SOS 3671464 HAS SOPS 3671464 HAS SOUS 1938659 HAS SOUPS 1938659 WITH SCORE 1942330.464
AT ITER 6246 NEW BEST:: SOT 15469724 SOS 3670624 HAS SOPS 3670624 HAS SOUS 1938379 HAS SOUPS 1938379 WITH SCORE 1942049.624
AT ITER 6259 NEW BEST:: SOT 15469524 SOS 3667332 HAS SOPS 3667332 HAS SOUS 1938076 HAS SOUPS 1938076 WITH SCORE 1941743.332
AT ITER 6260 NEW BEST:: SOT 15469524 SOS 3667332 HAS SOPS 3667332 HAS SOUS 1937806 HAS SOUPS 1937806 WITH SCORE 1941473.332
AT ITER 6269 NEW BEST:: SOT 15469524 SOS 3667313 HAS SOPS 3667313 HAS SOUS 1937787 HAS SOUPS 1937787 WITH SCORE 1941454.313
AT ITER 6343 NEW BEST:: SOT 15469011 SOS 3667727 HAS SOPS 3667727 HAS SOUS 1937754 HAS SOUPS 1937754 WITH SCORE 1941421.727
AT ITER 6359 NEW BEST:: SOT 15469011 SOS 3667491 HAS SOPS 3667491 HAS SOUS 1937518 HAS SOUPS 1937518 WITH SCORE 1941185.491
AT ITER 6360 NEW BEST:: SOT 15469011 SOS 3667456 HAS SOPS 3667456 HAS SOUS 1937334 HAS SOUPS 1937334 WITH SCORE 1941001.456
AT ITER 6396 NEW BEST:: SOT 15467928 SOS 3664603 HAS SOPS 3664603 HAS SOUS 1934661 HAS SOUPS 1934661 WITH SCORE 1938325.603
AT ITER 6415 NEW BEST:: SOT 15467674 SOS 3664095 HAS SOPS 3664095 HAS SOUS 1934661 HAS SOUPS 1934661 WITH SCORE 1938325.095
AT ITER 6424 NEW BEST:: SOT 15467898 SOS 3663021 HAS SOPS 3663021 HAS SOUS 1934511 HAS SOUPS 1934511 WITH SCORE 1938174.021
AT ITER 6434 NEW BEST:: SOT 15467115 SOS 3654408 HAS SOPS 3654408 HAS SOUS 1932945 HAS SOUPS 1932945 WITH SCORE 1936599.408
AT ITER 6472 NEW BEST:: SOT 15467004 SOS 3654297 HAS SOPS 3654297 HAS SOUS 1932834 HAS SOUPS 1932834 WITH SCORE 1936488.297
AT ITER 6480 NEW BEST:: SOT 15466905 SOS 3654099 HAS SOPS 3654099 HAS SOUS 1932734 HAS SOUPS 1932734 WITH SCORE 1936388.099
AT ITER 6481 NEW BEST:: SOT 15466776 SOS 3655131 HAS SOPS 3655131 HAS SOUS 1932605 HAS SOUPS 1932605 WITH SCORE 1936260.131
AT ITER 6508 NEW BEST:: SOT 15466656 SOS 3654891 HAS SOPS 3654891 HAS SOUS 1932365 HAS SOUPS 1932365 WITH SCORE 1936019.891
AT ITER 6567 NEW BEST:: SOT 15466641 SOS 3654696 HAS SOPS 3654696 HAS SOUS 1932335 HAS SOUPS 1932335 WITH SCORE 1935989.696
AT ITER 6582 NEW BEST:: SOT 15466640 SOS 3654694 HAS SOPS 3654694 HAS SOUS 1932333 HAS SOUPS 1932333 WITH SCORE 1935987.694
AT ITER 6584 NEW BEST:: SOT 15466640 SOS 3656087 HAS SOPS 3656087 HAS SOUS 1932322 HAS SOUPS 1932322 WITH SCORE 1935978.087
AT ITER 6615 NEW BEST:: SOT 15466639 SOS 3649047 HAS SOPS 3649047 HAS SOUS 1932320 HAS SOUPS 1932320 WITH SCORE 1935969.047
AT ITER 6650 NEW BEST:: SOT 15466394 SOS 3648557 HAS SOPS 3648557 HAS SOUS 1931830 HAS SOUPS 1931830 WITH SCORE 1935478.557
AT ITER 6653 NEW BEST:: SOT 15466390 SOS 3648549 HAS SOPS 3648549 HAS SOUS 1931822 HAS SOUPS 1931822 WITH SCORE 1935470.549
AT ITER 6685 NEW BEST:: SOT 15465215 SOS 3648467 HAS SOPS 3648467 HAS SOUS 1931743 HAS SOUPS 1931743 WITH SCORE 1935391.467
AT ITER 6727 NEW BEST:: SOT 15465106 SOS 3647088 HAS SOPS 3647088 HAS SOUS 1931525 HAS SOUPS 1931525 WITH SCORE 1935172.088
AT ITER 6753 NEW BEST:: SOT 15465048 SOS 3646822 HAS SOPS 3646822 HAS SOUS 1931259 HAS SOUPS 1931259 WITH SCORE 1934905.822
AT ITER 6756 NEW BEST:: SOT 15464685 SOS 3646096 HAS SOPS 3646096 HAS SOUS 1930994 HAS SOUPS 1930994 WITH SCORE 1934640.096
AT ITER 6761 NEW BEST:: SOT 15465530 SOS 3650185 HAS SOPS 3650185 HAS SOUS 1930926 HAS SOUPS 1930926 WITH SCORE 1934576.185
AT ITER 6768 NEW BEST:: SOT 15465237 SOS 3649599 HAS SOPS 3649599 HAS SOUS 1930340 HAS SOUPS 1930340 WITH SCORE 1933989.599
AT ITER 6794 NEW BEST:: SOT 15465460 SOS 3649533 HAS SOPS 3649533 HAS SOUS 1930274 HAS SOUPS 1930274 WITH SCORE 1933923.533
AT ITER 6796 NEW BEST:: SOT 15465075 SOS 3649148 HAS SOPS 3649148 HAS SOUS 1929889 HAS SOUPS 1929889 WITH SCORE 1933538.148
AT ITER 6812 NEW BEST:: SOT 15464898 SOS 3648971 HAS SOPS 3648971 HAS SOUS 1929712 HAS SOUPS 1929712 WITH SCORE 1933360.971
AT ITER 6863 NEW BEST:: SOT 15465123 SOS 3648676 HAS SOPS 3648676 HAS SOUS 1929417 HAS SOUPS 1929417 WITH SCORE 1933065.676
AT ITER 6875 NEW BEST:: SOT 15465123 SOS 3648219 HAS SOPS 3648219 HAS SOUS 1928960 HAS SOUPS 1928960 WITH SCORE 1932608.219
AT ITER 6876 NEW BEST:: SOT 15465123 SOS 3648340 HAS SOPS 3648340 HAS SOUS 1928727 HAS SOUPS 1928727 WITH SCORE 1932375.34
AT ITER 6881 NEW BEST:: SOT 15465121 SOS 3648336 HAS SOPS 3648336 HAS SOUS 1928723 HAS SOUPS 1928723 WITH SCORE 1932371.336
AT ITER 6915 NEW BEST:: SOT 15465121 SOS 3648336 HAS SOPS 3648336 HAS SOUS 1928310 HAS SOUPS 1928310 WITH SCORE 1931958.336
AT ITER 6918 NEW BEST:: SOT 15465121 SOS 3646698 HAS SOPS 3646698 HAS SOUS 1928310 HAS SOUPS 1928310 WITH SCORE 1931956.698
AT ITER 6919 NEW BEST:: SOT 15463852 SOS 3646254 HAS SOPS 3646254 HAS SOUS 1927671 HAS SOUPS 1927671 WITH SCORE 1931317.254
AT ITER 6925 NEW BEST:: SOT 15464376 SOS 3646117 HAS SOPS 3646117 HAS SOUS 1927356 HAS SOUPS 1927356 WITH SCORE 1931002.117
AT ITER 6928 NEW BEST:: SOT 15464296 SOS 3644775 HAS SOPS 3644775 HAS SOUS 1926685 HAS SOUPS 1926685 WITH SCORE 1930329.775
AT ITER 6996 NEW BEST:: SOT 15464296 SOS 3644717 HAS SOPS 3644717 HAS SOUS 1926627 HAS SOUPS 1926627 WITH SCORE 1930271.717
AT ITER 7002 NEW BEST:: SOT 15464296 SOS 3645346 HAS SOPS 3645346 HAS SOUS 1926626 HAS SOUPS 1926626 WITH SCORE 1930271.346
AT ITER 7008 NEW BEST:: SOT 15464296 SOS 3645346 HAS SOPS 3645346 HAS SOUS 1926181 HAS SOUPS 1926181 WITH SCORE 1929826.346
AT ITER 7055 NEW BEST:: SOT 15464062 SOS 3646984 HAS SOPS 3646984 HAS SOUS 1925713 HAS SOUPS 1925713 WITH SCORE 1929359.984
AT ITER 7082 NEW BEST:: SOT 15464062 SOS 3646974 HAS SOPS 3646974 HAS SOUS 1925550 HAS SOUPS 1925550 WITH SCORE 1929196.974
AT ITER 7103 NEW BEST:: SOT 15464357 SOS 3645662 HAS SOPS 3645662 HAS SOUS 1925358 HAS SOUPS 1925358 WITH SCORE 1929003.662
AT ITER 7146 NEW BEST:: SOT 15464128 SOS 3645433 HAS SOPS 3645433 HAS SOUS 1925129 HAS SOUPS 1925129 WITH SCORE 1928774.433
AT ITER 7157 NEW BEST:: SOT 15463825 SOS 3645537 HAS SOPS 3645537 HAS SOUS 1925112 HAS SOUPS 1925112 WITH SCORE 1928757.537
AT ITER 7206 NEW BEST:: SOT 15463825 SOS 3645537 HAS SOPS 3645537 HAS SOUS 1924733 HAS SOUPS 1924733 WITH SCORE 1928378.537
AT ITER 7325 NEW BEST:: SOT 15463825 SOS 3645537 HAS SOPS 3645537 HAS SOUS 1924652 HAS SOUPS 1924652 WITH SCORE 1928297.537
AT ITER 7358 NEW BEST:: SOT 15463832 SOS 3645551 HAS SOPS 3645551 HAS SOUS 1924602 HAS SOUPS 1924602 WITH SCORE 1928247.551
AT ITER 7378 NEW BEST:: SOT 15463832 SOS 3644801 HAS SOPS 3644801 HAS SOUS 1924456 HAS SOUPS 1924456 WITH SCORE 1928100.801
AT ITER 7419 NEW BEST:: SOT 15463723 SOS 3644387 HAS SOPS 3644387 HAS SOUS 1924042 HAS SOUPS 1924042 WITH SCORE 1927686.387
AT ITER 7420 NEW BEST:: SOT 15463722 SOS 3644385 HAS SOPS 3644385 HAS SOUS 1924040 HAS SOUPS 1924040 WITH SCORE 1927684.385
AT ITER 7431 NEW BEST:: SOT 15462840 SOS 3642621 HAS SOPS 3642621 HAS SOUS 1922693 HAS SOUPS 1922693 WITH SCORE 1926335.621
AT ITER 7439 NEW BEST:: SOT 15462714 SOS 3642491 HAS SOPS 3642491 HAS SOUS 1922566 HAS SOUPS 1922566 WITH SCORE 1926208.491
AT ITER 7453 NEW BEST:: SOT 15462697 SOS 3642440 HAS SOPS 3642440 HAS SOUS 1922549 HAS SOUPS 1922549 WITH SCORE 1926191.44
AT ITER 7474 NEW BEST:: SOT 15462522 SOS 3643422 HAS SOPS 3643422 HAS SOUS 1921992 HAS SOUPS 1921992 WITH SCORE 1925635.422
AT ITER 7512 NEW BEST:: SOT 15460466 SOS 3644298 HAS SOPS 3644298 HAS SOUS 1920241 HAS SOUPS 1920241 WITH SCORE 1923885.298
AT ITER 7515 NEW BEST:: SOT 15459700 SOS 3643276 HAS SOPS 3643276 HAS SOUS 1919219 HAS SOUPS 1919219 WITH SCORE 1922862.276
AT ITER 7528 NEW BEST:: SOT 15458901 SOS 3642501 HAS SOPS 3642501 HAS SOUS 1917621 HAS SOUPS 1917621 WITH SCORE 1921263.501
AT ITER 7538 NEW BEST:: SOT 15458873 SOS 3642445 HAS SOPS 3642445 HAS SOUS 1917593 HAS SOUPS 1917593 WITH SCORE 1921235.445
AT ITER 7549 NEW BEST:: SOT 15458516 SOS 3642802 HAS SOPS 3642802 HAS SOUS 1917236 HAS SOUPS 1917236 WITH SCORE 1920878.802
AT ITER 7577 NEW BEST:: SOT 15458504 SOS 3642752 HAS SOPS 3642752 HAS SOUS 1917211 HAS SOUPS 1917211 WITH SCORE 1920853.752
AT ITER 7585 NEW BEST:: SOT 15458089 SOS 3643006 HAS SOPS 3643006 HAS SOUS 1916999 HAS SOUPS 1916999 WITH SCORE 1920642.006
AT ITER 7587 NEW BEST:: SOT 15457902 SOS 3642632 HAS SOPS 3642632 HAS SOUS 1916625 HAS SOUPS 1916625 WITH SCORE 1920267.632
AT ITER 7598 NEW BEST:: SOT 15457808 SOS 3642538 HAS SOPS 3642538 HAS SOUS 1916531 HAS SOUPS 1916531 WITH SCORE 1920173.538
AT ITER 7641 NEW BEST:: SOT 15457452 SOS 3638266 HAS SOPS 3638266 HAS SOUS 1915463 HAS SOUPS 1915463 WITH SCORE 1919101.266
AT ITER 7651 NEW BEST:: SOT 15457452 SOS 3637948 HAS SOPS 3637948 HAS SOUS 1915463 HAS SOUPS 1915463 WITH SCORE 1919100.948
AT ITER 7671 NEW BEST:: SOT 15457451 SOS 3637946 HAS SOPS 3637946 HAS SOUS 1915461 HAS SOUPS 1915461 WITH SCORE 1919098.946
AT ITER 7703 NEW BEST:: SOT 15457430 SOS 3637904 HAS SOPS 3637904 HAS SOUS 1915419 HAS SOUPS 1915419 WITH SCORE 1919056.904
AT ITER 7713 NEW BEST:: SOT 15456293 SOS 3636362 HAS SOPS 3636362 HAS SOUS 1913859 HAS SOUPS 1913859 WITH SCORE 1917495.362
AT ITER 7723 NEW BEST:: SOT 15456261 SOS 3636298 HAS SOPS 3636298 HAS SOUS 1913827 HAS SOUPS 1913827 WITH SCORE 1917463.298
AT ITER 7731 NEW BEST:: SOT 15456255 SOS 3636286 HAS SOPS 3636286 HAS SOUS 1913815 HAS SOUPS 1913815 WITH SCORE 1917451.286
AT ITER 7732 NEW BEST:: SOT 15456563 SOS 3637356 HAS SOPS 3637356 HAS SOUS 1913773 HAS SOUPS 1913773 WITH SCORE 1917410.356
AT ITER 7740 NEW BEST:: SOT 15456432 SOS 3636832 HAS SOPS 3636832 HAS SOUS 1913511 HAS SOUPS 1913511 WITH SCORE 1917147.832
AT ITER 7755 NEW BEST:: SOT 15456047 SOS 3636062 HAS SOPS 3636062 HAS SOUS 1912741 HAS SOUPS 1912741 WITH SCORE 1916377.062
AT ITER 7778 NEW BEST:: SOT 15456047 SOS 3635854 HAS SOPS 3635854 HAS SOUS 1912637 HAS SOUPS 1912637 WITH SCORE 1916272.854
AT ITER 7801 NEW BEST:: SOT 15455305 SOS 3635112 HAS SOPS 3635112 HAS SOUS 1911879 HAS SOUPS 1911879 WITH SCORE 1915514.112
AT ITER 7807 NEW BEST:: SOT 15455305 SOS 3634176 HAS SOPS 3634176 HAS SOUS 1911878 HAS SOUPS 1911878 WITH SCORE 1915512.176
AT ITER 7819 NEW BEST:: SOT 15455284 SOS 3634134 HAS SOPS 3634134 HAS SOUS 1911836 HAS SOUPS 1911836 WITH SCORE 1915470.134
AT ITER 7824 NEW BEST:: SOT 15455128 SOS 3634056 HAS SOPS 3634056 HAS SOUS 1911680 HAS SOUPS 1911680 WITH SCORE 1915314.056
AT ITER 7905 NEW BEST:: SOT 15455084 SOS 3634039 HAS SOPS 3634039 HAS SOUS 1911663 HAS SOUPS 1911663 WITH SCORE 1915297.039
AT ITER 7920 NEW BEST:: SOT 15455013 SOS 3633755 HAS SOPS 3633755 HAS SOUS 1911521 HAS SOUPS 1911521 WITH SCORE 1915154.755
AT ITER 7970 NEW BEST:: SOT 15454654 SOS 3633639 HAS SOPS 3633639 HAS SOUS 1911180 HAS SOUPS 1911180 WITH SCORE 1914813.639
AT ITER 7981 NEW BEST:: SOT 15454654 SOS 3634341 HAS SOPS 3634341 HAS SOUS 1911102 HAS SOUPS 1911102 WITH SCORE 1914736.341
AT ITER 8015 NEW BEST:: SOT 15454334 SOS 3633701 HAS SOPS 3633701 HAS SOUS 1910462 HAS SOUPS 1910462 WITH SCORE 1914095.701
AT ITER 8032 NEW BEST:: SOT 15453401 SOS 3633701 HAS SOPS 3633701 HAS SOUS 1909045 HAS SOUPS 1909045 WITH SCORE 1912678.701
AT ITER 8040 NEW BEST:: SOT 15452937 SOS 3632773 HAS SOPS 3632773 HAS SOUS 1908117 HAS SOUPS 1908117 WITH SCORE 1911749.773
AT ITER 8047 NEW BEST:: SOT 15453099 SOS 3633097 HAS SOPS 3633097 HAS SOUS 1907839 HAS SOUPS 1907839 WITH SCORE 1911472.097
AT ITER 8063 NEW BEST:: SOT 15452925 SOS 3633010 HAS SOPS 3633010 HAS SOUS 1907752 HAS SOUPS 1907752 WITH SCORE 1911385.01
AT ITER 8069 NEW BEST:: SOT 15452925 SOS 3634008 HAS SOPS 3634008 HAS SOUS 1907385 HAS SOUPS 1907385 WITH SCORE 1911019.008
AT ITER 8082 NEW BEST:: SOT 15452925 SOS 3634687 HAS SOPS 3634687 HAS SOUS 1907384 HAS SOUPS 1907384 WITH SCORE 1911018.687
AT ITER 8095 NEW BEST:: SOT 15452965 SOS 3636611 HAS SOPS 3636611 HAS SOUS 1907036 HAS SOUPS 1907036 WITH SCORE 1910672.611
AT ITER 8127 NEW BEST:: SOT 15452783 SOS 3636520 HAS SOPS 3636520 HAS SOUS 1906945 HAS SOUPS 1906945 WITH SCORE 1910581.52
AT ITER 8135 NEW BEST:: SOT 15452153 SOS 3635890 HAS SOPS 3635890 HAS SOUS 1906315 HAS SOUPS 1906315 WITH SCORE 1909950.89
AT ITER 8155 NEW BEST:: SOT 15452153 SOS 3635890 HAS SOPS 3635890 HAS SOUS 1906309 HAS SOUPS 1906309 WITH SCORE 1909944.89
AT ITER 8221 NEW BEST:: SOT 15451757 SOS 3635494 HAS SOPS 3635494 HAS SOUS 1905913 HAS SOUPS 1905913 WITH SCORE 1909548.494
AT ITER 8260 NEW BEST:: SOT 15451625 SOS 3636010 HAS SOPS 3636010 HAS SOUS 1905781 HAS SOUPS 1905781 WITH SCORE 1909417.01
AT ITER 8269 NEW BEST:: SOT 15451089 SOS 3635282 HAS SOPS 3635282 HAS SOUS 1905335 HAS SOUPS 1905335 WITH SCORE 1908970.282
AT ITER 8270 NEW BEST:: SOT 15451089 SOS 3635908 HAS SOPS 3635908 HAS SOUS 1904917 HAS SOUPS 1904917 WITH SCORE 1908552.908
AT ITER 8287 NEW BEST:: SOT 15451111 SOS 3635587 HAS SOPS 3635587 HAS SOUS 1904596 HAS SOUPS 1904596 WITH SCORE 1908231.587
AT ITER 8304 NEW BEST:: SOT 15451077 SOS 3635553 HAS SOPS 3635553 HAS SOUS 1904562 HAS SOUPS 1904562 WITH SCORE 1908197.553
AT ITER 8316 NEW BEST:: SOT 15451077 SOS 3636415 HAS SOPS 3636415 HAS SOUS 1904560 HAS SOUPS 1904560 WITH SCORE 1908196.415
AT ITER 8332 NEW BEST:: SOT 15451077 SOS 3636520 HAS SOPS 3636520 HAS SOUS 1904521 HAS SOUPS 1904521 WITH SCORE 1908157.52
AT ITER 8343 NEW BEST:: SOT 15451380 SOS 3637126 HAS SOPS 3637126 HAS SOUS 1903756 HAS SOUPS 1903756 WITH SCORE 1907393.126
AT ITER 8383 NEW BEST:: SOT 15451379 SOS 3637124 HAS SOPS 3637124 HAS SOUS 1903754 HAS SOUPS 1903754 WITH SCORE 1907391.124
AT ITER 8407 NEW BEST:: SOT 15451379 SOS 3635798 HAS SOPS 3635798 HAS SOUS 1903753 HAS SOUPS 1903753 WITH SCORE 1907388.798
AT ITER 8429 NEW BEST:: SOT 15451226 SOS 3636182 HAS SOPS 3636182 HAS SOUS 1903600 HAS SOUPS 1903600 WITH SCORE 1907236.182
AT ITER 8444 NEW BEST:: SOT 15449952 SOS 3635216 HAS SOPS 3635216 HAS SOUS 1902634 HAS SOUPS 1902634 WITH SCORE 1906269.216
AT ITER 8450 NEW BEST:: SOT 15449731 SOS 3635132 HAS SOPS 3635132 HAS SOUS 1902550 HAS SOUPS 1902550 WITH SCORE 1906185.132
AT ITER 8455 NEW BEST:: SOT 15449085 SOS 3637026 HAS SOPS 3637026 HAS SOUS 1902158 HAS SOUPS 1902158 WITH SCORE 1905795.026
AT ITER 8481 NEW BEST:: SOT 15448926 SOS 3636549 HAS SOPS 3636549 HAS SOUS 1901840 HAS SOUPS 1901840 WITH SCORE 1905476.549
AT ITER 8485 NEW BEST:: SOT 15448769 SOS 3636235 HAS SOPS 3636235 HAS SOUS 1901526 HAS SOUPS 1901526 WITH SCORE 1905162.235
AT ITER 8496 NEW BEST:: SOT 15448647 SOS 3636174 HAS SOPS 3636174 HAS SOUS 1901465 HAS SOUPS 1901465 WITH SCORE 1905101.174
AT ITER 8503 NEW BEST:: SOT 15448647 SOS 3635935 HAS SOPS 3635935 HAS SOUS 1901465 HAS SOUPS 1901465 WITH SCORE 1905100.935
AT ITER 8508 NEW BEST:: SOT 15448222 SOS 3639929 HAS SOPS 3639929 HAS SOUS 1900208 HAS SOUPS 1900208 WITH SCORE 1903847.929
AT ITER 8518 NEW BEST:: SOT 15445357 SOS 3637639 HAS SOPS 3637639 HAS SOUS 1897411 HAS SOUPS 1897411 WITH SCORE 1901048.639
AT ITER 8522 NEW BEST:: SOT 15445403 SOS 3638950 HAS SOPS 3638950 HAS SOUS 1897376 HAS SOUPS 1897376 WITH SCORE 1901014.95
AT ITER 8536 NEW BEST:: SOT 15445047 SOS 3638594 HAS SOPS 3638594 HAS SOUS 1897020 HAS SOUPS 1897020 WITH SCORE 1900658.594
AT ITER 8552 NEW BEST:: SOT 15444747 SOS 3638477 HAS SOPS 3638477 HAS SOUS 1896420 HAS SOUPS 1896420 WITH SCORE 1900058.477
AT ITER 8589 NEW BEST:: SOT 15444747 SOS 3638255 HAS SOPS 3638255 HAS SOUS 1896420 HAS SOUPS 1896420 WITH SCORE 1900058.255
AT ITER 8609 NEW BEST:: SOT 15444043 SOS 3637884 HAS SOPS 3637884 HAS SOUS 1896049 HAS SOUPS 1896049 WITH SCORE 1899686.884
AT ITER 8623 NEW BEST:: SOT 15443789 SOS 3637880 HAS SOPS 3637880 HAS SOUS 1895540 HAS SOUPS 1895540 WITH SCORE 1899177.88
AT ITER 8628 NEW BEST:: SOT 15443703 SOS 3636532 HAS SOPS 3636532 HAS SOUS 1895452 HAS SOUPS 1895452 WITH SCORE 1899088.532
AT ITER 8646 NEW BEST:: SOT 15443703 SOS 3635770 HAS SOPS 3635770 HAS SOUS 1895452 HAS SOUPS 1895452 WITH SCORE 1899087.77
AT ITER 8679 NEW BEST:: SOT 15443789 SOS 3637041 HAS SOPS 3637041 HAS SOUS 1895384 HAS SOUPS 1895384 WITH SCORE 1899021.041
AT ITER 8682 NEW BEST:: SOT 15443740 SOS 3636992 HAS SOPS 3636992 HAS SOUS 1895335 HAS SOUPS 1895335 WITH SCORE 1898971.992
AT ITER 8697 NEW BEST:: SOT 15442750 SOS 3633886 HAS SOPS 3633886 HAS SOUS 1893278 HAS SOUPS 1893278 WITH SCORE 1896911.886
AT ITER 8710 NEW BEST:: SOT 15442740 SOS 3633836 HAS SOPS 3633836 HAS SOUS 1893258 HAS SOUPS 1893258 WITH SCORE 1896891.836
AT ITER 8780 NEW BEST:: SOT 15442740 SOS 3633326 HAS SOPS 3633326 HAS SOUS 1893258 HAS SOUPS 1893258 WITH SCORE 1896891.326
AT ITER 8781 NEW BEST:: SOT 15442711 SOS 3633273 HAS SOPS 3633273 HAS SOUS 1893205 HAS SOUPS 1893205 WITH SCORE 1896838.273
AT ITER 8799 NEW BEST:: SOT 15442743 SOS 3633595 HAS SOPS 3633595 HAS SOUS 1893140 HAS SOUPS 1893140 WITH SCORE 1896773.595
AT ITER 8800 NEW BEST:: SOT 15442757 SOS 3632627 HAS SOPS 3632627 HAS SOUS 1892836 HAS SOUPS 1892836 WITH SCORE 1896468.627
AT ITER 8816 NEW BEST:: SOT 15442757 SOS 3631756 HAS SOPS 3631756 HAS SOUS 1892836 HAS SOUPS 1892836 WITH SCORE 1896467.756
AT ITER 8833 NEW BEST:: SOT 15442756 SOS 3631754 HAS SOPS 3631754 HAS SOUS 1892834 HAS SOUPS 1892834 WITH SCORE 1896465.754
AT ITER 8879 NEW BEST:: SOT 15442716 SOS 3631714 HAS SOPS 3631714 HAS SOUS 1892794 HAS SOUPS 1892794 WITH SCORE 1896425.714
AT ITER 8882 NEW BEST:: SOT 15442682 SOS 3631942 HAS SOPS 3631942 HAS SOUS 1892782 HAS SOUPS 1892782 WITH SCORE 1896413.942
AT ITER 8885 NEW BEST:: SOT 15441732 SOS 3631604 HAS SOPS 3631604 HAS SOUS 1892003 HAS SOUPS 1892003 WITH SCORE 1895634.604
AT ITER 8938 NEW BEST:: SOT 15441535 SOS 3631210 HAS SOPS 3631210 HAS SOUS 1891398 HAS SOUPS 1891398 WITH SCORE 1895029.21
AT ITER 8963 NEW BEST:: SOT 15440803 SOS 3629746 HAS SOPS 3629746 HAS SOUS 1889934 HAS SOUPS 1889934 WITH SCORE 1893563.746
AT ITER 8997 NEW BEST:: SOT 15440803 SOS 3628450 HAS SOPS 3628450 HAS SOUS 1889934 HAS SOUPS 1889934 WITH SCORE 1893562.45
AT ITER 9003 NEW BEST:: SOT 15440741 SOS 3628326 HAS SOPS 3628326 HAS SOUS 1889810 HAS SOUPS 1889810 WITH SCORE 1893438.326
AT ITER 9010 NEW BEST:: SOT 15440604 SOS 3629913 HAS SOPS 3629913 HAS SOUS 1889466 HAS SOUPS 1889466 WITH SCORE 1893095.913
AT ITER 9011 NEW BEST:: SOT 15440360 SOS 3629576 HAS SOPS 3629576 HAS SOUS 1889129 HAS SOUPS 1889129 WITH SCORE 1892758.576
AT ITER 9034 NEW BEST:: SOT 15440136 SOS 3629098 HAS SOPS 3629098 HAS SOUS 1888281 HAS SOUPS 1888281 WITH SCORE 1891910.098
AT ITER 9054 NEW BEST:: SOT 15440035 SOS 3628896 HAS SOPS 3628896 HAS SOUS 1888061 HAS SOUPS 1888061 WITH SCORE 1891689.896
AT ITER 9059 NEW BEST:: SOT 15440016 SOS 3628146 HAS SOPS 3628146 HAS SOUS 1888023 HAS SOUPS 1888023 WITH SCORE 1891651.146
AT ITER 9084 NEW BEST:: SOT 15439551 SOS 3627216 HAS SOPS 3627216 HAS SOUS 1887534 HAS SOUPS 1887534 WITH SCORE 1891161.216
AT ITER 9089 NEW BEST:: SOT 15439372 SOS 3627332 HAS SOPS 3627332 HAS SOUS 1887482 HAS SOUPS 1887482 WITH SCORE 1891109.332
AT ITER 9097 NEW BEST:: SOT 15439216 SOS 3627020 HAS SOPS 3627020 HAS SOUS 1887326 HAS SOUPS 1887326 WITH SCORE 1890953.02
AT ITER 9113 NEW BEST:: SOT 15439130 SOS 3626848 HAS SOPS 3626848 HAS SOUS 1887240 HAS SOUPS 1887240 WITH SCORE 1890866.848
AT ITER 9115 NEW BEST:: SOT 15439080 SOS 3626748 HAS SOPS 3626748 HAS SOUS 1887140 HAS SOUPS 1887140 WITH SCORE 1890766.748
AT ITER 9121 NEW BEST:: SOT 15438775 SOS 3626482 HAS SOPS 3626482 HAS SOUS 1886851 HAS SOUPS 1886851 WITH SCORE 1890477.482
AT ITER 9138 NEW BEST:: SOT 15438411 SOS 3626118 HAS SOPS 3626118 HAS SOUS 1886487 HAS SOUPS 1886487 WITH SCORE 1890113.118
AT ITER 9157 NEW BEST:: SOT 15438411 SOS 3625695 HAS SOPS 3625695 HAS SOUS 1886487 HAS SOUPS 1886487 WITH SCORE 1890112.695
AT ITER 9171 NEW BEST:: SOT 15438077 SOS 3625729 HAS SOPS 3625729 HAS SOUS 1886441 HAS SOUPS 1886441 WITH SCORE 1890066.729
AT ITER 9205 NEW BEST:: SOT 15437998 SOS 3625571 HAS SOPS 3625571 HAS SOUS 1886283 HAS SOUPS 1886283 WITH SCORE 1889908.571
AT ITER 9222 NEW BEST:: SOT 15437494 SOS 3624659 HAS SOPS 3624659 HAS SOUS 1885677 HAS SOUPS 1885677 WITH SCORE 1889301.659
AT ITER 9223 NEW BEST:: SOT 15437023 SOS 3624188 HAS SOPS 3624188 HAS SOUS 1885206 HAS SOUPS 1885206 WITH SCORE 1888830.188
AT ITER 9231 NEW BEST:: SOT 15437023 SOS 3624111 HAS SOPS 3624111 HAS SOUS 1885129 HAS SOUPS 1885129 WITH SCORE 1888753.111
AT ITER 9266 NEW BEST:: SOT 15436891 SOS 3623847 HAS SOPS 3623847 HAS SOUS 1884865 HAS SOUPS 1884865 WITH SCORE 1888488.847
AT ITER 9314 NEW BEST:: SOT 15436866 SOS 3623797 HAS SOPS 3623797 HAS SOUS 1884840 HAS SOUPS 1884840 WITH SCORE 1888463.797
AT ITER 9319 NEW BEST:: SOT 15436812 SOS 3623757 HAS SOPS 3623757 HAS SOUS 1884803 HAS SOUPS 1884803 WITH SCORE 1888426.757
AT ITER 9364 NEW BEST:: SOT 15436812 SOS 3623757 HAS SOPS 3623757 HAS SOUS 1884781 HAS SOUPS 1884781 WITH SCORE 1888404.757
AT ITER 9371 NEW BEST:: SOT 15435329 SOS 3620791 HAS SOPS 3620791 HAS SOUS 1882802 HAS SOUPS 1882802 WITH SCORE 1886422.791
AT ITER 9372 NEW BEST:: SOT 15435253 SOS 3620762 HAS SOPS 3620762 HAS SOUS 1882773 HAS SOUPS 1882773 WITH SCORE 1886393.762
AT ITER 9376 NEW BEST:: SOT 15435184 SOS 3620624 HAS SOPS 3620624 HAS SOUS 1882635 HAS SOUPS 1882635 WITH SCORE 1886255.624
AT ITER 9383 NEW BEST:: SOT 15434491 SOS 3620151 HAS SOPS 3620151 HAS SOUS 1882058 HAS SOUPS 1882058 WITH SCORE 1885678.151
AT ITER 9414 NEW BEST:: SOT 15433810 SOS 3618789 HAS SOPS 3618789 HAS SOUS 1880334 HAS SOUPS 1880334 WITH SCORE 1883952.789
AT ITER 9421 NEW BEST:: SOT 15433783 SOS 3618708 HAS SOPS 3618708 HAS SOUS 1880280 HAS SOUPS 1880280 WITH SCORE 1883898.708
AT ITER 9435 NEW BEST:: SOT 15432192 SOS 3617957 HAS SOPS 3617957 HAS SOUS 1879061 HAS SOUPS 1879061 WITH SCORE 1882678.957
AT ITER 9441 NEW BEST:: SOT 15432192 SOS 3618438 HAS SOPS 3618438 HAS SOUS 1878820 HAS SOUPS 1878820 WITH SCORE 1882438.438
AT ITER 9485 NEW BEST:: SOT 15431947 SOS 3619247 HAS SOPS 3619247 HAS SOUS 1878329 HAS SOUPS 1878329 WITH SCORE 1881948.247
AT ITER 9502 NEW BEST:: SOT 15431708 SOS 3619043 HAS SOPS 3619043 HAS SOUS 1878089 HAS SOUPS 1878089 WITH SCORE 1881708.043
AT ITER 9511 NEW BEST:: SOT 15431658 SOS 3618843 HAS SOPS 3618843 HAS SOUS 1877989 HAS SOUPS 1877989 WITH SCORE 1881607.843
AT ITER 9522 NEW BEST:: SOT 15431248 SOS 3618833 HAS SOPS 3618833 HAS SOUS 1877832 HAS SOUPS 1877832 WITH SCORE 1881450.833
AT ITER 9525 NEW BEST:: SOT 15431200 SOS 3618737 HAS SOPS 3618737 HAS SOUS 1877736 HAS SOUPS 1877736 WITH SCORE 1881354.737
AT ITER 9542 NEW BEST:: SOT 15430776 SOS 3617178 HAS SOPS 3617178 HAS SOUS 1877239 HAS SOUPS 1877239 WITH SCORE 1880856.178
AT ITER 9554 NEW BEST:: SOT 15431039 SOS 3616717 HAS SOPS 3616717 HAS SOUS 1877152 HAS SOUPS 1877152 WITH SCORE 1880768.717
AT ITER 9615 NEW BEST:: SOT 15429524 SOS 3615491 HAS SOPS 3615491 HAS SOUS 1875637 HAS SOUPS 1875637 WITH SCORE 1879252.491
AT ITER 9619 NEW BEST:: SOT 15428848 SOS 3615491 HAS SOPS 3615491 HAS SOUS 1875259 HAS SOUPS 1875259 WITH SCORE 1878874.491
AT ITER 9630 NEW BEST:: SOT 15428848 SOS 3615302 HAS SOPS 3615302 HAS SOUS 1875196 HAS SOUPS 1875196 WITH SCORE 1878811.302
AT ITER 9661 NEW BEST:: SOT 15428847 SOS 3615300 HAS SOPS 3615300 HAS SOUS 1875194 HAS SOUPS 1875194 WITH SCORE 1878809.3
AT ITER 9717 NEW BEST:: SOT 15428585 SOS 3615058 HAS SOPS 3615058 HAS SOUS 1874952 HAS SOUPS 1874952 WITH SCORE 1878567.058
AT ITER 9720 NEW BEST:: SOT 15428498 SOS 3614987 HAS SOPS 3614987 HAS SOUS 1874881 HAS SOUPS 1874881 WITH SCORE 1878495.987
AT ITER 9737 NEW BEST:: SOT 15428498 SOS 3614987 HAS SOPS 3614987 HAS SOUS 1874653 HAS SOUPS 1874653 WITH SCORE 1878267.987
AT ITER 9752 NEW BEST:: SOT 15427983 SOS 3614731 HAS SOPS 3614731 HAS SOUS 1874396 HAS SOUPS 1874396 WITH SCORE 1878010.731
AT ITER 9784 NEW BEST:: SOT 15428072 SOS 3614909 HAS SOPS 3614909 HAS SOUS 1873965 HAS SOUPS 1873965 WITH SCORE 1877579.909
AT ITER 9811 NEW BEST:: SOT 15428048 SOS 3613679 HAS SOPS 3613679 HAS SOUS 1873916 HAS SOUPS 1873916 WITH SCORE 1877529.679
AT ITER 9827 NEW BEST:: SOT 15426065 SOS 3614689 HAS SOPS 3614689 HAS SOUS 1872478 HAS SOUPS 1872478 WITH SCORE 1876092.689
AT ITER 9894 NEW BEST:: SOT 15425712 SOS 3620273 HAS SOPS 3620273 HAS SOUS 1871771 HAS SOUPS 1871771 WITH SCORE 1875391.273
AT ITER 9901 NEW BEST:: SOT 15425689 SOS 3620227 HAS SOPS 3620227 HAS SOUS 1871723 HAS SOUPS 1871723 WITH SCORE 1875343.227
AT ITER 9920 NEW BEST:: SOT 15425689 SOS 3620184 HAS SOPS 3620184 HAS SOUS 1871680 HAS SOUPS 1871680 WITH SCORE 1875300.184
AT ITER 9955 NEW BEST:: SOT 15424665 SOS 3619426 HAS SOPS 3619426 HAS SOUS 1870656 HAS SOUPS 1870656 WITH SCORE 1874275.426
AT ITER 9961 NEW BEST:: SOT 15424841 SOS 3620682 HAS SOPS 3620682 HAS SOUS 1870556 HAS SOUPS 1870556 WITH SCORE 1874176.682

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="DLCround-PT-10b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 DLCround-PT-10b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902542400576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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