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-158902542400571.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400571
=====================================================================

--------------------
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 5.9K Mar 24 05:37 GenericPropertiesVerdict.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)

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 DLCround-PT-10b-CTLCardinality-00
FORMULA_NAME DLCround-PT-10b-CTLCardinality-01
FORMULA_NAME DLCround-PT-10b-CTLCardinality-02
FORMULA_NAME DLCround-PT-10b-CTLCardinality-03
FORMULA_NAME DLCround-PT-10b-CTLCardinality-04
FORMULA_NAME DLCround-PT-10b-CTLCardinality-05
FORMULA_NAME DLCround-PT-10b-CTLCardinality-06
FORMULA_NAME DLCround-PT-10b-CTLCardinality-07
FORMULA_NAME DLCround-PT-10b-CTLCardinality-08
FORMULA_NAME DLCround-PT-10b-CTLCardinality-09
FORMULA_NAME DLCround-PT-10b-CTLCardinality-10
FORMULA_NAME DLCround-PT-10b-CTLCardinality-11
FORMULA_NAME DLCround-PT-10b-CTLCardinality-12
FORMULA_NAME DLCround-PT-10b-CTLCardinality-13
FORMULA_NAME DLCround-PT-10b-CTLCardinality-14
FORMULA_NAME DLCround-PT-10b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589130011394

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 10b
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: 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 5 NEW BEST:: SOT 15574294 SOS 3699800 HAS SOPS 3699800 HAS SOUS 2071927 HAS SOUPS 2071927 WITH SCORE 2075626.8
AT ITER 15 NEW BEST:: SOT 15573760 SOS 3698732 HAS SOPS 3698732 HAS SOUS 2070576 HAS SOUPS 2070576 WITH SCORE 2074274.732
AT ITER 39 NEW BEST:: SOT 15573324 SOS 3698293 HAS SOPS 3698293 HAS SOUS 2070139 HAS SOUPS 2070139 WITH SCORE 2073837.293
AT ITER 47 NEW BEST:: SOT 15572360 SOS 3695114 HAS SOPS 3695114 HAS SOUS 2068074 HAS SOUPS 2068074 WITH SCORE 2071769.114
AT ITER 105 NEW BEST:: SOT 15572360 SOS 3696151 HAS SOPS 3696151 HAS SOUS 2068072 HAS SOUPS 2068072 WITH SCORE 2071768.151
AT ITER 111 NEW BEST:: SOT 15572273 SOS 3696064 HAS SOPS 3696064 HAS SOUS 2067985 HAS SOUPS 2067985 WITH SCORE 2071681.064
AT ITER 171 NEW BEST:: SOT 15571459 SOS 3694436 HAS SOPS 3694436 HAS SOUS 2066892 HAS SOUPS 2066892 WITH SCORE 2070586.436
AT ITER 173 NEW BEST:: SOT 15571398 SOS 3694554 HAS SOPS 3694554 HAS SOUS 2066830 HAS SOUPS 2066830 WITH SCORE 2070524.554
AT ITER 177 NEW BEST:: SOT 15571398 SOS 3695024 HAS SOPS 3695024 HAS SOUS 2066828 HAS SOUPS 2066828 WITH SCORE 2070523.024
AT ITER 180 NEW BEST:: SOT 15571397 SOS 3695022 HAS SOPS 3695022 HAS SOUS 2066826 HAS SOUPS 2066826 WITH SCORE 2070521.022
AT ITER 182 NEW BEST:: SOT 15570844 SOS 3695826 HAS SOPS 3695826 HAS SOUS 2066162 HAS SOUPS 2066162 WITH SCORE 2069857.826
AT ITER 201 NEW BEST:: SOT 15571050 SOS 3694959 HAS SOPS 3694959 HAS SOUS 2065272 HAS SOUPS 2065272 WITH SCORE 2068966.959
AT ITER 223 NEW BEST:: SOT 15571050 SOS 3695372 HAS SOPS 3695372 HAS SOUS 2065224 HAS SOUPS 2065224 WITH SCORE 2068919.372
AT ITER 242 NEW BEST:: SOT 15571050 SOS 3695372 HAS SOPS 3695372 HAS SOUS 2065219 HAS SOUPS 2065219 WITH SCORE 2068914.372
AT ITER 285 NEW BEST:: SOT 15570523 SOS 3694318 HAS SOPS 3694318 HAS SOUS 2064165 HAS SOUPS 2064165 WITH SCORE 2067859.318
AT ITER 294 NEW BEST:: SOT 15570523 SOS 3694840 HAS SOPS 3694840 HAS SOUS 2064164 HAS SOUPS 2064164 WITH SCORE 2067858.84
AT ITER 296 NEW BEST:: SOT 15570523 SOS 3694632 HAS SOPS 3694632 HAS SOUS 2063956 HAS SOUPS 2063956 WITH SCORE 2067650.632
AT ITER 306 NEW BEST:: SOT 15570495 SOS 3694836 HAS SOPS 3694836 HAS SOUS 2063926 HAS SOUPS 2063926 WITH SCORE 2067620.836
AT ITER 317 NEW BEST:: SOT 15569915 SOS 3693966 HAS SOPS 3693966 HAS SOUS 2063056 HAS SOUPS 2063056 WITH SCORE 2066749.966
AT ITER 351 NEW BEST:: SOT 15569785 SOS 3693982 HAS SOPS 3693982 HAS SOUS 2062865 HAS SOUPS 2062865 WITH SCORE 2066558.982
AT ITER 359 NEW BEST:: SOT 15569785 SOS 3693593 HAS SOPS 3693593 HAS SOUS 2062865 HAS SOUPS 2062865 WITH SCORE 2066558.593
AT ITER 372 NEW BEST:: SOT 15569332 SOS 3693136 HAS SOPS 3693136 HAS SOUS 2062411 HAS SOUPS 2062411 WITH SCORE 2066104.136
AT ITER 429 NEW BEST:: SOT 15569279 SOS 3693030 HAS SOPS 3693030 HAS SOUS 2062305 HAS SOUPS 2062305 WITH SCORE 2065998.03
AT ITER 434 NEW BEST:: SOT 15568832 SOS 3693473 HAS SOPS 3693473 HAS SOUS 2061410 HAS SOUPS 2061410 WITH SCORE 2065103.473
AT ITER 444 NEW BEST:: SOT 15568832 SOS 3694611 HAS SOPS 3694611 HAS SOUS 2061232 HAS SOUPS 2061232 WITH SCORE 2064926.611
AT ITER 454 NEW BEST:: SOT 15568815 SOS 3694641 HAS SOPS 3694641 HAS SOUS 2061214 HAS SOUPS 2061214 WITH SCORE 2064908.641
AT ITER 460 NEW BEST:: SOT 15568800 SOS 3694611 HAS SOPS 3694611 HAS SOUS 2061199 HAS SOUPS 2061199 WITH SCORE 2064893.611
AT ITER 471 NEW BEST:: SOT 15568505 SOS 3696082 HAS SOPS 3696082 HAS SOUS 2061152 HAS SOUPS 2061152 WITH SCORE 2064848.082
AT ITER 473 NEW BEST:: SOT 15568348 SOS 3695768 HAS SOPS 3695768 HAS SOUS 2060838 HAS SOUPS 2060838 WITH SCORE 2064533.768
AT ITER 517 NEW BEST:: SOT 15567899 SOS 3696655 HAS SOPS 3696655 HAS SOUS 2060303 HAS SOUPS 2060303 WITH SCORE 2063999.655
AT ITER 532 NEW BEST:: SOT 15567838 SOS 3696533 HAS SOPS 3696533 HAS SOUS 2060181 HAS SOUPS 2060181 WITH SCORE 2063877.533
AT ITER 540 NEW BEST:: SOT 15567634 SOS 3697130 HAS SOPS 3697130 HAS SOUS 2059977 HAS SOUPS 2059977 WITH SCORE 2063674.13
AT ITER 562 NEW BEST:: SOT 15567634 SOS 3697130 HAS SOPS 3697130 HAS SOUS 2059929 HAS SOUPS 2059929 WITH SCORE 2063626.13
AT ITER 564 NEW BEST:: SOT 15567634 SOS 3697129 HAS SOPS 3697129 HAS SOUS 2059927 HAS SOUPS 2059927 WITH SCORE 2063624.129
AT ITER 573 NEW BEST:: SOT 15567557 SOS 3697052 HAS SOPS 3697052 HAS SOUS 2059927 HAS SOUPS 2059927 WITH SCORE 2063624.052
AT ITER 577 NEW BEST:: SOT 15566908 SOS 3697439 HAS SOPS 3697439 HAS SOUS 2058433 HAS SOUPS 2058433 WITH SCORE 2062130.439
AT ITER 578 NEW BEST:: SOT 15566896 SOS 3697415 HAS SOPS 3697415 HAS SOUS 2058409 HAS SOUPS 2058409 WITH SCORE 2062106.415
AT ITER 615 NEW BEST:: SOT 15566896 SOS 3697415 HAS SOPS 3697415 HAS SOUS 2058408 HAS SOUPS 2058408 WITH SCORE 2062105.415
AT ITER 636 NEW BEST:: SOT 15566895 SOS 3697413 HAS SOPS 3697413 HAS SOUS 2058406 HAS SOUPS 2058406 WITH SCORE 2062103.413
AT ITER 670 NEW BEST:: SOT 15566895 SOS 3698870 HAS SOPS 3698870 HAS SOUS 2058404 HAS SOUPS 2058404 WITH SCORE 2062102.87
AT ITER 687 NEW BEST:: SOT 15566739 SOS 3698869 HAS SOPS 3698869 HAS SOUS 2058403 HAS SOUPS 2058403 WITH SCORE 2062101.869
AT ITER 738 NEW BEST:: SOT 15566676 SOS 3698743 HAS SOPS 3698743 HAS SOUS 2058277 HAS SOUPS 2058277 WITH SCORE 2061975.743
AT ITER 741 NEW BEST:: SOT 15565721 SOS 3697787 HAS SOPS 3697787 HAS SOUS 2057321 HAS SOUPS 2057321 WITH SCORE 2061018.787
AT ITER 763 NEW BEST:: SOT 15565721 SOS 3698353 HAS SOPS 3698353 HAS SOUS 2057320 HAS SOUPS 2057320 WITH SCORE 2061018.353
AT ITER 787 NEW BEST:: SOT 15565721 SOS 3698412 HAS SOPS 3698412 HAS SOUS 2057262 HAS SOUPS 2057262 WITH SCORE 2060960.412
AT ITER 797 NEW BEST:: SOT 15565619 SOS 3698364 HAS SOPS 3698364 HAS SOUS 2057214 HAS SOUPS 2057214 WITH SCORE 2060912.364
AT ITER 826 NEW BEST:: SOT 15564915 SOS 3698363 HAS SOPS 3698363 HAS SOUS 2057213 HAS SOUPS 2057213 WITH SCORE 2060911.363
AT ITER 855 NEW BEST:: SOT 15564915 SOS 3698197 HAS SOPS 3698197 HAS SOUS 2057047 HAS SOUPS 2057047 WITH SCORE 2060745.197
AT ITER 879 NEW BEST:: SOT 15564915 SOS 3698197 HAS SOPS 3698197 HAS SOUS 2057046 HAS SOUPS 2057046 WITH SCORE 2060744.197
AT ITER 906 NEW BEST:: SOT 15564604 SOS 3697886 HAS SOPS 3697886 HAS SOUS 2056735 HAS SOUPS 2056735 WITH SCORE 2060432.886
AT ITER 911 NEW BEST:: SOT 15564604 SOS 3696641 HAS SOPS 3696641 HAS SOUS 2056320 HAS SOUPS 2056320 WITH SCORE 2060016.641
AT ITER 930 NEW BEST:: SOT 15564427 SOS 3696991 HAS SOPS 3696991 HAS SOUS 2056142 HAS SOUPS 2056142 WITH SCORE 2059838.991
AT ITER 957 NEW BEST:: SOT 15564426 SOS 3696989 HAS SOPS 3696989 HAS SOUS 2056140 HAS SOUPS 2056140 WITH SCORE 2059836.989
AT ITER 969 NEW BEST:: SOT 15563732 SOS 3696291 HAS SOPS 3696291 HAS SOUS 2055445 HAS SOUPS 2055445 WITH SCORE 2059141.291
AT ITER 972 NEW BEST:: SOT 15563732 SOS 3696291 HAS SOPS 3696291 HAS SOUS 2055444 HAS SOUPS 2055444 WITH SCORE 2059140.291
AT ITER 1008 NEW BEST:: SOT 15562702 SOS 3695261 HAS SOPS 3695261 HAS SOUS 2054414 HAS SOUPS 2054414 WITH SCORE 2058109.261
AT ITER 1024 NEW BEST:: SOT 15562702 SOS 3694220 HAS SOPS 3694220 HAS SOUS 2054413 HAS SOUPS 2054413 WITH SCORE 2058107.22
AT ITER 1025 NEW BEST:: SOT 15562574 SOS 3693964 HAS SOPS 3693964 HAS SOUS 2053971 HAS SOUPS 2053971 WITH SCORE 2057664.964
AT ITER 1051 NEW BEST:: SOT 15562334 SOS 3693960 HAS SOPS 3693960 HAS SOUS 2053774 HAS SOUPS 2053774 WITH SCORE 2057467.96
AT ITER 1059 NEW BEST:: SOT 15561737 SOS 3693363 HAS SOPS 3693363 HAS SOUS 2053177 HAS SOUPS 2053177 WITH SCORE 2056870.363
AT ITER 1063 NEW BEST:: SOT 15561737 SOS 3693213 HAS SOPS 3693213 HAS SOUS 2053102 HAS SOUPS 2053102 WITH SCORE 2056795.213
AT ITER 1082 NEW BEST:: SOT 15561737 SOS 3693554 HAS SOPS 3693554 HAS SOUS 2053100 HAS SOUPS 2053100 WITH SCORE 2056793.554
AT ITER 1094 NEW BEST:: SOT 15561688 SOS 3693642 HAS SOPS 3693642 HAS SOUS 2053099 HAS SOUPS 2053099 WITH SCORE 2056792.642
AT ITER 1096 NEW BEST:: SOT 15560766 SOS 3688571 HAS SOPS 3688571 HAS SOUS 2052177 HAS SOUPS 2052177 WITH SCORE 2055865.571
AT ITER 1100 NEW BEST:: SOT 15560139 SOS 3689034 HAS SOPS 3689034 HAS SOUS 2050733 HAS SOUPS 2050733 WITH SCORE 2054422.034
AT ITER 1117 NEW BEST:: SOT 15560139 SOS 3689034 HAS SOPS 3689034 HAS SOUS 2050732 HAS SOUPS 2050732 WITH SCORE 2054421.034
AT ITER 1120 NEW BEST:: SOT 15560139 SOS 3689030 HAS SOPS 3689030 HAS SOUS 2050644 HAS SOUPS 2050644 WITH SCORE 2054333.03
AT ITER 1127 NEW BEST:: SOT 15559062 SOS 3688051 HAS SOPS 3688051 HAS SOUS 2049615 HAS SOUPS 2049615 WITH SCORE 2053303.051
AT ITER 1205 NEW BEST:: SOT 15558801 SOS 3689878 HAS SOPS 3689878 HAS SOUS 2049354 HAS SOUPS 2049354 WITH SCORE 2053043.878
AT ITER 1246 NEW BEST:: SOT 15558789 SOS 3689084 HAS SOPS 3689084 HAS SOUS 2049342 HAS SOUPS 2049342 WITH SCORE 2053031.084
AT ITER 1254 NEW BEST:: SOT 15558789 SOS 3689084 HAS SOPS 3689084 HAS SOUS 2049341 HAS SOUPS 2049341 WITH SCORE 2053030.084
AT ITER 1271 NEW BEST:: SOT 15558079 SOS 3688719 HAS SOPS 3688719 HAS SOUS 2048630 HAS SOUPS 2048630 WITH SCORE 2052318.719
AT ITER 1273 NEW BEST:: SOT 15556699 SOS 3687069 HAS SOPS 3687069 HAS SOUS 2046559 HAS SOUPS 2046559 WITH SCORE 2050246.069
AT ITER 1291 NEW BEST:: SOT 15556370 SOS 3687398 HAS SOPS 3687398 HAS SOUS 2046230 HAS SOUPS 2046230 WITH SCORE 2049917.398
AT ITER 1307 NEW BEST:: SOT 15555264 SOS 3687398 HAS SOPS 3687398 HAS SOUS 2044915 HAS SOUPS 2044915 WITH SCORE 2048602.398
AT ITER 1325 NEW BEST:: SOT 15554651 SOS 3686172 HAS SOPS 3686172 HAS SOUS 2043558 HAS SOUPS 2043558 WITH SCORE 2047244.172
AT ITER 1340 NEW BEST:: SOT 15554494 SOS 3685858 HAS SOPS 3685858 HAS SOUS 2043244 HAS SOUPS 2043244 WITH SCORE 2046929.858
AT ITER 1353 NEW BEST:: SOT 15554453 SOS 3685776 HAS SOPS 3685776 HAS SOUS 2043162 HAS SOUPS 2043162 WITH SCORE 2046847.776
AT ITER 1358 NEW BEST:: SOT 15553800 SOS 3685516 HAS SOPS 3685516 HAS SOUS 2042509 HAS SOUPS 2042509 WITH SCORE 2046194.516
AT ITER 1376 NEW BEST:: SOT 15553525 SOS 3684966 HAS SOPS 3684966 HAS SOUS 2041959 HAS SOUPS 2041959 WITH SCORE 2045643.966
AT ITER 1386 NEW BEST:: SOT 15552355 SOS 3683796 HAS SOPS 3683796 HAS SOUS 2040789 HAS SOUPS 2040789 WITH SCORE 2044472.796
AT ITER 1388 NEW BEST:: SOT 15552514 SOS 3682278 HAS SOPS 3682278 HAS SOUS 2040415 HAS SOUPS 2040415 WITH SCORE 2044097.278
AT ITER 1407 NEW BEST:: SOT 15552513 SOS 3682276 HAS SOPS 3682276 HAS SOUS 2040413 HAS SOUPS 2040413 WITH SCORE 2044095.276
AT ITER 1412 NEW BEST:: SOT 15551109 SOS 3680872 HAS SOPS 3680872 HAS SOUS 2039009 HAS SOUPS 2039009 WITH SCORE 2042689.872
AT ITER 1470 NEW BEST:: SOT 15551074 SOS 3680802 HAS SOPS 3680802 HAS SOUS 2038939 HAS SOUPS 2038939 WITH SCORE 2042619.802
AT ITER 1485 NEW BEST:: SOT 15551071 SOS 3682259 HAS SOPS 3682259 HAS SOUS 2038932 HAS SOUPS 2038932 WITH SCORE 2042614.259
AT ITER 1486 NEW BEST:: SOT 15550140 SOS 3682081 HAS SOPS 3682081 HAS SOUS 2038254 HAS SOUPS 2038254 WITH SCORE 2041936.081
AT ITER 1528 NEW BEST:: SOT 15549807 SOS 3681415 HAS SOPS 3681415 HAS SOUS 2037981 HAS SOUPS 2037981 WITH SCORE 2041662.415
AT ITER 1532 NEW BEST:: SOT 15549807 SOS 3682746 HAS SOPS 3682746 HAS SOUS 2037979 HAS SOUPS 2037979 WITH SCORE 2041661.746
AT ITER 1535 NEW BEST:: SOT 15549102 SOS 3681336 HAS SOPS 3681336 HAS SOUS 2036488 HAS SOUPS 2036488 WITH SCORE 2040169.336
AT ITER 1550 NEW BEST:: SOT 15548251 SOS 3680485 HAS SOPS 3680485 HAS SOUS 2035637 HAS SOUPS 2035637 WITH SCORE 2039317.485
AT ITER 1566 NEW BEST:: SOT 15547701 SOS 3679935 HAS SOPS 3679935 HAS SOUS 2035087 HAS SOUPS 2035087 WITH SCORE 2038766.935
AT ITER 1578 NEW BEST:: SOT 15547487 SOS 3681433 HAS SOPS 3681433 HAS SOUS 2034873 HAS SOUPS 2034873 WITH SCORE 2038554.433
AT ITER 1582 NEW BEST:: SOT 15547116 SOS 3687008 HAS SOPS 3687008 HAS SOUS 2034130 HAS SOUPS 2034130 WITH SCORE 2037817.008
AT ITER 1593 NEW BEST:: SOT 15547039 SOS 3686854 HAS SOPS 3686854 HAS SOUS 2033976 HAS SOUPS 2033976 WITH SCORE 2037662.854
AT ITER 1618 NEW BEST:: SOT 15547038 SOS 3686852 HAS SOPS 3686852 HAS SOUS 2033974 HAS SOUPS 2033974 WITH SCORE 2037660.852
AT ITER 1636 NEW BEST:: SOT 15546503 SOS 3685782 HAS SOPS 3685782 HAS SOUS 2033438 HAS SOUPS 2033438 WITH SCORE 2037123.782
AT ITER 1643 NEW BEST:: SOT 15545649 SOS 3684924 HAS SOPS 3684924 HAS SOUS 2032583 HAS SOUPS 2032583 WITH SCORE 2036267.924
AT ITER 1649 NEW BEST:: SOT 15544808 SOS 3685169 HAS SOPS 3685169 HAS SOUS 2030900 HAS SOUPS 2030900 WITH SCORE 2034585.169
AT ITER 1681 NEW BEST:: SOT 15544746 SOS 3685045 HAS SOPS 3685045 HAS SOUS 2030776 HAS SOUPS 2030776 WITH SCORE 2034461.045
AT ITER 1714 NEW BEST:: SOT 15544622 SOS 3684797 HAS SOPS 3684797 HAS SOUS 2030528 HAS SOUPS 2030528 WITH SCORE 2034212.797
AT ITER 1747 NEW BEST:: SOT 15544621 SOS 3684796 HAS SOPS 3684796 HAS SOUS 2030527 HAS SOUPS 2030527 WITH SCORE 2034211.796
AT ITER 1782 NEW BEST:: SOT 15544721 SOS 3684753 HAS SOPS 3684753 HAS SOUS 2030484 HAS SOUPS 2030484 WITH SCORE 2034168.753
AT ITER 1804 NEW BEST:: SOT 15544721 SOS 3684753 HAS SOPS 3684753 HAS SOUS 2029352 HAS SOUPS 2029352 WITH SCORE 2033036.753
AT ITER 1811 NEW BEST:: SOT 15544760 SOS 3686492 HAS SOPS 3686492 HAS SOUS 2029096 HAS SOUPS 2029096 WITH SCORE 2032782.492
AT ITER 1820 NEW BEST:: SOT 15544320 SOS 3690858 HAS SOPS 3690858 HAS SOUS 2028215 HAS SOUPS 2028215 WITH SCORE 2031905.858
AT ITER 1822 NEW BEST:: SOT 15541590 SOS 3687855 HAS SOPS 3687855 HAS SOUS 2026865 HAS SOUPS 2026865 WITH SCORE 2030552.855
AT ITER 1825 NEW BEST:: SOT 15541590 SOS 3687855 HAS SOPS 3687855 HAS SOUS 2026862 HAS SOUPS 2026862 WITH SCORE 2030549.855
AT ITER 1839 NEW BEST:: SOT 15540563 SOS 3676558 HAS SOPS 3676558 HAS SOUS 2024808 HAS SOUPS 2024808 WITH SCORE 2028484.558
AT ITER 1852 NEW BEST:: SOT 15540562 SOS 3676556 HAS SOPS 3676556 HAS SOUS 2024806 HAS SOUPS 2024806 WITH SCORE 2028482.556
AT ITER 1867 NEW BEST:: SOT 15540231 SOS 3680825 HAS SOPS 3680825 HAS SOUS 2024143 HAS SOUPS 2024143 WITH SCORE 2027823.825
AT ITER 1888 NEW BEST:: SOT 15540120 SOS 3681703 HAS SOPS 3681703 HAS SOUS 2024031 HAS SOUPS 2024031 WITH SCORE 2027712.703
AT ITER 1911 NEW BEST:: SOT 15539738 SOS 3680939 HAS SOPS 3680939 HAS SOUS 2023267 HAS SOUPS 2023267 WITH SCORE 2026947.939
AT ITER 1921 NEW BEST:: SOT 15541457 SOS 3673473 HAS SOPS 3673473 HAS SOUS 2022979 HAS SOUPS 2022979 WITH SCORE 2026652.473
AT ITER 1925 NEW BEST:: SOT 15541074 SOS 3673090 HAS SOPS 3673090 HAS SOUS 2022596 HAS SOUPS 2022596 WITH SCORE 2026269.09
AT ITER 1929 NEW BEST:: SOT 15540408 SOS 3673345 HAS SOPS 3673345 HAS SOUS 2022459 HAS SOUPS 2022459 WITH SCORE 2026132.345
AT ITER 1932 NEW BEST:: SOT 15539966 SOS 3671577 HAS SOPS 3671577 HAS SOUS 2021575 HAS SOUPS 2021575 WITH SCORE 2025246.577
AT ITER 1939 NEW BEST:: SOT 15539966 SOS 3671577 HAS SOPS 3671577 HAS SOUS 2021574 HAS SOUPS 2021574 WITH SCORE 2025245.577
AT ITER 1958 NEW BEST:: SOT 15540106 SOS 3671193 HAS SOPS 3671193 HAS SOUS 2021452 HAS SOUPS 2021452 WITH SCORE 2025123.193
AT ITER 1968 NEW BEST:: SOT 15539926 SOS 3670833 HAS SOPS 3670833 HAS SOUS 2020627 HAS SOUPS 2020627 WITH SCORE 2024297.833
AT ITER 1982 NEW BEST:: SOT 15539668 SOS 3670575 HAS SOPS 3670575 HAS SOUS 2020590 HAS SOUPS 2020590 WITH SCORE 2024260.575
AT ITER 1983 NEW BEST:: SOT 15539448 SOS 3670280 HAS SOPS 3670280 HAS SOUS 2020295 HAS SOUPS 2020295 WITH SCORE 2023965.28
AT ITER 1988 NEW BEST:: SOT 15539448 SOS 3671494 HAS SOPS 3671494 HAS SOUS 2019888 HAS SOUPS 2019888 WITH SCORE 2023559.494
AT ITER 1989 NEW BEST:: SOT 15540091 SOS 3672780 HAS SOPS 3672780 HAS SOUS 2019841 HAS SOUPS 2019841 WITH SCORE 2023513.78
AT ITER 2002 NEW BEST:: SOT 15540091 SOS 3672780 HAS SOPS 3672780 HAS SOUS 2019840 HAS SOUPS 2019840 WITH SCORE 2023512.78
AT ITER 2011 NEW BEST:: SOT 15539296 SOS 3663864 HAS SOPS 3663864 HAS SOUS 2018250 HAS SOUPS 2018250 WITH SCORE 2021913.864
AT ITER 2037 NEW BEST:: SOT 15538400 SOS 3663162 HAS SOPS 3663162 HAS SOUS 2017547 HAS SOUPS 2017547 WITH SCORE 2021210.162
AT ITER 2068 NEW BEST:: SOT 15537883 SOS 3662889 HAS SOPS 3662889 HAS SOUS 2016517 HAS SOUPS 2016517 WITH SCORE 2020179.889
AT ITER 2115 NEW BEST:: SOT 15537209 SOS 3663945 HAS SOPS 3663945 HAS SOUS 2016016 HAS SOUPS 2016016 WITH SCORE 2019679.945
AT ITER 2123 NEW BEST:: SOT 15537199 SOS 3663925 HAS SOPS 3663925 HAS SOUS 2016005 HAS SOUPS 2016005 WITH SCORE 2019668.925
AT ITER 2126 NEW BEST:: SOT 15537199 SOS 3662890 HAS SOPS 3662890 HAS SOUS 2016005 HAS SOUPS 2016005 WITH SCORE 2019667.89
AT ITER 2133 NEW BEST:: SOT 15537310 SOS 3663112 HAS SOPS 3663112 HAS SOUS 2015558 HAS SOUPS 2015558 WITH SCORE 2019221.112
AT ITER 2145 NEW BEST:: SOT 15537273 SOS 3663038 HAS SOPS 3663038 HAS SOUS 2015484 HAS SOUPS 2015484 WITH SCORE 2019147.038
AT ITER 2149 NEW BEST:: SOT 15537273 SOS 3663436 HAS SOPS 3663436 HAS SOUS 2015482 HAS SOUPS 2015482 WITH SCORE 2019145.436
AT ITER 2151 NEW BEST:: SOT 15537272 SOS 3663434 HAS SOPS 3663434 HAS SOUS 2015480 HAS SOUPS 2015480 WITH SCORE 2019143.434
AT ITER 2227 NEW BEST:: SOT 15536804 SOS 3664193 HAS SOPS 3664193 HAS SOUS 2015012 HAS SOUPS 2015012 WITH SCORE 2018676.193
AT ITER 2262 NEW BEST:: SOT 15536804 SOS 3664088 HAS SOPS 3664088 HAS SOUS 2014907 HAS SOUPS 2014907 WITH SCORE 2018571.088
AT ITER 2277 NEW BEST:: SOT 15536063 SOS 3663337 HAS SOPS 3663337 HAS SOUS 2014165 HAS SOUPS 2014165 WITH SCORE 2017828.337
AT ITER 2311 NEW BEST:: SOT 15535995 SOS 3663336 HAS SOPS 3663336 HAS SOUS 2014164 HAS SOUPS 2014164 WITH SCORE 2017827.336
AT ITER 2316 NEW BEST:: SOT 15535299 SOS 3662636 HAS SOPS 3662636 HAS SOUS 2013467 HAS SOUPS 2013467 WITH SCORE 2017129.636
AT ITER 2324 NEW BEST:: SOT 15534710 SOS 3662047 HAS SOPS 3662047 HAS SOUS 2012878 HAS SOUPS 2012878 WITH SCORE 2016540.047
AT ITER 2342 NEW BEST:: SOT 15534565 SOS 3661757 HAS SOPS 3661757 HAS SOUS 2012588 HAS SOUPS 2012588 WITH SCORE 2016249.757
AT ITER 2355 NEW BEST:: SOT 15534336 SOS 3661528 HAS SOPS 3661528 HAS SOUS 2012359 HAS SOUPS 2012359 WITH SCORE 2016020.528
AT ITER 2361 NEW BEST:: SOT 15534247 SOS 3661803 HAS SOPS 3661803 HAS SOUS 2012346 HAS SOUPS 2012346 WITH SCORE 2016007.803
AT ITER 2369 NEW BEST:: SOT 15534199 SOS 3661707 HAS SOPS 3661707 HAS SOUS 2012250 HAS SOUPS 2012250 WITH SCORE 2015911.707
AT ITER 2374 NEW BEST:: SOT 15534199 SOS 3661595 HAS SOPS 3661595 HAS SOUS 2012250 HAS SOUPS 2012250 WITH SCORE 2015911.595
AT ITER 2388 NEW BEST:: SOT 15532991 SOS 3659783 HAS SOPS 3659783 HAS SOUS 2010438 HAS SOUPS 2010438 WITH SCORE 2014097.783
AT ITER 2392 NEW BEST:: SOT 15532991 SOS 3659528 HAS SOPS 3659528 HAS SOUS 2010438 HAS SOUPS 2010438 WITH SCORE 2014097.528
AT ITER 2419 NEW BEST:: SOT 15533604 SOS 3660754 HAS SOPS 3660754 HAS SOUS 2010395 HAS SOUPS 2010395 WITH SCORE 2014055.754
AT ITER 2429 NEW BEST:: SOT 15533602 SOS 3660750 HAS SOPS 3660750 HAS SOUS 2010391 HAS SOUPS 2010391 WITH SCORE 2014051.75
AT ITER 2434 NEW BEST:: SOT 15532648 SOS 3660404 HAS SOPS 3660404 HAS SOUS 2009622 HAS SOUPS 2009622 WITH SCORE 2013282.404
AT ITER 2439 NEW BEST:: SOT 15532795 SOS 3660418 HAS SOPS 3660418 HAS SOUS 2009344 HAS SOUPS 2009344 WITH SCORE 2013004.418
AT ITER 2464 NEW BEST:: SOT 15532189 SOS 3664660 HAS SOPS 3664660 HAS SOUS 2008738 HAS SOUPS 2008738 WITH SCORE 2012402.66
AT ITER 2471 NEW BEST:: SOT 15531886 SOS 3664054 HAS SOPS 3664054 HAS SOUS 2007741 HAS SOUPS 2007741 WITH SCORE 2011405.054
AT ITER 2483 NEW BEST:: SOT 15531865 SOS 3664012 HAS SOPS 3664012 HAS SOUS 2007720 HAS SOUPS 2007720 WITH SCORE 2011384.012
AT ITER 2504 NEW BEST:: SOT 15531703 SOS 3663688 HAS SOPS 3663688 HAS SOUS 2007123 HAS SOUPS 2007123 WITH SCORE 2010786.688
AT ITER 2505 NEW BEST:: SOT 15531013 SOS 3662988 HAS SOPS 3662988 HAS SOUS 2006432 HAS SOUPS 2006432 WITH SCORE 2010094.988
AT ITER 2530 NEW BEST:: SOT 15530959 SOS 3662976 HAS SOPS 3662976 HAS SOUS 2006420 HAS SOUPS 2006420 WITH SCORE 2010082.976
AT ITER 2532 NEW BEST:: SOT 15530959 SOS 3662556 HAS SOPS 3662556 HAS SOUS 2006210 HAS SOUPS 2006210 WITH SCORE 2009872.556
AT ITER 2547 NEW BEST:: SOT 15530959 SOS 3662556 HAS SOPS 3662556 HAS SOUS 2006192 HAS SOUPS 2006192 WITH SCORE 2009854.556
AT ITER 2553 NEW BEST:: SOT 15530959 SOS 3661596 HAS SOPS 3661596 HAS SOUS 2006191 HAS SOUPS 2006191 WITH SCORE 2009852.596
AT ITER 2581 NEW BEST:: SOT 15530397 SOS 3661034 HAS SOPS 3661034 HAS SOUS 2005067 HAS SOUPS 2005067 WITH SCORE 2008728.034
AT ITER 2593 NEW BEST:: SOT 15530397 SOS 3660817 HAS SOPS 3660817 HAS SOUS 2004850 HAS SOUPS 2004850 WITH SCORE 2008510.817
AT ITER 2596 NEW BEST:: SOT 15530397 SOS 3661887 HAS SOPS 3661887 HAS SOUS 2004794 HAS SOUPS 2004794 WITH SCORE 2008455.887
AT ITER 2614 NEW BEST:: SOT 15528683 SOS 3660220 HAS SOPS 3660220 HAS SOUS 2003127 HAS SOUPS 2003127 WITH SCORE 2006787.22
AT ITER 2621 NEW BEST:: SOT 15528620 SOS 3660157 HAS SOPS 3660157 HAS SOUS 2003064 HAS SOUPS 2003064 WITH SCORE 2006724.157
AT ITER 2633 NEW BEST:: SOT 15528620 SOS 3659947 HAS SOPS 3659947 HAS SOUS 2002994 HAS SOUPS 2002994 WITH SCORE 2006653.947
AT ITER 2689 NEW BEST:: SOT 15528551 SOS 3659809 HAS SOPS 3659809 HAS SOUS 2002856 HAS SOUPS 2002856 WITH SCORE 2006515.809
AT ITER 2724 NEW BEST:: SOT 15528551 SOS 3659581 HAS SOPS 3659581 HAS SOUS 2002856 HAS SOUPS 2002856 WITH SCORE 2006515.581
AT ITER 2740 NEW BEST:: SOT 15528551 SOS 3658423 HAS SOPS 3658423 HAS SOUS 2002470 HAS SOUPS 2002470 WITH SCORE 2006128.423
AT ITER 2744 NEW BEST:: SOT 15528551 SOS 3657911 HAS SOPS 3657911 HAS SOUS 2002470 HAS SOUPS 2002470 WITH SCORE 2006127.911
AT ITER 2785 NEW BEST:: SOT 15528551 SOS 3658070 HAS SOPS 3658070 HAS SOUS 2002469 HAS SOUPS 2002469 WITH SCORE 2006127.07
AT ITER 2810 NEW BEST:: SOT 15528551 SOS 3658070 HAS SOPS 3658070 HAS SOUS 2002236 HAS SOUPS 2002236 WITH SCORE 2005894.07
AT ITER 2845 NEW BEST:: SOT 15528585 SOS 3657628 HAS SOPS 3657628 HAS SOUS 2002134 HAS SOUPS 2002134 WITH SCORE 2005791.628
AT ITER 2846 NEW BEST:: SOT 15528827 SOS 3657870 HAS SOPS 3657870 HAS SOUS 2002133 HAS SOUPS 2002133 WITH SCORE 2005790.87
AT ITER 2867 NEW BEST:: SOT 15527493 SOS 3666052 HAS SOPS 3666052 HAS SOUS 2001144 HAS SOUPS 2001144 WITH SCORE 2004810.052
AT ITER 2869 NEW BEST:: SOT 15527348 SOS 3665762 HAS SOPS 3665762 HAS SOUS 2000854 HAS SOUPS 2000854 WITH SCORE 2004519.762
AT ITER 2893 NEW BEST:: SOT 15527335 SOS 3665736 HAS SOPS 3665736 HAS SOUS 2000828 HAS SOUPS 2000828 WITH SCORE 2004493.736
AT ITER 2902 NEW BEST:: SOT 15527334 SOS 3665734 HAS SOPS 3665734 HAS SOUS 2000826 HAS SOUPS 2000826 WITH SCORE 2004491.734
AT ITER 2906 NEW BEST:: SOT 15527309 SOS 3665459 HAS SOPS 3665459 HAS SOUS 2000776 HAS SOUPS 2000776 WITH SCORE 2004441.459
AT ITER 2907 NEW BEST:: SOT 15527237 SOS 3665315 HAS SOPS 3665315 HAS SOUS 2000766 HAS SOUPS 2000766 WITH SCORE 2004431.315
AT ITER 2908 NEW BEST:: SOT 15527222 SOS 3665415 HAS SOPS 3665415 HAS SOUS 2000749 HAS SOUPS 2000749 WITH SCORE 2004414.415
AT ITER 2919 NEW BEST:: SOT 15527025 SOS 3665021 HAS SOPS 3665021 HAS SOUS 2000552 HAS SOUPS 2000552 WITH SCORE 2004217.021
AT ITER 2922 NEW BEST:: SOT 15526679 SOS 3664675 HAS SOPS 3664675 HAS SOUS 2000206 HAS SOUPS 2000206 WITH SCORE 2003870.675
AT ITER 2951 NEW BEST:: SOT 15526578 SOS 3669377 HAS SOPS 3669377 HAS SOUS 2000003 HAS SOUPS 2000003 WITH SCORE 2003672.377
AT ITER 2954 NEW BEST:: SOT 15525690 SOS 3659609 HAS SOPS 3659609 HAS SOUS 1998227 HAS SOUPS 1998227 WITH SCORE 2001886.609
AT ITER 2955 NEW BEST:: SOT 15525448 SOS 3656413 HAS SOPS 3656413 HAS SOUS 1997850 HAS SOUPS 1997850 WITH SCORE 2001506.413
AT ITER 2959 NEW BEST:: SOT 15524544 SOS 3648277 HAS SOPS 3648277 HAS SOUS 1996545 HAS SOUPS 1996545 WITH SCORE 2000193.277
AT ITER 2965 NEW BEST:: SOT 15524509 SOS 3648172 HAS SOPS 3648172 HAS SOUS 1996475 HAS SOUPS 1996475 WITH SCORE 2000123.172
AT ITER 2974 NEW BEST:: SOT 15524509 SOS 3648096 HAS SOPS 3648096 HAS SOUS 1996399 HAS SOUPS 1996399 WITH SCORE 2000047.096
AT ITER 3026 NEW BEST:: SOT 15524437 SOS 3642912 HAS SOPS 3642912 HAS SOUS 1996255 HAS SOUPS 1996255 WITH SCORE 1999897.912
AT ITER 3058 NEW BEST:: SOT 15524200 SOS 3643145 HAS SOPS 3643145 HAS SOUS 1995780 HAS SOUPS 1995780 WITH SCORE 1999423.145
AT ITER 3062 NEW BEST:: SOT 15523917 SOS 3642579 HAS SOPS 3642579 HAS SOUS 1995214 HAS SOUPS 1995214 WITH SCORE 1998856.579
AT ITER 3069 NEW BEST:: SOT 15523816 SOS 3642377 HAS SOPS 3642377 HAS SOUS 1994873 HAS SOUPS 1994873 WITH SCORE 1998515.377
AT ITER 3072 NEW BEST:: SOT 15523614 SOS 3642579 HAS SOPS 3642579 HAS SOUS 1994671 HAS SOUPS 1994671 WITH SCORE 1998313.579
AT ITER 3074 NEW BEST:: SOT 15523516 SOS 3643255 HAS SOPS 3643255 HAS SOUS 1994474 HAS SOUPS 1994474 WITH SCORE 1998117.255
AT ITER 3078 NEW BEST:: SOT 15522662 SOS 3642828 HAS SOPS 3642828 HAS SOUS 1994047 HAS SOUPS 1994047 WITH SCORE 1997689.828
AT ITER 3090 NEW BEST:: SOT 15522662 SOS 3642638 HAS SOPS 3642638 HAS SOUS 1994047 HAS SOUPS 1994047 WITH SCORE 1997689.638
AT ITER 3093 NEW BEST:: SOT 15522089 SOS 3639868 HAS SOPS 3639868 HAS SOUS 1993197 HAS SOUPS 1993197 WITH SCORE 1996836.868
AT ITER 3112 NEW BEST:: SOT 15521551 SOS 3638792 HAS SOPS 3638792 HAS SOUS 1992121 HAS SOUPS 1992121 WITH SCORE 1995759.792
AT ITER 3121 NEW BEST:: SOT 15521268 SOS 3638502 HAS SOPS 3638502 HAS SOUS 1991844 HAS SOUPS 1991844 WITH SCORE 1995482.502
AT ITER 3128 NEW BEST:: SOT 15520907 SOS 3637780 HAS SOPS 3637780 HAS SOUS 1991536 HAS SOUPS 1991536 WITH SCORE 1995173.78
AT ITER 3180 NEW BEST:: SOT 15520907 SOS 3639174 HAS SOPS 3639174 HAS SOUS 1991379 HAS SOUPS 1991379 WITH SCORE 1995018.174
AT ITER 3205 NEW BEST:: SOT 15520416 SOS 3638728 HAS SOPS 3638728 HAS SOUS 1990932 HAS SOUPS 1990932 WITH SCORE 1994570.728
AT ITER 3212 NEW BEST:: SOT 15520416 SOS 3640225 HAS SOPS 3640225 HAS SOUS 1990594 HAS SOUPS 1990594 WITH SCORE 1994234.225
AT ITER 3227 NEW BEST:: SOT 15520416 SOS 3640225 HAS SOPS 3640225 HAS SOUS 1990484 HAS SOUPS 1990484 WITH SCORE 1994124.225
AT ITER 3252 NEW BEST:: SOT 15520388 SOS 3640197 HAS SOPS 3640197 HAS SOUS 1990456 HAS SOUPS 1990456 WITH SCORE 1994096.197
AT ITER 3263 NEW BEST:: SOT 15520388 SOS 3640793 HAS SOPS 3640793 HAS SOUS 1990454 HAS SOUPS 1990454 WITH SCORE 1994094.793
AT ITER 3267 NEW BEST:: SOT 15520247 SOS 3640790 HAS SOPS 3640790 HAS SOUS 1990453 HAS SOUPS 1990453 WITH SCORE 1994093.79
AT ITER 3271 NEW BEST:: SOT 15520355 SOS 3639428 HAS SOPS 3639428 HAS SOUS 1990143 HAS SOUPS 1990143 WITH SCORE 1993782.428
AT ITER 3331 NEW BEST:: SOT 15519565 SOS 3638638 HAS SOPS 3638638 HAS SOUS 1990143 HAS SOUPS 1990143 WITH SCORE 1993781.638
AT ITER 3333 NEW BEST:: SOT 15519564 SOS 3638636 HAS SOPS 3638636 HAS SOUS 1990141 HAS SOUPS 1990141 WITH SCORE 1993779.636
AT ITER 3363 NEW BEST:: SOT 15519564 SOS 3638051 HAS SOPS 3638051 HAS SOUS 1990141 HAS SOUPS 1990141 WITH SCORE 1993779.051
AT ITER 3367 NEW BEST:: SOT 15518568 SOS 3636059 HAS SOPS 3636059 HAS SOUS 1988149 HAS SOUPS 1988149 WITH SCORE 1991785.059
AT ITER 3411 NEW BEST:: SOT 15516957 SOS 3634145 HAS SOPS 3634145 HAS SOUS 1987449 HAS SOUPS 1987449 WITH SCORE 1991083.145
AT ITER 3414 NEW BEST:: SOT 15516939 SOS 3634124 HAS SOPS 3634124 HAS SOUS 1987430 HAS SOUPS 1987430 WITH SCORE 1991064.124
AT ITER 3415 NEW BEST:: SOT 15516939 SOS 3634124 HAS SOPS 3634124 HAS SOUS 1987022 HAS SOUPS 1987022 WITH SCORE 1990656.124
AT ITER 3427 NEW BEST:: SOT 15516224 SOS 3633696 HAS SOPS 3633696 HAS SOUS 1986285 HAS SOUPS 1986285 WITH SCORE 1989918.696
AT ITER 3448 NEW BEST:: SOT 15516040 SOS 3633880 HAS SOPS 3633880 HAS SOUS 1986101 HAS SOUPS 1986101 WITH SCORE 1989734.88
AT ITER 3488 NEW BEST:: SOT 15515752 SOS 3632504 HAS SOPS 3632504 HAS SOUS 1985613 HAS SOUPS 1985613 WITH SCORE 1989245.504
AT ITER 3496 NEW BEST:: SOT 15515878 SOS 3631109 HAS SOPS 3631109 HAS SOUS 1985190 HAS SOUPS 1985190 WITH SCORE 1988821.109
AT ITER 3501 NEW BEST:: SOT 15515842 SOS 3631037 HAS SOPS 3631037 HAS SOUS 1984740 HAS SOUPS 1984740 WITH SCORE 1988371.037
AT ITER 3523 NEW BEST:: SOT 15513584 SOS 3628672 HAS SOPS 3628672 HAS SOUS 1982375 HAS SOUPS 1982375 WITH SCORE 1986003.672
AT ITER 3535 NEW BEST:: SOT 15512446 SOS 3627800 HAS SOPS 3627800 HAS SOUS 1981503 HAS SOUPS 1981503 WITH SCORE 1985130.8
AT ITER 3536 NEW BEST:: SOT 15512689 SOS 3627512 HAS SOPS 3627512 HAS SOUS 1981359 HAS SOUPS 1981359 WITH SCORE 1984986.512
AT ITER 3572 NEW BEST:: SOT 15511699 SOS 3627198 HAS SOPS 3627198 HAS SOUS 1980629 HAS SOUPS 1980629 WITH SCORE 1984256.198
AT ITER 3604 NEW BEST:: SOT 15511680 SOS 3627160 HAS SOPS 3627160 HAS SOUS 1980591 HAS SOUPS 1980591 WITH SCORE 1984218.16
AT ITER 3616 NEW BEST:: SOT 15511475 SOS 3626955 HAS SOPS 3626955 HAS SOUS 1980386 HAS SOUPS 1980386 WITH SCORE 1984012.955
AT ITER 3619 NEW BEST:: SOT 15511475 SOS 3626763 HAS SOPS 3626763 HAS SOUS 1980290 HAS SOUPS 1980290 WITH SCORE 1983916.763
AT ITER 3701 NEW BEST:: SOT 15511475 SOS 3627034 HAS SOPS 3627034 HAS SOUS 1980171 HAS SOUPS 1980171 WITH SCORE 1983798.034
AT ITER 3705 NEW BEST:: SOT 15511703 SOS 3628238 HAS SOPS 3628238 HAS SOUS 1980123 HAS SOUPS 1980123 WITH SCORE 1983751.238
AT ITER 3722 NEW BEST:: SOT 15511064 SOS 3627599 HAS SOPS 3627599 HAS SOUS 1979484 HAS SOUPS 1979484 WITH SCORE 1983111.599
AT ITER 3740 NEW BEST:: SOT 15510782 SOS 3627035 HAS SOPS 3627035 HAS SOUS 1978920 HAS SOUPS 1978920 WITH SCORE 1982547.035
AT ITER 3748 NEW BEST:: SOT 15510767 SOS 3627005 HAS SOPS 3627005 HAS SOUS 1978890 HAS SOUPS 1978890 WITH SCORE 1982517.005
AT ITER 3750 NEW BEST:: SOT 15510767 SOS 3626401 HAS SOPS 3626401 HAS SOUS 1978588 HAS SOUPS 1978588 WITH SCORE 1982214.401
AT ITER 3757 NEW BEST:: SOT 15510739 SOS 3626401 HAS SOPS 3626401 HAS SOUS 1978560 HAS SOUPS 1978560 WITH SCORE 1982186.401
AT ITER 3801 NEW BEST:: SOT 15510233 SOS 3626110 HAS SOPS 3626110 HAS SOUS 1978105 HAS SOUPS 1978105 WITH SCORE 1981731.11
AT ITER 3846 NEW BEST:: SOT 15509747 SOS 3625690 HAS SOPS 3625690 HAS SOUS 1977685 HAS SOUPS 1977685 WITH SCORE 1981310.69
AT ITER 3850 NEW BEST:: SOT 15509734 SOS 3625676 HAS SOPS 3625676 HAS SOUS 1977681 HAS SOUPS 1977681 WITH SCORE 1981306.676
AT ITER 3862 NEW BEST:: SOT 15509675 SOS 3625735 HAS SOPS 3625735 HAS SOUS 1977622 HAS SOUPS 1977622 WITH SCORE 1981247.735
AT ITER 3876 NEW BEST:: SOT 15509613 SOS 3625734 HAS SOPS 3625734 HAS SOUS 1977621 HAS SOUPS 1977621 WITH SCORE 1981246.734
AT ITER 3897 NEW BEST:: SOT 15508840 SOS 3624989 HAS SOPS 3624989 HAS SOUS 1976876 HAS SOUPS 1976876 WITH SCORE 1980500.989
AT ITER 3902 NEW BEST:: SOT 15508840 SOS 3625286 HAS SOPS 3625286 HAS SOUS 1976875 HAS SOUPS 1976875 WITH SCORE 1980500.286
AT ITER 3912 NEW BEST:: SOT 15508694 SOS 3625140 HAS SOPS 3625140 HAS SOUS 1976729 HAS SOUPS 1976729 WITH SCORE 1980354.14
AT ITER 3935 NEW BEST:: SOT 15508694 SOS 3626815 HAS SOPS 3626815 HAS SOUS 1976617 HAS SOUPS 1976617 WITH SCORE 1980243.815
AT ITER 3947 NEW BEST:: SOT 15508694 SOS 3626815 HAS SOPS 3626815 HAS SOUS 1976548 HAS SOUPS 1976548 WITH SCORE 1980174.815
AT ITER 3961 NEW BEST:: SOT 15508407 SOS 3621392 HAS SOPS 3621392 HAS SOUS 1975888 HAS SOUPS 1975888 WITH SCORE 1979509.392
AT ITER 3978 NEW BEST:: SOT 15507420 SOS 3621230 HAS SOPS 3621230 HAS SOUS 1975611 HAS SOUPS 1975611 WITH SCORE 1979232.23
AT ITER 4015 NEW BEST:: SOT 15507636 SOS 3621662 HAS SOPS 3621662 HAS SOUS 1975364 HAS SOUPS 1975364 WITH SCORE 1978985.662
AT ITER 4026 NEW BEST:: SOT 15507342 SOS 3621515 HAS SOPS 3621515 HAS SOUS 1975217 HAS SOUPS 1975217 WITH SCORE 1978838.515
AT ITER 4030 NEW BEST:: SOT 15507389 SOS 3621609 HAS SOPS 3621609 HAS SOUS 1974277 HAS SOUPS 1974277 WITH SCORE 1977898.609
AT ITER 4084 NEW BEST:: SOT 15507231 SOS 3621351 HAS SOPS 3621351 HAS SOUS 1974019 HAS SOUPS 1974019 WITH SCORE 1977640.351
AT ITER 4101 NEW BEST:: SOT 15507231 SOS 3620937 HAS SOPS 3620937 HAS SOUS 1973887 HAS SOUPS 1973887 WITH SCORE 1977507.937
AT ITER 4109 NEW BEST:: SOT 15507073 SOS 3620028 HAS SOPS 3620028 HAS SOUS 1973571 HAS SOUPS 1973571 WITH SCORE 1977191.028
AT ITER 4135 NEW BEST:: SOT 15507200 SOS 3620282 HAS SOPS 3620282 HAS SOUS 1973155 HAS SOUPS 1973155 WITH SCORE 1976775.282
AT ITER 4147 NEW BEST:: SOT 15507164 SOS 3620246 HAS SOPS 3620246 HAS SOUS 1973155 HAS SOUPS 1973155 WITH SCORE 1976775.246
AT ITER 4157 NEW BEST:: SOT 15507097 SOS 3620231 HAS SOPS 3620231 HAS SOUS 1973120 HAS SOUPS 1973120 WITH SCORE 1976740.231
AT ITER 4161 NEW BEST:: SOT 15506819 SOS 3619675 HAS SOPS 3619675 HAS SOUS 1972391 HAS SOUPS 1972391 WITH SCORE 1976010.675
AT ITER 4171 NEW BEST:: SOT 15507239 SOS 3620515 HAS SOPS 3620515 HAS SOUS 1971959 HAS SOUPS 1971959 WITH SCORE 1975579.515
AT ITER 4196 NEW BEST:: SOT 15506638 SOS 3620505 HAS SOPS 3620505 HAS SOUS 1971563 HAS SOUPS 1971563 WITH SCORE 1975183.505
AT ITER 4202 NEW BEST:: SOT 15506638 SOS 3620487 HAS SOPS 3620487 HAS SOUS 1971563 HAS SOUPS 1971563 WITH SCORE 1975183.487
AT ITER 4217 NEW BEST:: SOT 15506638 SOS 3619295 HAS SOPS 3619295 HAS SOUS 1971563 HAS SOUPS 1971563 WITH SCORE 1975182.295
AT ITER 4258 NEW BEST:: SOT 15506638 SOS 3619849 HAS SOPS 3619849 HAS SOUS 1971500 HAS SOUPS 1971500 WITH SCORE 1975119.849
AT ITER 4259 NEW BEST:: SOT 15506647 SOS 3619867 HAS SOPS 3619867 HAS SOUS 1971005 HAS SOUPS 1971005 WITH SCORE 1974624.867
AT ITER 4285 NEW BEST:: SOT 15503938 SOS 3619007 HAS SOPS 3619007 HAS SOUS 1968520 HAS SOUPS 1968520 WITH SCORE 1972139.007
AT ITER 4294 NEW BEST:: SOT 15503866 SOS 3619701 HAS SOPS 3619701 HAS SOUS 1968448 HAS SOUPS 1968448 WITH SCORE 1972067.701
AT ITER 4305 NEW BEST:: SOT 15504264 SOS 3620098 HAS SOPS 3620098 HAS SOUS 1968447 HAS SOUPS 1968447 WITH SCORE 1972067.098
AT ITER 4307 NEW BEST:: SOT 15504264 SOS 3619912 HAS SOPS 3619912 HAS SOUS 1968354 HAS SOUPS 1968354 WITH SCORE 1971973.912
AT ITER 4333 NEW BEST:: SOT 15504216 SOS 3619816 HAS SOPS 3619816 HAS SOUS 1968208 HAS SOUPS 1968208 WITH SCORE 1971827.816
AT ITER 4349 NEW BEST:: SOT 15503399 SOS 3619697 HAS SOPS 3619697 HAS SOUS 1967515 HAS SOUPS 1967515 WITH SCORE 1971134.697
AT ITER 4362 NEW BEST:: SOT 15503399 SOS 3619697 HAS SOPS 3619697 HAS SOUS 1967510 HAS SOUPS 1967510 WITH SCORE 1971129.697
AT ITER 4390 NEW BEST:: SOT 15503326 SOS 3619551 HAS SOPS 3619551 HAS SOUS 1967364 HAS SOUPS 1967364 WITH SCORE 1970983.551
AT ITER 4392 NEW BEST:: SOT 15503306 SOS 3619531 HAS SOPS 3619531 HAS SOUS 1967344 HAS SOUPS 1967344 WITH SCORE 1970963.531
AT ITER 4417 NEW BEST:: SOT 15503306 SOS 3619494 HAS SOPS 3619494 HAS SOUS 1967307 HAS SOUPS 1967307 WITH SCORE 1970926.494
AT ITER 4425 NEW BEST:: SOT 15503306 SOS 3618114 HAS SOPS 3618114 HAS SOUS 1967307 HAS SOUPS 1967307 WITH SCORE 1970925.114
AT ITER 4428 NEW BEST:: SOT 15503062 SOS 3617626 HAS SOPS 3617626 HAS SOUS 1967293 HAS SOUPS 1967293 WITH SCORE 1970910.626
AT ITER 4429 NEW BEST:: SOT 15503062 SOS 3616816 HAS SOPS 3616816 HAS SOUS 1967023 HAS SOUPS 1967023 WITH SCORE 1970639.816
AT ITER 4465 NEW BEST:: SOT 15502580 SOS 3614406 HAS SOPS 3614406 HAS SOUS 1966059 HAS SOUPS 1966059 WITH SCORE 1969673.406
AT ITER 4472 NEW BEST:: SOT 15502289 SOS 3615843 HAS SOPS 3615843 HAS SOUS 1965612 HAS SOUPS 1965612 WITH SCORE 1969227.843
AT ITER 4495 NEW BEST:: SOT 15502049 SOS 3614461 HAS SOPS 3614461 HAS SOUS 1964921 HAS SOUPS 1964921 WITH SCORE 1968535.461
AT ITER 4540 NEW BEST:: SOT 15501641 SOS 3608439 HAS SOPS 3608439 HAS SOUS 1964191 HAS SOUPS 1964191 WITH SCORE 1967799.439
AT ITER 4557 NEW BEST:: SOT 15501557 SOS 3608271 HAS SOPS 3608271 HAS SOUS 1964107 HAS SOUPS 1964107 WITH SCORE 1967715.271
AT ITER 4566 NEW BEST:: SOT 15501557 SOS 3607080 HAS SOPS 3607080 HAS SOUS 1963710 HAS SOUPS 1963710 WITH SCORE 1967317.08
AT ITER 4586 NEW BEST:: SOT 15501557 SOS 3607080 HAS SOPS 3607080 HAS SOUS 1963709 HAS SOUPS 1963709 WITH SCORE 1967316.08
AT ITER 4589 NEW BEST:: SOT 15501080 SOS 3606126 HAS SOPS 3606126 HAS SOUS 1962755 HAS SOUPS 1962755 WITH SCORE 1966361.126
AT ITER 4610 NEW BEST:: SOT 15499640 SOS 3604686 HAS SOPS 3604686 HAS SOUS 1961315 HAS SOUPS 1961315 WITH SCORE 1964919.686
AT ITER 4638 NEW BEST:: SOT 15499639 SOS 3604525 HAS SOPS 3604525 HAS SOUS 1961154 HAS SOUPS 1961154 WITH SCORE 1964758.525
AT ITER 4665 NEW BEST:: SOT 15497958 SOS 3602293 HAS SOPS 3602293 HAS SOUS 1958343 HAS SOUPS 1958343 WITH SCORE 1961945.293
AT ITER 4682 NEW BEST:: SOT 15497774 SOS 3600269 HAS SOPS 3600269 HAS SOUS 1957975 HAS SOUPS 1957975 WITH SCORE 1961575.269
AT ITER 4810 NEW BEST:: SOT 15497700 SOS 3601311 HAS SOPS 3601311 HAS SOUS 1957817 HAS SOUPS 1957817 WITH SCORE 1961418.311
AT ITER 4852 NEW BEST:: SOT 15497694 SOS 3601299 HAS SOPS 3601299 HAS SOUS 1957805 HAS SOUPS 1957805 WITH SCORE 1961406.299
AT ITER 4859 NEW BEST:: SOT 15497488 SOS 3601501 HAS SOPS 3601501 HAS SOUS 1957392 HAS SOUPS 1957392 WITH SCORE 1960993.501
AT ITER 4874 NEW BEST:: SOT 15497488 SOS 3598333 HAS SOPS 3598333 HAS SOUS 1957392 HAS SOUPS 1957392 WITH SCORE 1960990.333
AT ITER 4898 NEW BEST:: SOT 15497067 SOS 3598754 HAS SOPS 3598754 HAS SOUS 1956971 HAS SOUPS 1956971 WITH SCORE 1960569.754
AT ITER 4917 NEW BEST:: SOT 15495865 SOS 3597370 HAS SOPS 3597370 HAS SOUS 1955641 HAS SOUPS 1955641 WITH SCORE 1959238.37
AT ITER 4921 NEW BEST:: SOT 15495294 SOS 3587206 HAS SOPS 3587206 HAS SOUS 1952824 HAS SOUPS 1952824 WITH SCORE 1956411.206
AT ITER 4956 NEW BEST:: SOT 15494243 SOS 3586334 HAS SOPS 3586334 HAS SOUS 1951952 HAS SOUPS 1951952 WITH SCORE 1955538.334
AT ITER 4962 NEW BEST:: SOT 15494243 SOS 3587063 HAS SOPS 3587063 HAS SOUS 1951951 HAS SOUPS 1951951 WITH SCORE 1955538.063
AT ITER 4971 NEW BEST:: SOT 15493968 SOS 3587962 HAS SOPS 3587962 HAS SOUS 1951884 HAS SOUPS 1951884 WITH SCORE 1955471.962
AT ITER 4974 NEW BEST:: SOT 15493959 SOS 3587944 HAS SOPS 3587944 HAS SOUS 1951866 HAS SOUPS 1951866 WITH SCORE 1955453.944
AT ITER 4992 NEW BEST:: SOT 15492817 SOS 3586802 HAS SOPS 3586802 HAS SOUS 1950724 HAS SOUPS 1950724 WITH SCORE 1954310.802
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCround-PT-10b-CTLCardinality-00 (AG( ( (EF(potential( (tk(P3768)) <= (tk(P2497)) ))) & (AF(potential( ( 3 ) <= (tk(P2437)) ))) )))
PROPERTY: DLCround-PT-10b-CTLCardinality-01 ( (EG( ( (! potential( ( 2 ) <= (tk(P124)) )) | ( potential( (tk(P2983)) <= (tk(P1314)) ) & potential( (tk(P3341)) <= (tk(P3768)) ) ) ))) | ( potential( (tk(P2986)) <= (tk(P692)) ) & ( (AG( potential( ( 2 ) <= (tk(P2672)) ))) & ( (! potential( (tk(P3410)) <= (tk(P555)) )) & ( potential( ( 3 ) <= (tk(P685)) ) & potential( (tk(P926)) <= (tk(P3873)) ) ) ) ) ) )
PROPERTY: DLCround-PT-10b-CTLCardinality-02 ( ( potential( ( 3 ) <= (tk(P1377)) ) | ( (EG( potential( (tk(P2558)) <= (tk(P2802)) ))) & (EG( potential( (tk(P3840)) <= (tk(P3191)) ))) ) ) | (EG( ( (! potential( ( 1 ) <= (tk(P3653)) )) | (! potential( ( 1 ) <= (tk(P3048)) )) ))) )
PROPERTY: DLCround-PT-10b-CTLCardinality-03 (EG( (AX( ( potential( (tk(P1652)) <= (tk(P3734)) ) | potential( (tk(P3347)) <= (tk(P1403)) ) )))))
PROPERTY: DLCround-PT-10b-CTLCardinality-04 (EG( (! (EX( potential( ( 2 ) <= (tk(P3485)) ))))))
PROPERTY: DLCround-PT-10b-CTLCardinality-05 (EX( (EG( ( potential( (tk(P2708)) <= (tk(P1488)) ) | potential( ( 3 ) <= (tk(P3877)) ) )))))
PROPERTY: DLCround-PT-10b-CTLCardinality-06 (AF((EX( ( potential( ( 3 ) <= (tk(P10)) ) & potential( ( 3 ) <= (tk(P497)) ) )))))
PROPERTY: DLCround-PT-10b-CTLCardinality-07 (AX( ( ( (! potential( ( 3 ) <= (tk(P945)) )) & ( potential( (tk(P1463)) <= (tk(P51)) ) & potential( (tk(P3205)) <= (tk(P860)) ) ) ) & (EF(potential( ( 1 ) <= (tk(P2221)) ))) )))
PROPERTY: DLCround-PT-10b-CTLCardinality-08 ( ( ( (AF(potential( ( 2 ) <= (tk(P661)) ))) | potential( ( 2 ) <= (tk(P2610)) ) ) | (! ( ( potential( ( 1 ) <= (tk(P62)) ) & potential( ( 1 ) <= (tk(P2721)) ) ) | ( potential( ( 3 ) <= (tk(P3506)) ) | potential( (tk(P2201)) <= (tk(P611)) ) ) )) ) | (! (! (AX( potential( ( 2 ) <= (tk(P3645)) ))))) )
PROPERTY: DLCround-PT-10b-CTLCardinality-09 ( (AU( potential( ( 1 ) <= (tk(P632)) ),(! potential( (tk(P2411)) <= (tk(P338)) )) )) | (AF((! (! potential( ( 1 ) <= (tk(P1289)) ))))) )
PROPERTY: DLCround-PT-10b-CTLCardinality-10 ( ( (! (AF(potential( (tk(P893)) <= (tk(P3922)) )))) | (AU( potential( (tk(P312)) <= (tk(P1842)) ),potential( ( 2 ) <= (tk(P1922)) ) )) ) & (AG( (EX( potential( (tk(P319)) <= (tk(P222)) ))))) )
PROPERTY: DLCround-PT-10b-CTLCardinality-11 (EG( (! ( ( potential( ( 3 ) <= (tk(P569)) ) & potential( ( 2 ) <= (tk(P2464)) ) ) & potential( (tk(P1871)) <= (tk(P1520)) ) ))))
PROPERTY: DLCround-PT-10b-CTLCardinality-12 ( (AG( ( potential( ( 1 ) <= (tk(P2125)) ) | ( potential( (tk(P681)) <= (tk(P3107)) ) | potential( ( 3 ) <= (tk(P3288)) ) ) ))) | (EG( ( (! potential( ( 3 ) <= (tk(P3591)) )) | potential( (tk(P719)) <= (tk(P3104)) ) ))) )
PROPERTY: DLCround-PT-10b-CTLCardinality-13 (AG( (EF(potential( (tk(P952)) <= (tk(P1111)) )))))
PROPERTY: DLCround-PT-10b-CTLCardinality-14 ( (AF(( (! potential( (tk(P2728)) <= (tk(P3573)) )) & ( potential( (tk(P491)) <= (tk(P1968)) ) | potential( ( 1 ) <= (tk(P484)) ) ) ))) & (AG( potential( (tk(P893)) <= (tk(P3380)) ))) )
PROPERTY: DLCround-PT-10b-CTLCardinality-15 (EU( (EX( potential( (tk(P3849)) <= (tk(P1986)) ))),(EG( potential( ( 3 ) <= (tk(P1497)) ))) ))

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="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 DLCround-PT-10b, 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-158902542400571"
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 [ "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 ;