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-158902542100363.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 DLCflexbar-PT-3b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542100363
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 2.9K Mar 30 02:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 02:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 17:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 17:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 09:27 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 09:27 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.5M 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 DLCflexbar-PT-3b-CTLCardinality-00
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-01
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-02
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-03
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-04
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-05
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-06
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-07
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-08
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-09
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-10
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-11
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-12
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-13
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-14
FORMULA_NAME DLCflexbar-PT-3b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589114070879

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 3b
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: 7245 places, 10555 transitions, 28284 arcs.
AT ITER 0 NEW BEST:: SOT 48851062 SOS 10451936 HAS SOPS 10451936 HAS SOUS 7259579 HAS SOUPS 7259579 WITH SCORE 7270030.936
AT ITER 115 NEW BEST:: SOT 48851046 SOS 10451904 HAS SOPS 10451904 HAS SOUS 7259547 HAS SOUPS 7259547 WITH SCORE 7269998.904
AT ITER 126 NEW BEST:: SOT 48849951 SOS 10450805 HAS SOPS 10450805 HAS SOUS 7258451 HAS SOUPS 7258451 WITH SCORE 7268901.805
AT ITER 180 NEW BEST:: SOT 48849951 SOS 10451497 HAS SOPS 10451497 HAS SOUS 7258450 HAS SOUPS 7258450 WITH SCORE 7268901.497
AT ITER 200 NEW BEST:: SOT 48849145 SOS 10450778 HAS SOPS 10450778 HAS SOUS 7257691 HAS SOUPS 7257691 WITH SCORE 7268141.778
AT ITER 202 NEW BEST:: SOT 48849013 SOS 10450514 HAS SOPS 10450514 HAS SOUS 7257558 HAS SOUPS 7257558 WITH SCORE 7268008.514
AT ITER 206 NEW BEST:: SOT 48846545 SOS 10450465 HAS SOPS 10450465 HAS SOUS 7257300 HAS SOUPS 7257300 WITH SCORE 7267750.465
AT ITER 236 NEW BEST:: SOT 48846545 SOS 10450465 HAS SOPS 10450465 HAS SOUS 7256793 HAS SOUPS 7256793 WITH SCORE 7267243.465
AT ITER 244 NEW BEST:: SOT 48846545 SOS 10450602 HAS SOPS 10450602 HAS SOUS 7256786 HAS SOUPS 7256786 WITH SCORE 7267236.602
AT ITER 251 NEW BEST:: SOT 48845039 SOS 10461395 HAS SOPS 10461395 HAS SOUS 7256413 HAS SOUPS 7256413 WITH SCORE 7266874.395
AT ITER 257 NEW BEST:: SOT 48844138 SOS 10460496 HAS SOPS 10460496 HAS SOUS 7255514 HAS SOUPS 7255514 WITH SCORE 7265974.496
AT ITER 262 NEW BEST:: SOT 48843944 SOS 10460108 HAS SOPS 10460108 HAS SOUS 7255126 HAS SOUPS 7255126 WITH SCORE 7265586.108
AT ITER 284 NEW BEST:: SOT 48843942 SOS 10460104 HAS SOPS 10460104 HAS SOUS 7255122 HAS SOUPS 7255122 WITH SCORE 7265582.104
AT ITER 297 NEW BEST:: SOT 48842831 SOS 10459104 HAS SOPS 10459104 HAS SOUS 7254011 HAS SOUPS 7254011 WITH SCORE 7264470.104
AT ITER 307 NEW BEST:: SOT 48839766 SOS 10458952 HAS SOPS 10458952 HAS SOUS 7252809 HAS SOUPS 7252809 WITH SCORE 7263267.952
AT ITER 313 NEW BEST:: SOT 48839649 SOS 10459065 HAS SOPS 10459065 HAS SOUS 7252808 HAS SOUPS 7252808 WITH SCORE 7263267.065
AT ITER 318 NEW BEST:: SOT 48837933 SOS 10457817 HAS SOPS 10457817 HAS SOUS 7251716 HAS SOUPS 7251716 WITH SCORE 7262173.817
AT ITER 329 NEW BEST:: SOT 48838035 SOS 10458021 HAS SOPS 10458021 HAS SOUS 7250088 HAS SOUPS 7250088 WITH SCORE 7260546.021
AT ITER 387 NEW BEST:: SOT 48836978 SOS 10457743 HAS SOPS 10457743 HAS SOUS 7249810 HAS SOUPS 7249810 WITH SCORE 7260267.743
AT ITER 397 NEW BEST:: SOT 48834807 SOS 10456103 HAS SOPS 10456103 HAS SOUS 7248363 HAS SOUPS 7248363 WITH SCORE 7258819.103
AT ITER 403 NEW BEST:: SOT 48833640 SOS 10456103 HAS SOPS 10456103 HAS SOUS 7248360 HAS SOUPS 7248360 WITH SCORE 7258816.103
AT ITER 414 NEW BEST:: SOT 48833640 SOS 10455483 HAS SOPS 10455483 HAS SOUS 7247740 HAS SOUPS 7247740 WITH SCORE 7258195.483
AT ITER 429 NEW BEST:: SOT 48833640 SOS 10456319 HAS SOPS 10456319 HAS SOUS 7247739 HAS SOUPS 7247739 WITH SCORE 7258195.319
AT ITER 443 NEW BEST:: SOT 48828841 SOS 10454597 HAS SOPS 10454597 HAS SOUS 7244979 HAS SOUPS 7244979 WITH SCORE 7255433.597
AT ITER 473 NEW BEST:: SOT 48827970 SOS 10454255 HAS SOPS 10454255 HAS SOUS 7244640 HAS SOUPS 7244640 WITH SCORE 7255094.255
AT ITER 483 NEW BEST:: SOT 48827874 SOS 10454063 HAS SOPS 10454063 HAS SOUS 7244448 HAS SOUPS 7244448 WITH SCORE 7254902.063
AT ITER 490 NEW BEST:: SOT 48827861 SOS 10454037 HAS SOPS 10454037 HAS SOUS 7244127 HAS SOUPS 7244127 WITH SCORE 7254581.037
AT ITER 517 NEW BEST:: SOT 48824042 SOS 10462251 HAS SOPS 10462251 HAS SOUS 7241541 HAS SOUPS 7241541 WITH SCORE 7252003.251
AT ITER 519 NEW BEST:: SOT 48820988 SOS 10459956 HAS SOPS 10459956 HAS SOUS 7239246 HAS SOUPS 7239246 WITH SCORE 7249705.956
AT ITER 540 NEW BEST:: SOT 48820285 SOS 10459249 HAS SOPS 10459249 HAS SOUS 7238542 HAS SOUPS 7238542 WITH SCORE 7249001.249
AT ITER 566 NEW BEST:: SOT 48820285 SOS 10459249 HAS SOPS 10459249 HAS SOUS 7238541 HAS SOUPS 7238541 WITH SCORE 7249000.249
AT ITER 595 NEW BEST:: SOT 48818431 SOS 10458967 HAS SOPS 10458967 HAS SOUS 7238259 HAS SOUPS 7238259 WITH SCORE 7248717.967
AT ITER 596 NEW BEST:: SOT 48817307 SOS 10457839 HAS SOPS 10457839 HAS SOUS 7237134 HAS SOUPS 7237134 WITH SCORE 7247591.839
AT ITER 597 NEW BEST:: SOT 48817307 SOS 10457527 HAS SOPS 10457527 HAS SOUS 7237134 HAS SOUPS 7237134 WITH SCORE 7247591.527
AT ITER 602 NEW BEST:: SOT 48816130 SOS 10459414 HAS SOPS 10459414 HAS SOUS 7234695 HAS SOUPS 7234695 WITH SCORE 7245154.414
AT ITER 676 NEW BEST:: SOT 48814414 SOS 10458166 HAS SOPS 10458166 HAS SOUS 7233603 HAS SOUPS 7233603 WITH SCORE 7244061.166
AT ITER 689 NEW BEST:: SOT 48809748 SOS 10482066 HAS SOPS 10482066 HAS SOUS 7233292 HAS SOUPS 7233292 WITH SCORE 7243774.066
AT ITER 692 NEW BEST:: SOT 48808690 SOS 10480483 HAS SOPS 10480483 HAS SOUS 7232233 HAS SOUPS 7232233 WITH SCORE 7242713.483
AT ITER 701 NEW BEST:: SOT 48808690 SOS 10480361 HAS SOPS 10480361 HAS SOUS 7232111 HAS SOUPS 7232111 WITH SCORE 7242591.361
AT ITER 715 NEW BEST:: SOT 48808461 SOS 10480132 HAS SOPS 10480132 HAS SOUS 7231882 HAS SOUPS 7231882 WITH SCORE 7242362.132
AT ITER 742 NEW BEST:: SOT 48807600 SOS 10483035 HAS SOPS 10483035 HAS SOUS 7229920 HAS SOUPS 7229920 WITH SCORE 7240403.035
AT ITER 758 NEW BEST:: SOT 48806718 SOS 10481271 HAS SOPS 10481271 HAS SOUS 7228156 HAS SOUPS 7228156 WITH SCORE 7238637.271
AT ITER 782 NEW BEST:: SOT 48806718 SOS 10481738 HAS SOPS 10481738 HAS SOUS 7228155 HAS SOUPS 7228155 WITH SCORE 7238636.738
AT ITER 789 NEW BEST:: SOT 48806379 SOS 10481060 HAS SOPS 10481060 HAS SOUS 7227477 HAS SOUPS 7227477 WITH SCORE 7237958.06
AT ITER 801 NEW BEST:: SOT 48805575 SOS 10480708 HAS SOPS 10480708 HAS SOUS 7227128 HAS SOUPS 7227128 WITH SCORE 7237608.708
AT ITER 804 NEW BEST:: SOT 48804287 SOS 10479416 HAS SOPS 10479416 HAS SOUS 7225839 HAS SOUPS 7225839 WITH SCORE 7236318.416
AT ITER 820 NEW BEST:: SOT 48804150 SOS 10479142 HAS SOPS 10479142 HAS SOUS 7225702 HAS SOUPS 7225702 WITH SCORE 7236181.142
AT ITER 824 NEW BEST:: SOT 48804150 SOS 10479142 HAS SOPS 10479142 HAS SOUS 7225701 HAS SOUPS 7225701 WITH SCORE 7236180.142
AT ITER 864 NEW BEST:: SOT 48803522 SOS 10477886 HAS SOPS 10477886 HAS SOUS 7224445 HAS SOUPS 7224445 WITH SCORE 7234922.886
AT ITER 871 NEW BEST:: SOT 48803607 SOS 10478056 HAS SOPS 10478056 HAS SOUS 7223425 HAS SOUPS 7223425 WITH SCORE 7233903.056
AT ITER 888 NEW BEST:: SOT 48804245 SOS 10478693 HAS SOPS 10478693 HAS SOUS 7223424 HAS SOUPS 7223424 WITH SCORE 7233902.693
AT ITER 914 NEW BEST:: SOT 48803295 SOS 10477803 HAS SOPS 10477803 HAS SOUS 7222474 HAS SOUPS 7222474 WITH SCORE 7232951.803
AT ITER 957 NEW BEST:: SOT 48803295 SOS 10478135 HAS SOPS 10478135 HAS SOUS 7222473 HAS SOUPS 7222473 WITH SCORE 7232951.135
AT ITER 991 NEW BEST:: SOT 48803124 SOS 10477793 HAS SOPS 10477793 HAS SOUS 7222131 HAS SOUPS 7222131 WITH SCORE 7232608.793
AT ITER 1045 NEW BEST:: SOT 48802307 SOS 10476159 HAS SOPS 10476159 HAS SOUS 7220497 HAS SOUPS 7220497 WITH SCORE 7230973.159
AT ITER 1055 NEW BEST:: SOT 48801975 SOS 10475993 HAS SOPS 10475993 HAS SOUS 7220331 HAS SOUPS 7220331 WITH SCORE 7230806.993
AT ITER 1063 NEW BEST:: SOT 48800522 SOS 10474536 HAS SOPS 10474536 HAS SOUS 7218877 HAS SOUPS 7218877 WITH SCORE 7229351.536
AT ITER 1068 NEW BEST:: SOT 48799708 SOS 10472908 HAS SOPS 10472908 HAS SOUS 7217249 HAS SOUPS 7217249 WITH SCORE 7227721.908
AT ITER 1072 NEW BEST:: SOT 48798458 SOS 10470408 HAS SOPS 10470408 HAS SOUS 7215999 HAS SOUPS 7215999 WITH SCORE 7226469.408
AT ITER 1120 NEW BEST:: SOT 48794883 SOS 10467808 HAS SOPS 10467808 HAS SOUS 7213724 HAS SOUPS 7213724 WITH SCORE 7224191.808
AT ITER 1127 NEW BEST:: SOT 48794608 SOS 10468350 HAS SOPS 10468350 HAS SOUS 7213447 HAS SOUPS 7213447 WITH SCORE 7223915.35
AT ITER 1137 NEW BEST:: SOT 48794582 SOS 10468272 HAS SOPS 10468272 HAS SOUS 7213395 HAS SOUPS 7213395 WITH SCORE 7223863.272
AT ITER 1160 NEW BEST:: SOT 48793573 SOS 10466254 HAS SOPS 10466254 HAS SOUS 7211052 HAS SOUPS 7211052 WITH SCORE 7221518.254
AT ITER 1161 NEW BEST:: SOT 48791791 SOS 10465363 HAS SOPS 10465363 HAS SOUS 7209270 HAS SOUPS 7209270 WITH SCORE 7219735.363
AT ITER 1165 NEW BEST:: SOT 48790261 SOS 10463829 HAS SOPS 10463829 HAS SOUS 7207739 HAS SOUPS 7207739 WITH SCORE 7218202.829
AT ITER 1196 NEW BEST:: SOT 48787669 SOS 10465113 HAS SOPS 10465113 HAS SOUS 7207213 HAS SOUPS 7207213 WITH SCORE 7217678.113
AT ITER 1201 NEW BEST:: SOT 48787668 SOS 10465111 HAS SOPS 10465111 HAS SOUS 7207211 HAS SOUPS 7207211 WITH SCORE 7217676.111
AT ITER 1204 NEW BEST:: SOT 48787620 SOS 10465491 HAS SOPS 10465491 HAS SOUS 7207162 HAS SOUPS 7207162 WITH SCORE 7217627.491
AT ITER 1208 NEW BEST:: SOT 48786237 SOS 10464104 HAS SOPS 10464104 HAS SOUS 7205778 HAS SOUPS 7205778 WITH SCORE 7216242.104
AT ITER 1216 NEW BEST:: SOT 48785571 SOS 10455585 HAS SOPS 10455585 HAS SOUS 7202969 HAS SOUPS 7202969 WITH SCORE 7213424.585
AT ITER 1226 NEW BEST:: SOT 48784927 SOS 10454941 HAS SOPS 10454941 HAS SOUS 7202325 HAS SOUPS 7202325 WITH SCORE 7212779.941
AT ITER 1236 NEW BEST:: SOT 48782983 SOS 10453987 HAS SOPS 10453987 HAS SOUS 7200509 HAS SOUPS 7200509 WITH SCORE 7210962.987
AT ITER 1264 NEW BEST:: SOT 48779782 SOS 10450323 HAS SOPS 10450323 HAS SOUS 7196816 HAS SOUPS 7196816 WITH SCORE 7207266.323
AT ITER 1269 NEW BEST:: SOT 48778735 SOS 10448229 HAS SOPS 10448229 HAS SOUS 7194722 HAS SOUPS 7194722 WITH SCORE 7205170.229
AT ITER 1357 NEW BEST:: SOT 48778631 SOS 10448021 HAS SOPS 10448021 HAS SOUS 7194514 HAS SOUPS 7194514 WITH SCORE 7204962.021
AT ITER 1371 NEW BEST:: SOT 48778712 SOS 10447068 HAS SOPS 10447068 HAS SOUS 7193561 HAS SOUPS 7193561 WITH SCORE 7204008.068
AT ITER 1378 NEW BEST:: SOT 48777925 SOS 10448880 HAS SOPS 10448880 HAS SOUS 7193151 HAS SOUPS 7193151 WITH SCORE 7203599.88
AT ITER 1401 NEW BEST:: SOT 48777170 SOS 10447370 HAS SOPS 10447370 HAS SOUS 7192189 HAS SOUPS 7192189 WITH SCORE 7202636.37
AT ITER 1427 NEW BEST:: SOT 48776945 SOS 10446920 HAS SOPS 10446920 HAS SOUS 7191739 HAS SOUPS 7191739 WITH SCORE 7202185.92
AT ITER 1433 NEW BEST:: SOT 48775794 SOS 10443060 HAS SOPS 10443060 HAS SOUS 7188845 HAS SOUPS 7188845 WITH SCORE 7199288.06
AT ITER 1434 NEW BEST:: SOT 48775794 SOS 10442024 HAS SOPS 10442024 HAS SOUS 7188845 HAS SOUPS 7188845 WITH SCORE 7199287.024
AT ITER 1438 NEW BEST:: SOT 48769403 SOS 10437376 HAS SOPS 10437376 HAS SOUS 7184778 HAS SOUPS 7184778 WITH SCORE 7195215.376
AT ITER 1482 NEW BEST:: SOT 48768439 SOS 10436949 HAS SOPS 10436949 HAS SOUS 7184003 HAS SOUPS 7184003 WITH SCORE 7194439.949
AT ITER 1496 NEW BEST:: SOT 48767864 SOS 10436939 HAS SOPS 10436939 HAS SOUS 7183808 HAS SOUPS 7183808 WITH SCORE 7194244.939
AT ITER 1519 NEW BEST:: SOT 48766967 SOS 10436038 HAS SOPS 10436038 HAS SOUS 7182910 HAS SOUPS 7182910 WITH SCORE 7193346.038
AT ITER 1547 NEW BEST:: SOT 48738801 SOS 10519428 HAS SOPS 10519428 HAS SOUS 7161170 HAS SOUPS 7161170 WITH SCORE 7171689.428
AT ITER 1570 NEW BEST:: SOT 48738111 SOS 10518048 HAS SOPS 10518048 HAS SOUS 7159790 HAS SOUPS 7159790 WITH SCORE 7170308.048
AT ITER 1603 NEW BEST:: SOT 48738111 SOS 10518701 HAS SOPS 10518701 HAS SOUS 7159789 HAS SOUPS 7159789 WITH SCORE 7170307.701
AT ITER 1641 NEW BEST:: SOT 48737348 SOS 10517938 HAS SOPS 10517938 HAS SOUS 7159026 HAS SOUPS 7159026 WITH SCORE 7169543.938
AT ITER 1660 NEW BEST:: SOT 48736450 SOS 10517138 HAS SOPS 10517138 HAS SOUS 7158128 HAS SOUPS 7158128 WITH SCORE 7168645.138
AT ITER 1690 NEW BEST:: SOT 48735866 SOS 10517176 HAS SOPS 10517176 HAS SOUS 7157857 HAS SOUPS 7157857 WITH SCORE 7168374.176
AT ITER 1691 NEW BEST:: SOT 48735752 SOS 10516948 HAS SOPS 10516948 HAS SOUS 7157629 HAS SOUPS 7157629 WITH SCORE 7168145.948
AT ITER 1692 NEW BEST:: SOT 48734942 SOS 10516607 HAS SOPS 10516607 HAS SOUS 7157288 HAS SOUPS 7157288 WITH SCORE 7167804.607
AT ITER 1712 NEW BEST:: SOT 48734228 SOS 10515179 HAS SOPS 10515179 HAS SOUS 7155272 HAS SOUPS 7155272 WITH SCORE 7165787.179
AT ITER 1725 NEW BEST:: SOT 48734251 SOS 10514630 HAS SOPS 10514630 HAS SOUS 7154723 HAS SOUPS 7154723 WITH SCORE 7165237.63
AT ITER 1743 NEW BEST:: SOT 48733974 SOS 10514076 HAS SOPS 10514076 HAS SOUS 7154169 HAS SOUPS 7154169 WITH SCORE 7164683.076
AT ITER 1767 NEW BEST:: SOT 48733642 SOS 10513411 HAS SOPS 10513411 HAS SOUS 7152892 HAS SOUPS 7152892 WITH SCORE 7163405.411
AT ITER 1768 NEW BEST:: SOT 48733099 SOS 10512325 HAS SOPS 10512325 HAS SOUS 7151045 HAS SOUPS 7151045 WITH SCORE 7161557.325
AT ITER 1805 NEW BEST:: SOT 48732798 SOS 10512112 HAS SOPS 10512112 HAS SOUS 7150832 HAS SOUPS 7150832 WITH SCORE 7161344.112
AT ITER 1812 NEW BEST:: SOT 48731770 SOS 10510056 HAS SOPS 10510056 HAS SOUS 7148776 HAS SOUPS 7148776 WITH SCORE 7159286.056
AT ITER 1821 NEW BEST:: SOT 48731591 SOS 10510235 HAS SOPS 10510235 HAS SOUS 7148597 HAS SOUPS 7148597 WITH SCORE 7159107.235
AT ITER 1822 NEW BEST:: SOT 48731340 SOS 10510231 HAS SOPS 10510231 HAS SOUS 7148345 HAS SOUPS 7148345 WITH SCORE 7158855.231
AT ITER 1824 NEW BEST:: SOT 48731031 SOS 10510076 HAS SOPS 10510076 HAS SOUS 7148190 HAS SOUPS 7148190 WITH SCORE 7158700.076
AT ITER 1841 NEW BEST:: SOT 48730032 SOS 10509077 HAS SOPS 10509077 HAS SOUS 7147191 HAS SOUPS 7147191 WITH SCORE 7157700.077
AT ITER 1894 NEW BEST:: SOT 48729243 SOS 10508298 HAS SOPS 10508298 HAS SOUS 7146412 HAS SOUPS 7146412 WITH SCORE 7156920.298
AT ITER 1907 NEW BEST:: SOT 48727810 SOS 10506989 HAS SOPS 10506989 HAS SOUS 7144263 HAS SOUPS 7144263 WITH SCORE 7154769.989
AT ITER 1940 NEW BEST:: SOT 48728323 SOS 10508015 HAS SOPS 10508015 HAS SOUS 7144232 HAS SOUPS 7144232 WITH SCORE 7154740.015
AT ITER 1959 NEW BEST:: SOT 48729078 SOS 10507751 HAS SOPS 10507751 HAS SOUS 7144100 HAS SOUPS 7144100 WITH SCORE 7154607.751
AT ITER 1961 NEW BEST:: SOT 48727941 SOS 10505477 HAS SOPS 10505477 HAS SOUS 7141826 HAS SOUPS 7141826 WITH SCORE 7152331.477
AT ITER 1965 NEW BEST:: SOT 48727940 SOS 10507832 HAS SOPS 10507832 HAS SOUS 7141823 HAS SOUPS 7141823 WITH SCORE 7152330.832
AT ITER 1973 NEW BEST:: SOT 48727940 SOS 10507832 HAS SOPS 10507832 HAS SOUS 7140328 HAS SOUPS 7140328 WITH SCORE 7150835.832
AT ITER 1978 NEW BEST:: SOT 48727822 SOS 10507474 HAS SOPS 10507474 HAS SOUS 7140210 HAS SOUPS 7140210 WITH SCORE 7150717.474
AT ITER 2003 NEW BEST:: SOT 48721101 SOS 10502586 HAS SOPS 10502586 HAS SOUS 7135933 HAS SOUPS 7135933 WITH SCORE 7146435.586
AT ITER 2018 NEW BEST:: SOT 48721101 SOS 10503209 HAS SOPS 10503209 HAS SOUS 7135932 HAS SOUPS 7135932 WITH SCORE 7146435.209
AT ITER 2036 NEW BEST:: SOT 48720909 SOS 10503401 HAS SOPS 10503401 HAS SOUS 7135740 HAS SOUPS 7135740 WITH SCORE 7146243.401
AT ITER 2058 NEW BEST:: SOT 48720054 SOS 10499111 HAS SOPS 10499111 HAS SOUS 7134030 HAS SOUPS 7134030 WITH SCORE 7144529.111
AT ITER 2064 NEW BEST:: SOT 48720054 SOS 10499111 HAS SOPS 10499111 HAS SOUS 7133899 HAS SOUPS 7133899 WITH SCORE 7144398.111
AT ITER 2068 NEW BEST:: SOT 48720054 SOS 10499111 HAS SOPS 10499111 HAS SOUS 7133898 HAS SOUPS 7133898 WITH SCORE 7144397.111
AT ITER 2101 NEW BEST:: SOT 48720054 SOS 10499777 HAS SOPS 10499777 HAS SOUS 7133897 HAS SOUPS 7133897 WITH SCORE 7144396.777
AT ITER 2107 NEW BEST:: SOT 48718909 SOS 10499775 HAS SOPS 10499775 HAS SOUS 7133895 HAS SOUPS 7133895 WITH SCORE 7144394.775
AT ITER 2115 NEW BEST:: SOT 48718909 SOS 10499529 HAS SOPS 10499529 HAS SOUS 7133649 HAS SOUPS 7133649 WITH SCORE 7144148.529
AT ITER 2123 NEW BEST:: SOT 48719042 SOS 10498058 HAS SOPS 10498058 HAS SOUS 7133269 HAS SOUPS 7133269 WITH SCORE 7143767.058
AT ITER 2145 NEW BEST:: SOT 48719039 SOS 10498052 HAS SOPS 10498052 HAS SOUS 7133263 HAS SOUPS 7133263 WITH SCORE 7143761.052
AT ITER 2157 NEW BEST:: SOT 48718889 SOS 10497752 HAS SOPS 10497752 HAS SOUS 7132963 HAS SOUPS 7132963 WITH SCORE 7143460.752
AT ITER 2158 NEW BEST:: SOT 48717526 SOS 10496385 HAS SOPS 10496385 HAS SOUS 7131599 HAS SOUPS 7131599 WITH SCORE 7142095.385
AT ITER 2166 NEW BEST:: SOT 48717388 SOS 10496316 HAS SOPS 10496316 HAS SOUS 7131530 HAS SOUPS 7131530 WITH SCORE 7142026.316
AT ITER 2213 NEW BEST:: SOT 48716861 SOS 10495785 HAS SOPS 10495785 HAS SOUS 7131002 HAS SOUPS 7131002 WITH SCORE 7141497.785
AT ITER 2244 NEW BEST:: SOT 48716861 SOS 10496000 HAS SOPS 10496000 HAS SOUS 7131001 HAS SOUPS 7131001 WITH SCORE 7141497.0
AT ITER 2282 NEW BEST:: SOT 48716603 SOS 10494119 HAS SOPS 10494119 HAS SOUS 7130615 HAS SOUPS 7130615 WITH SCORE 7141109.119
AT ITER 2299 NEW BEST:: SOT 48715448 SOS 10495270 HAS SOPS 10495270 HAS SOUS 7128304 HAS SOUPS 7128304 WITH SCORE 7138799.27
AT ITER 2314 NEW BEST:: SOT 48715448 SOS 10495919 HAS SOPS 10495919 HAS SOUS 7128303 HAS SOUPS 7128303 WITH SCORE 7138798.919
AT ITER 2386 NEW BEST:: SOT 48714640 SOS 10495613 HAS SOPS 10495613 HAS SOUS 7127997 HAS SOUPS 7127997 WITH SCORE 7138492.613
AT ITER 2417 NEW BEST:: SOT 48711314 SOS 10497661 HAS SOPS 10497661 HAS SOUS 7126714 HAS SOUPS 7126714 WITH SCORE 7137211.661
AT ITER 2427 NEW BEST:: SOT 48711265 SOS 10497563 HAS SOPS 10497563 HAS SOUS 7126616 HAS SOUPS 7126616 WITH SCORE 7137113.563
AT ITER 2434 NEW BEST:: SOT 48710888 SOS 10497429 HAS SOPS 10497429 HAS SOUS 7126482 HAS SOUPS 7126482 WITH SCORE 7136979.429
AT ITER 2445 NEW BEST:: SOT 48710441 SOS 10497191 HAS SOPS 10497191 HAS SOUS 7126094 HAS SOUPS 7126094 WITH SCORE 7136591.191
AT ITER 2469 NEW BEST:: SOT 48710337 SOS 10497181 HAS SOPS 10497181 HAS SOUS 7126084 HAS SOUPS 7126084 WITH SCORE 7136581.181
AT ITER 2471 NEW BEST:: SOT 48709324 SOS 10496586 HAS SOPS 10496586 HAS SOUS 7125491 HAS SOUPS 7125491 WITH SCORE 7135987.586
AT ITER 2517 NEW BEST:: SOT 48709019 SOS 10496281 HAS SOPS 10496281 HAS SOUS 7125491 HAS SOUPS 7125491 WITH SCORE 7135987.281
AT ITER 2523 NEW BEST:: SOT 48708982 SOS 10496244 HAS SOPS 10496244 HAS SOUS 7125491 HAS SOUPS 7125491 WITH SCORE 7135987.244
AT ITER 2541 NEW BEST:: SOT 48708426 SOS 10495684 HAS SOPS 10495684 HAS SOUS 7124934 HAS SOUPS 7124934 WITH SCORE 7135429.684
AT ITER 2590 NEW BEST:: SOT 48707306 SOS 10494793 HAS SOPS 10494793 HAS SOUS 7123866 HAS SOUPS 7123866 WITH SCORE 7134360.793
AT ITER 2592 NEW BEST:: SOT 48706442 SOS 10493929 HAS SOPS 10493929 HAS SOUS 7123002 HAS SOUPS 7123002 WITH SCORE 7133495.929
AT ITER 2598 NEW BEST:: SOT 48703916 SOS 10492666 HAS SOPS 10492666 HAS SOUS 7121739 HAS SOUPS 7121739 WITH SCORE 7132231.666
AT ITER 2606 NEW BEST:: SOT 48703527 SOS 10492277 HAS SOPS 10492277 HAS SOUS 7121739 HAS SOUPS 7121739 WITH SCORE 7132231.277
AT ITER 2620 NEW BEST:: SOT 48702422 SOS 10491172 HAS SOPS 10491172 HAS SOUS 7120634 HAS SOUPS 7120634 WITH SCORE 7131125.172
AT ITER 2624 NEW BEST:: SOT 48701586 SOS 10489500 HAS SOPS 10489500 HAS SOUS 7118962 HAS SOUPS 7118962 WITH SCORE 7129451.5
AT ITER 2685 NEW BEST:: SOT 48701923 SOS 10488206 HAS SOPS 10488206 HAS SOUS 7118811 HAS SOUPS 7118811 WITH SCORE 7129299.206
AT ITER 2686 NEW BEST:: SOT 48701590 SOS 10487540 HAS SOPS 10487540 HAS SOUS 7118145 HAS SOUPS 7118145 WITH SCORE 7128632.54
AT ITER 2743 NEW BEST:: SOT 48701278 SOS 10486916 HAS SOPS 10486916 HAS SOUS 7117521 HAS SOUPS 7117521 WITH SCORE 7128007.916
AT ITER 2758 NEW BEST:: SOT 48701828 SOS 10486796 HAS SOPS 10486796 HAS SOUS 7117461 HAS SOUPS 7117461 WITH SCORE 7127947.796
AT ITER 2773 NEW BEST:: SOT 48700743 SOS 10485711 HAS SOPS 10485711 HAS SOUS 7116376 HAS SOUPS 7116376 WITH SCORE 7126861.711
AT ITER 2776 NEW BEST:: SOT 48699893 SOS 10485515 HAS SOPS 10485515 HAS SOUS 7116180 HAS SOUPS 7116180 WITH SCORE 7126665.515
AT ITER 2789 NEW BEST:: SOT 48699269 SOS 10484267 HAS SOPS 10484267 HAS SOUS 7114932 HAS SOUPS 7114932 WITH SCORE 7125416.267
AT ITER 2844 NEW BEST:: SOT 48699005 SOS 10486105 HAS SOPS 10486105 HAS SOUS 7114403 HAS SOUPS 7114403 WITH SCORE 7124889.105
AT ITER 2855 NEW BEST:: SOT 48698584 SOS 10486602 HAS SOPS 10486602 HAS SOUS 7113275 HAS SOUPS 7113275 WITH SCORE 7123761.602
AT ITER 2891 NEW BEST:: SOT 48697764 SOS 10486250 HAS SOPS 10486250 HAS SOUS 7112926 HAS SOUPS 7112926 WITH SCORE 7123412.25
AT ITER 2897 NEW BEST:: SOT 48697406 SOS 10486197 HAS SOPS 10486197 HAS SOUS 7112789 HAS SOUPS 7112789 WITH SCORE 7123275.197
AT ITER 2906 NEW BEST:: SOT 48697405 SOS 10486195 HAS SOPS 10486195 HAS SOUS 7112787 HAS SOUPS 7112787 WITH SCORE 7123273.195
AT ITER 2920 NEW BEST:: SOT 48696838 SOS 10485061 HAS SOPS 10485061 HAS SOUS 7110096 HAS SOUPS 7110096 WITH SCORE 7120581.061
AT ITER 2949 NEW BEST:: SOT 48696782 SOS 10484949 HAS SOPS 10484949 HAS SOUS 7109874 HAS SOUPS 7109874 WITH SCORE 7120358.949
AT ITER 2986 NEW BEST:: SOT 48696728 SOS 10485317 HAS SOPS 10485317 HAS SOUS 7109765 HAS SOUPS 7109765 WITH SCORE 7120250.317
AT ITER 2990 NEW BEST:: SOT 48696233 SOS 10484874 HAS SOPS 10484874 HAS SOUS 7109297 HAS SOUPS 7109297 WITH SCORE 7119781.874
AT ITER 2997 NEW BEST:: SOT 48696233 SOS 10484093 HAS SOPS 10484093 HAS SOUS 7108516 HAS SOUPS 7108516 WITH SCORE 7119000.093
AT ITER 3001 NEW BEST:: SOT 48696037 SOS 10483701 HAS SOPS 10483701 HAS SOUS 7108124 HAS SOUPS 7108124 WITH SCORE 7118607.701
AT ITER 3062 NEW BEST:: SOT 48695323 SOS 10482273 HAS SOPS 10482273 HAS SOUS 7106377 HAS SOUPS 7106377 WITH SCORE 7116859.273
AT ITER 3074 NEW BEST:: SOT 48695155 SOS 10481937 HAS SOPS 10481937 HAS SOUS 7106041 HAS SOUPS 7106041 WITH SCORE 7116522.937
AT ITER 3091 NEW BEST:: SOT 48695154 SOS 10481935 HAS SOPS 10481935 HAS SOUS 7106039 HAS SOUPS 7106039 WITH SCORE 7116520.935
AT ITER 3145 NEW BEST:: SOT 48695154 SOS 10481935 HAS SOPS 10481935 HAS SOUS 7106038 HAS SOUPS 7106038 WITH SCORE 7116519.935
AT ITER 3148 NEW BEST:: SOT 48695548 SOS 10481687 HAS SOPS 10481687 HAS SOUS 7105914 HAS SOUPS 7105914 WITH SCORE 7116395.687
AT ITER 3164 NEW BEST:: SOT 48695548 SOS 10481513 HAS SOPS 10481513 HAS SOUS 7105914 HAS SOUPS 7105914 WITH SCORE 7116395.513
AT ITER 3177 NEW BEST:: SOT 48695399 SOS 10481215 HAS SOPS 10481215 HAS SOUS 7105616 HAS SOUPS 7105616 WITH SCORE 7116097.215
AT ITER 3187 NEW BEST:: SOT 48694048 SOS 10475573 HAS SOPS 10475573 HAS SOUS 7103166 HAS SOUPS 7103166 WITH SCORE 7113641.573
AT ITER 3242 NEW BEST:: SOT 48693768 SOS 10475013 HAS SOPS 10475013 HAS SOUS 7102163 HAS SOUPS 7102163 WITH SCORE 7112638.013
AT ITER 3245 NEW BEST:: SOT 48693768 SOS 10475123 HAS SOPS 10475123 HAS SOUS 7102161 HAS SOUPS 7102161 WITH SCORE 7112636.123
AT ITER 3260 NEW BEST:: SOT 48693768 SOS 10475607 HAS SOPS 10475607 HAS SOUS 7102160 HAS SOUPS 7102160 WITH SCORE 7112635.607
AT ITER 3279 NEW BEST:: SOT 48693635 SOS 10475812 HAS SOPS 10475812 HAS SOUS 7102118 HAS SOUPS 7102118 WITH SCORE 7112593.812
AT ITER 3316 NEW BEST:: SOT 48693635 SOS 10475782 HAS SOPS 10475782 HAS SOUS 7102103 HAS SOUPS 7102103 WITH SCORE 7112578.782
AT ITER 3334 NEW BEST:: SOT 48693323 SOS 10475470 HAS SOPS 10475470 HAS SOUS 7102103 HAS SOUPS 7102103 WITH SCORE 7112578.47
AT ITER 3349 NEW BEST:: SOT 48693323 SOS 10474168 HAS SOPS 10474168 HAS SOUS 7101669 HAS SOUPS 7101669 WITH SCORE 7112143.168
AT ITER 3435 NEW BEST:: SOT 48693322 SOS 10474166 HAS SOPS 10474166 HAS SOUS 7101667 HAS SOUPS 7101667 WITH SCORE 7112141.166
AT ITER 3453 NEW BEST:: SOT 48693321 SOS 10474158 HAS SOPS 10474158 HAS SOUS 7101659 HAS SOUPS 7101659 WITH SCORE 7112133.158
AT ITER 3521 NEW BEST:: SOT 48692459 SOS 10473943 HAS SOPS 10473943 HAS SOUS 7101444 HAS SOUPS 7101444 WITH SCORE 7111917.943
AT ITER 3522 NEW BEST:: SOT 48691575 SOS 10472175 HAS SOPS 10472175 HAS SOUS 7099676 HAS SOUPS 7099676 WITH SCORE 7110148.175
AT ITER 3524 NEW BEST:: SOT 48689538 SOS 10449768 HAS SOPS 10449768 HAS SOUS 7096106 HAS SOUPS 7096106 WITH SCORE 7106555.768
AT ITER 3543 NEW BEST:: SOT 48686721 SOS 10448637 HAS SOPS 10448637 HAS SOUS 7094790 HAS SOUPS 7094790 WITH SCORE 7105238.637
AT ITER 3579 NEW BEST:: SOT 48684328 SOS 10449119 HAS SOPS 10449119 HAS SOUS 7094767 HAS SOUPS 7094767 WITH SCORE 7105216.119
AT ITER 3636 NEW BEST:: SOT 48684068 SOS 10448599 HAS SOPS 10448599 HAS SOUS 7094247 HAS SOUPS 7094247 WITH SCORE 7104695.599
AT ITER 3639 NEW BEST:: SOT 48684033 SOS 10448529 HAS SOPS 10448529 HAS SOUS 7094177 HAS SOUPS 7094177 WITH SCORE 7104625.529
AT ITER 3656 NEW BEST:: SOT 48683141 SOS 10446745 HAS SOPS 10446745 HAS SOUS 7092393 HAS SOUPS 7092393 WITH SCORE 7102839.745
AT ITER 3657 NEW BEST:: SOT 48683573 SOS 10440790 HAS SOPS 10440790 HAS SOUS 7091468 HAS SOUPS 7091468 WITH SCORE 7101908.79
AT ITER 3679 NEW BEST:: SOT 48682835 SOS 10440780 HAS SOPS 10440780 HAS SOUS 7091012 HAS SOUPS 7091012 WITH SCORE 7101452.78
AT ITER 3681 NEW BEST:: SOT 48679842 SOS 10443376 HAS SOPS 10443376 HAS SOUS 7090881 HAS SOUPS 7090881 WITH SCORE 7101324.376
AT ITER 3684 NEW BEST:: SOT 48678934 SOS 10442796 HAS SOPS 10442796 HAS SOUS 7088903 HAS SOUPS 7088903 WITH SCORE 7099345.796
AT ITER 3697 NEW BEST:: SOT 48678831 SOS 10442590 HAS SOPS 10442590 HAS SOUS 7088697 HAS SOUPS 7088697 WITH SCORE 7099139.59
AT ITER 3723 NEW BEST:: SOT 48677102 SOS 10442590 HAS SOPS 10442590 HAS SOUS 7086968 HAS SOUPS 7086968 WITH SCORE 7097410.59
AT ITER 3744 NEW BEST:: SOT 48676355 SOS 10442292 HAS SOPS 10442292 HAS SOUS 7086670 HAS SOUPS 7086670 WITH SCORE 7097112.292
AT ITER 3782 NEW BEST:: SOT 48675069 SOS 10443649 HAS SOPS 10443649 HAS SOUS 7084087 HAS SOUPS 7084087 WITH SCORE 7094530.649
AT ITER 3793 NEW BEST:: SOT 48673961 SOS 10444757 HAS SOPS 10444757 HAS SOUS 7081871 HAS SOUPS 7081871 WITH SCORE 7092315.757
AT ITER 3806 NEW BEST:: SOT 48673478 SOS 10443791 HAS SOPS 10443791 HAS SOUS 7080905 HAS SOUPS 7080905 WITH SCORE 7091348.791
AT ITER 3812 NEW BEST:: SOT 48673478 SOS 10443791 HAS SOPS 10443791 HAS SOUS 7080904 HAS SOUPS 7080904 WITH SCORE 7091347.791
AT ITER 3838 NEW BEST:: SOT 48672798 SOS 10441751 HAS SOPS 10441751 HAS SOUS 7080224 HAS SOUPS 7080224 WITH SCORE 7090665.751
AT ITER 3884 NEW BEST:: SOT 48673041 SOS 10446040 HAS SOPS 10446040 HAS SOUS 7079561 HAS SOUPS 7079561 WITH SCORE 7090007.04
AT ITER 3889 NEW BEST:: SOT 48673023 SOS 10446004 HAS SOPS 10446004 HAS SOUS 7079535 HAS SOUPS 7079535 WITH SCORE 7089981.004
AT ITER 3939 NEW BEST:: SOT 48670300 SOS 10445226 HAS SOPS 10445226 HAS SOUS 7078368 HAS SOUPS 7078368 WITH SCORE 7088813.226
AT ITER 3943 NEW BEST:: SOT 48670128 SOS 10445118 HAS SOPS 10445118 HAS SOUS 7078260 HAS SOUPS 7078260 WITH SCORE 7088705.118
AT ITER 3966 NEW BEST:: SOT 48669483 SOS 10444866 HAS SOPS 10444866 HAS SOUS 7077961 HAS SOUPS 7077961 WITH SCORE 7088405.866
AT ITER 3979 NEW BEST:: SOT 48668411 SOS 10442722 HAS SOPS 10442722 HAS SOUS 7075125 HAS SOUPS 7075125 WITH SCORE 7085567.722
AT ITER 3993 NEW BEST:: SOT 48668942 SOS 10443258 HAS SOPS 10443258 HAS SOUS 7074957 HAS SOUPS 7074957 WITH SCORE 7085400.258
AT ITER 4014 NEW BEST:: SOT 48668633 SOS 10442998 HAS SOPS 10442998 HAS SOUS 7074697 HAS SOUPS 7074697 WITH SCORE 7085139.998
AT ITER 4042 NEW BEST:: SOT 48668063 SOS 10441858 HAS SOPS 10441858 HAS SOUS 7073557 HAS SOUPS 7073557 WITH SCORE 7083998.858
AT ITER 4078 NEW BEST:: SOT 48668501 SOS 10442067 HAS SOPS 10442067 HAS SOUS 7073328 HAS SOUPS 7073328 WITH SCORE 7083770.067
AT ITER 4100 NEW BEST:: SOT 48666895 SOS 10440724 HAS SOPS 10440724 HAS SOUS 7071944 HAS SOUPS 7071944 WITH SCORE 7082384.724
AT ITER 4102 NEW BEST:: SOT 48663120 SOS 10440038 HAS SOPS 10440038 HAS SOUS 7070282 HAS SOUPS 7070282 WITH SCORE 7080722.038
AT ITER 4108 NEW BEST:: SOT 48662848 SOS 10439494 HAS SOPS 10439494 HAS SOUS 7068379 HAS SOUPS 7068379 WITH SCORE 7078818.494
AT ITER 4124 NEW BEST:: SOT 48662848 SOS 10439360 HAS SOPS 10439360 HAS SOUS 7068245 HAS SOUPS 7068245 WITH SCORE 7078684.36
AT ITER 4142 NEW BEST:: SOT 48662845 SOS 10439354 HAS SOPS 10439354 HAS SOUS 7068239 HAS SOUPS 7068239 WITH SCORE 7078678.354
AT ITER 4159 NEW BEST:: SOT 48660359 SOS 10438111 HAS SOPS 10438111 HAS SOUS 7066996 HAS SOUPS 7066996 WITH SCORE 7077434.111
AT ITER 4169 NEW BEST:: SOT 48659337 SOS 10437545 HAS SOPS 10437545 HAS SOUS 7066430 HAS SOUPS 7066430 WITH SCORE 7076867.545
AT ITER 4184 NEW BEST:: SOT 48658835 SOS 10435537 HAS SOPS 10435537 HAS SOUS 7065426 HAS SOUPS 7065426 WITH SCORE 7075861.537
AT ITER 4203 NEW BEST:: SOT 48658064 SOS 10433995 HAS SOPS 10433995 HAS SOUS 7063884 HAS SOUPS 7063884 WITH SCORE 7074317.995
AT ITER 4205 NEW BEST:: SOT 48657296 SOS 10434217 HAS SOPS 10434217 HAS SOUS 7063116 HAS SOUPS 7063116 WITH SCORE 7073550.217
AT ITER 4222 NEW BEST:: SOT 48656251 SOS 10432127 HAS SOPS 10432127 HAS SOUS 7061026 HAS SOUPS 7061026 WITH SCORE 7071458.127
AT ITER 4227 NEW BEST:: SOT 48656172 SOS 10431969 HAS SOPS 10431969 HAS SOUS 7060945 HAS SOUPS 7060945 WITH SCORE 7071376.969
AT ITER 4263 NEW BEST:: SOT 48656390 SOS 10432405 HAS SOPS 10432405 HAS SOUS 7060605 HAS SOUPS 7060605 WITH SCORE 7071037.405
AT ITER 4278 NEW BEST:: SOT 48655521 SOS 10430667 HAS SOPS 10430667 HAS SOUS 7058867 HAS SOUPS 7058867 WITH SCORE 7069297.667
AT ITER 4289 NEW BEST:: SOT 48655853 SOS 10431331 HAS SOPS 10431331 HAS SOUS 7058714 HAS SOUPS 7058714 WITH SCORE 7069145.331
AT ITER 4303 NEW BEST:: SOT 48655547 SOS 10430719 HAS SOPS 10430719 HAS SOUS 7058102 HAS SOUPS 7058102 WITH SCORE 7068532.719
AT ITER 4324 NEW BEST:: SOT 48655547 SOS 10430481 HAS SOPS 10430481 HAS SOUS 7057864 HAS SOUPS 7057864 WITH SCORE 7068294.481
AT ITER 4337 NEW BEST:: SOT 48655219 SOS 10429826 HAS SOPS 10429826 HAS SOUS 7057209 HAS SOUPS 7057209 WITH SCORE 7067638.826
AT ITER 4348 NEW BEST:: SOT 48655218 SOS 10429824 HAS SOPS 10429824 HAS SOUS 7057207 HAS SOUPS 7057207 WITH SCORE 7067636.824
AT ITER 4360 NEW BEST:: SOT 48654653 SOS 10429720 HAS SOPS 10429720 HAS SOUS 7056984 HAS SOUPS 7056984 WITH SCORE 7067413.72
AT ITER 4363 NEW BEST:: SOT 48654335 SOS 10429561 HAS SOPS 10429561 HAS SOUS 7056825 HAS SOUPS 7056825 WITH SCORE 7067254.561
AT ITER 4402 NEW BEST:: SOT 48653616 SOS 10428838 HAS SOPS 10428838 HAS SOUS 7056105 HAS SOUPS 7056105 WITH SCORE 7066533.838
AT ITER 4411 NEW BEST:: SOT 48652715 SOS 10427036 HAS SOPS 10427036 HAS SOUS 7054303 HAS SOUPS 7054303 WITH SCORE 7064730.036
AT ITER 4459 NEW BEST:: SOT 48652743 SOS 10426410 HAS SOPS 10426410 HAS SOUS 7053677 HAS SOUPS 7053677 WITH SCORE 7064103.41
AT ITER 4460 NEW BEST:: SOT 48652708 SOS 10426340 HAS SOPS 10426340 HAS SOUS 7053607 HAS SOUPS 7053607 WITH SCORE 7064033.34
AT ITER 4482 NEW BEST:: SOT 48651865 SOS 10421489 HAS SOPS 10421489 HAS SOUS 7052075 HAS SOUPS 7052075 WITH SCORE 7062496.489
AT ITER 4484 NEW BEST:: SOT 48651697 SOS 10421153 HAS SOPS 10421153 HAS SOUS 7051526 HAS SOUPS 7051526 WITH SCORE 7061947.153
AT ITER 4529 NEW BEST:: SOT 48651697 SOS 10424104 HAS SOPS 10424104 HAS SOUS 7051196 HAS SOUPS 7051196 WITH SCORE 7061620.104
AT ITER 4544 NEW BEST:: SOT 48650719 SOS 10423126 HAS SOPS 10423126 HAS SOUS 7050218 HAS SOUPS 7050218 WITH SCORE 7060641.126
AT ITER 4565 NEW BEST:: SOT 48650818 SOS 10422930 HAS SOPS 10422930 HAS SOUS 7050120 HAS SOUPS 7050120 WITH SCORE 7060542.93
AT ITER 4576 NEW BEST:: SOT 48650366 SOS 10422252 HAS SOPS 10422252 HAS SOUS 7049894 HAS SOUPS 7049894 WITH SCORE 7060316.252
AT ITER 4610 NEW BEST:: SOT 48650366 SOS 10422252 HAS SOPS 10422252 HAS SOUS 7049893 HAS SOUPS 7049893 WITH SCORE 7060315.252
AT ITER 4623 NEW BEST:: SOT 48650169 SOS 10421858 HAS SOPS 10421858 HAS SOUS 7049499 HAS SOUPS 7049499 WITH SCORE 7059920.858
AT ITER 4634 NEW BEST:: SOT 48650169 SOS 10422488 HAS SOPS 10422488 HAS SOUS 7049497 HAS SOUPS 7049497 WITH SCORE 7059919.488
AT ITER 4636 NEW BEST:: SOT 48649068 SOS 10423585 HAS SOPS 10423585 HAS SOUS 7047294 HAS SOUPS 7047294 WITH SCORE 7057717.585
AT ITER 4640 NEW BEST:: SOT 48649067 SOS 10423583 HAS SOPS 10423583 HAS SOUS 7047292 HAS SOUPS 7047292 WITH SCORE 7057715.583
AT ITER 4679 NEW BEST:: SOT 48648126 SOS 10422685 HAS SOPS 10422685 HAS SOUS 7046351 HAS SOUPS 7046351 WITH SCORE 7056773.685
AT ITER 4680 NEW BEST:: SOT 48648039 SOS 10422507 HAS SOPS 10422507 HAS SOUS 7046176 HAS SOUPS 7046176 WITH SCORE 7056598.507
AT ITER 4703 NEW BEST:: SOT 48647979 SOS 10422387 HAS SOPS 10422387 HAS SOUS 7046056 HAS SOUPS 7046056 WITH SCORE 7056478.387
AT ITER 4722 NEW BEST:: SOT 48647887 SOS 10422203 HAS SOPS 10422203 HAS SOUS 7045964 HAS SOUPS 7045964 WITH SCORE 7056386.203
AT ITER 4732 NEW BEST:: SOT 48648261 SOS 10422003 HAS SOPS 10422003 HAS SOUS 7045764 HAS SOUPS 7045764 WITH SCORE 7056186.003
AT ITER 4739 NEW BEST:: SOT 48648643 SOS 10422767 HAS SOPS 10422767 HAS SOUS 7045396 HAS SOUPS 7045396 WITH SCORE 7055818.767
AT ITER 4752 NEW BEST:: SOT 48648643 SOS 10423083 HAS SOPS 10423083 HAS SOUS 7045395 HAS SOUPS 7045395 WITH SCORE 7055818.083
AT ITER 4758 NEW BEST:: SOT 48648522 SOS 10423321 HAS SOPS 10423321 HAS SOUS 7045273 HAS SOUPS 7045273 WITH SCORE 7055696.321
AT ITER 4774 NEW BEST:: SOT 48646973 SOS 10421768 HAS SOPS 10421768 HAS SOUS 7043723 HAS SOUPS 7043723 WITH SCORE 7054144.768
AT ITER 4788 NEW BEST:: SOT 48645230 SOS 10421710 HAS SOPS 10421710 HAS SOUS 7043665 HAS SOUPS 7043665 WITH SCORE 7054086.71
AT ITER 4803 NEW BEST:: SOT 48645195 SOS 10421640 HAS SOPS 10421640 HAS SOUS 7043595 HAS SOUPS 7043595 WITH SCORE 7054016.64
AT ITER 4836 NEW BEST:: SOT 48645087 SOS 10421424 HAS SOPS 10421424 HAS SOUS 7043379 HAS SOUPS 7043379 WITH SCORE 7053800.424
AT ITER 4857 NEW BEST:: SOT 48644815 SOS 10420880 HAS SOPS 10420880 HAS SOUS 7041845 HAS SOUPS 7041845 WITH SCORE 7052265.88
AT ITER 4889 NEW BEST:: SOT 48644815 SOS 10420880 HAS SOPS 10420880 HAS SOUS 7040290 HAS SOUPS 7040290 WITH SCORE 7050710.88
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-00 ( potential( ( 1 ) <= (tk(P5153)) ) | (EF((EG( potential( ( 1 ) <= (tk(P7182)) ))))) )
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-01 (AF((EF(( potential( ( 2 ) <= (tk(P441)) ) & potential( ( 1 ) <= (tk(P1866)) ) )))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-02 (EF(( potential( ( 1 ) <= (tk(P6623)) ) | ( (! potential( (tk(P3541)) <= (tk(P3792)) )) | potential( ( 2 ) <= (tk(P5569)) ) ) )))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-03 (EF((EU( potential( (tk(P2303)) <= (tk(P7161)) ),potential( ( 3 ) <= (tk(P656)) ) ))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-04 (AG( (AX( potential( (tk(P6472)) <= (tk(P3868)) )))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-05 (AF(potential( ( 3 ) <= (tk(P5814)) )))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-06 (AG( (AF((! potential( (tk(P5999)) <= (tk(P3778)) ))))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-07 (AF((EG( potential( (tk(P5160)) <= (tk(P99)) )))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-08 (AG( ( ( ( potential( ( 1 ) <= (tk(P6475)) ) & potential( (tk(P1229)) <= (tk(P3173)) ) ) & potential( (tk(P4828)) <= (tk(P3591)) ) ) | (EX( potential( (tk(P7083)) <= (tk(P4819)) ))) )))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-09 ( potential( ( 3 ) <= (tk(P3911)) ) | ( (AF((! potential( (tk(P3179)) <= (tk(P6770)) )))) | (EG( ( potential( ( 3 ) <= (tk(P5816)) ) | potential( (tk(P4735)) <= (tk(P501)) ) ))) ) )
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-10 (! (EU( (! potential( ( 2 ) <= (tk(P7110)) )),( potential( ( 3 ) <= (tk(P4306)) ) & potential( (tk(P6661)) <= (tk(P2761)) ) ) )))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-11 (! (AX( (EF(potential( ( 1 ) <= (tk(P1213)) ))))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-12 (AF((EF(potential( ( 1 ) <= (tk(P62)) )))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-13 ( (AG( (EG( potential( (tk(P3561)) <= (tk(P1802)) ))))) | ( (EX( ( potential( ( 3 ) <= (tk(P5936)) ) & potential( (tk(P4278)) <= (tk(P1937)) ) ))) | (EU( potential( ( 3 ) <= (tk(P6146)) ),potential( ( 3 ) <= (tk(P5290)) ) )) ) )
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-14 (! (AG( ( ( potential( ( 1 ) <= (tk(P1178)) ) | potential( (tk(P5604)) <= (tk(P3315)) ) ) & (! potential( ( 1 ) <= (tk(P6042)) )) ))))
PROPERTY: DLCflexbar-PT-3b-CTLCardinality-15 (AF((AG( ( potential( ( 1 ) <= (tk(P6879)) ) & potential( ( 2 ) <= (tk(P1682)) ) )))))

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="DLCflexbar-PT-3b"
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 DLCflexbar-PT-3b, 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 r048-ebro-158902542100363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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