Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r064-tall-162038396900223.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-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 itstools
Input is DLCflexbar-PT-5b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-tall-162038396900223
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.8M
-rw-r--r-- 1 mcc users 16K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 135K May 5 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 75K May 5 16:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.4K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 15:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 15:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Mar 28 15:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 15:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 23 03:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 03:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 22 13:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 22 13:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 09:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 6.5M May 5 16:51 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-5b-ReachabilityFireability-00
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-01
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-02
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-03
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-04
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-05
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-06
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-07
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-08
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-09
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-10
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-11
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-12
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-13
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-14
FORMULA_NAME DLCflexbar-PT-5b-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1620495122647

Running Version 0
[2021-05-08 17:32:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityFireability, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-08 17:32:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-08 17:32:04] [INFO ] Load time of PNML (sax parser for PT used): 575 ms
[2021-05-08 17:32:05] [INFO ] Transformed 17305 places.
[2021-05-08 17:32:05] [INFO ] Transformed 26483 transitions.
[2021-05-08 17:32:05] [INFO ] Found NUPN structural information;
[2021-05-08 17:32:05] [INFO ] Parsed PT model containing 17305 places and 26483 transitions in 1291 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityFireability.xml in 14 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 10000 steps, including 2 resets, run finished after 203 ms. (steps per millisecond=49 ) properties (out of 16) seen :6
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-15 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-11 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-09 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-08 FALSE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-07 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-00 TRUE TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 29 ms. (steps per millisecond=344 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 26 ms. (steps per millisecond=384 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 27 ms. (steps per millisecond=370 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 17 ms. (steps per millisecond=588 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 20 ms. (steps per millisecond=500 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 14 ms. (steps per millisecond=714 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 30 ms. (steps per millisecond=333 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 10) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 40 ms. (steps per millisecond=250 ) properties (out of 10) seen :0
Running SMT prover for 10 properties.
// Phase 1: matrix 26483 rows 17305 cols
[2021-05-08 17:32:07] [INFO ] Computed 979 place invariants in 186 ms
[2021-05-08 17:32:14] [INFO ] SMT Verify possible in real domain returnedunsat :0 sat :0 real:10
[2021-05-08 17:32:23] [INFO ] [Nat]Absence check using 979 positive place invariants in 3138 ms returned sat
[2021-05-08 17:32:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2021-05-08 17:32:39] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 10 Parikh solutions to 1 different solutions.
Support contains 55 out of 17305 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 17305/17305 places, 26483/26483 transitions.
Graph (trivial) has 15718 edges and 17305 vertex of which 1320 / 17305 are part of one of the 86 SCC in 60 ms
Free SCC test removed 1234 places
Drop transitions removed 1392 transitions
Reduce isomorphic transitions removed 1392 transitions.
Drop transitions removed 7744 transitions
Trivial Post-agglo rules discarded 7744 transitions
Performed 7744 trivial Post agglomeration. Transition count delta: 7744
Iterating post reduction 0 with 7744 rules applied. Total rules applied 7745 place count 16071 transition count 17347
Reduce places removed 7744 places and 0 transitions.
Ensure Unique test removed 198 transitions
Reduce isomorphic transitions removed 198 transitions.
Drop transitions removed 191 transitions
Trivial Post-agglo rules discarded 191 transitions
Performed 191 trivial Post agglomeration. Transition count delta: 191
Iterating post reduction 1 with 8133 rules applied. Total rules applied 15878 place count 8327 transition count 16958
Reduce places removed 191 places and 0 transitions.
Ensure Unique test removed 57 transitions
Reduce isomorphic transitions removed 57 transitions.
Drop transitions removed 56 transitions
Trivial Post-agglo rules discarded 56 transitions
Performed 56 trivial Post agglomeration. Transition count delta: 56
Iterating post reduction 2 with 304 rules applied. Total rules applied 16182 place count 8136 transition count 16845
Reduce places removed 56 places and 0 transitions.
Performed 23 Post agglomeration using F-continuation condition.Transition count delta: 23
Iterating post reduction 3 with 79 rules applied. Total rules applied 16261 place count 8080 transition count 16822
Reduce places removed 23 places and 0 transitions.
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Performed 1 Post agglomeration using F-continuation condition.Transition count delta: 1
Iterating post reduction 4 with 26 rules applied. Total rules applied 16287 place count 8057 transition count 16819
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 5 with 1 rules applied. Total rules applied 16288 place count 8056 transition count 16819
Performed 95 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 6 with 95 Pre rules applied. Total rules applied 16288 place count 8056 transition count 16724
Deduced a syphon composed of 95 places in 432 ms
Reduce places removed 95 places and 0 transitions.
Iterating global reduction 6 with 190 rules applied. Total rules applied 16478 place count 7961 transition count 16724
Discarding 2256 places :
Symmetric choice reduction at 6 with 2256 rule applications. Total rules 18734 place count 5705 transition count 14468
Iterating global reduction 6 with 2256 rules applied. Total rules applied 20990 place count 5705 transition count 14468
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Drop transitions removed 6 transitions
Trivial Post-agglo rules discarded 6 transitions
Performed 6 trivial Post agglomeration. Transition count delta: 6
Iterating post reduction 6 with 12 rules applied. Total rules applied 21002 place count 5705 transition count 14456
Reduce places removed 6 places and 0 transitions.
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 7 with 9 rules applied. Total rules applied 21011 place count 5699 transition count 14453
Performed 970 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 8 with 970 Pre rules applied. Total rules applied 21011 place count 5699 transition count 13483
Deduced a syphon composed of 970 places in 338 ms
Reduce places removed 970 places and 0 transitions.
Iterating global reduction 8 with 1940 rules applied. Total rules applied 22951 place count 4729 transition count 13483
Discarding 156 places :
Symmetric choice reduction at 8 with 156 rule applications. Total rules 23107 place count 4573 transition count 9890
Iterating global reduction 8 with 156 rules applied. Total rules applied 23263 place count 4573 transition count 9890
Ensure Unique test removed 127 transitions
Reduce isomorphic transitions removed 127 transitions.
Iterating post reduction 8 with 127 rules applied. Total rules applied 23390 place count 4573 transition count 9763
Performed 1152 Post agglomeration using F-continuation condition with reduction of 6 identical transitions.
Deduced a syphon composed of 1152 places in 2 ms
Reduce places removed 1152 places and 0 transitions.
Iterating global reduction 9 with 2304 rules applied. Total rules applied 25694 place count 3421 transition count 8605
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 9 with 7 rules applied. Total rules applied 25701 place count 3421 transition count 8598
Renaming transitions due to excessive name length > 1024 char.
Performed 101 Post agglomeration using F-continuation condition with reduction of 210 identical transitions.
Deduced a syphon composed of 101 places in 7 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 10 with 202 rules applied. Total rules applied 25903 place count 3320 transition count 9332
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 25907 place count 3320 transition count 9328
Discarding 34 places :
Symmetric choice reduction at 11 with 34 rule applications. Total rules 25941 place count 3286 transition count 8852
Iterating global reduction 11 with 34 rules applied. Total rules applied 25975 place count 3286 transition count 8852
Ensure Unique test removed 211 transitions
Reduce isomorphic transitions removed 211 transitions.
Iterating post reduction 11 with 211 rules applied. Total rules applied 26186 place count 3286 transition count 8641
Performed 101 Post agglomeration using F-continuation condition with reduction of 189 identical transitions.
Deduced a syphon composed of 101 places in 4 ms
Reduce places removed 101 places and 0 transitions.
Iterating global reduction 12 with 202 rules applied. Total rules applied 26388 place count 3185 transition count 9380
Drop transitions removed 25 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 27 transitions.
Iterating post reduction 12 with 27 rules applied. Total rules applied 26415 place count 3185 transition count 9353
Discarding 28 places :
Symmetric choice reduction at 13 with 28 rule applications. Total rules 26443 place count 3157 transition count 8961
Iterating global reduction 13 with 28 rules applied. Total rules applied 26471 place count 3157 transition count 8961
Ensure Unique test removed 183 transitions
Reduce isomorphic transitions removed 183 transitions.
Iterating post reduction 13 with 183 rules applied. Total rules applied 26654 place count 3157 transition count 8778
Performed 14 Post agglomeration using F-continuation condition.Transition count delta: -119
Deduced a syphon composed of 14 places in 2 ms
Reduce places removed 14 places and 0 transitions.
Iterating global reduction 14 with 28 rules applied. Total rules applied 26682 place count 3143 transition count 8897
Drop transitions removed 16 transitions
Reduce isomorphic transitions removed 16 transitions.
Iterating post reduction 14 with 16 rules applied. Total rules applied 26698 place count 3143 transition count 8881
Drop transitions removed 91 transitions
Redundant transition composition rules discarded 91 transitions
Iterating global reduction 15 with 91 rules applied. Total rules applied 26789 place count 3143 transition count 8790
Discarding 7 places :
Symmetric choice reduction at 15 with 7 rule applications. Total rules 26796 place count 3136 transition count 8783
Iterating global reduction 15 with 7 rules applied. Total rules applied 26803 place count 3136 transition count 8783
Discarding 7 places :
Symmetric choice reduction at 15 with 7 rule applications. Total rules 26810 place count 3129 transition count 8288
Iterating global reduction 15 with 7 rules applied. Total rules applied 26817 place count 3129 transition count 8288
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 15 with 7 rules applied. Total rules applied 26824 place count 3129 transition count 8281
Performed 7 Post agglomeration using F-continuation condition.Transition count delta: 7
Deduced a syphon composed of 7 places in 2 ms
Reduce places removed 7 places and 0 transitions.
Iterating global reduction 16 with 14 rules applied. Total rules applied 26838 place count 3122 transition count 8274
Discarding 7 places :
Symmetric choice reduction at 16 with 7 rule applications. Total rules 26845 place count 3115 transition count 7781
Iterating global reduction 16 with 7 rules applied. Total rules applied 26852 place count 3115 transition count 7781
Ensure Unique test removed 6 transitions
Reduce isomorphic transitions removed 6 transitions.
Iterating post reduction 16 with 6 rules applied. Total rules applied 26858 place count 3115 transition count 7775
Performed 4 Post agglomeration using F-continuation condition.Transition count delta: -27
Deduced a syphon composed of 4 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 17 with 8 rules applied. Total rules applied 26866 place count 3111 transition count 7802
Drop transitions removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 17 with 4 rules applied. Total rules applied 26870 place count 3111 transition count 7798
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 18 with 19 rules applied. Total rules applied 26889 place count 3111 transition count 7779
Performed 3 Post agglomeration using F-continuation condition.Transition count delta: -18
Deduced a syphon composed of 3 places in 1 ms
Reduce places removed 3 places and 0 transitions.
Iterating global reduction 18 with 6 rules applied. Total rules applied 26895 place count 3108 transition count 7797
Drop transitions removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 18 with 3 rules applied. Total rules applied 26898 place count 3108 transition count 7794
Drop transitions removed 18 transitions
Redundant transition composition rules discarded 18 transitions
Iterating global reduction 19 with 18 rules applied. Total rules applied 26916 place count 3108 transition count 7776
Free-agglomeration rule applied 1930 times with reduction of 1217 identical transitions.
Iterating global reduction 19 with 1930 rules applied. Total rules applied 28846 place count 3108 transition count 4629
Reduce places removed 1930 places and 0 transitions.
Drop transitions removed 2370 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 2378 transitions.
Graph (complete) has 3240 edges and 1178 vertex of which 773 are kept as prefixes of interest. Removing 405 places using SCC suffix rule.4 ms
Discarding 405 places :
Also discarding 321 output transitions
Drop transitions removed 321 transitions
Iterating post reduction 19 with 4309 rules applied. Total rules applied 33155 place count 773 transition count 1930
Drop transitions removed 252 transitions
Ensure Unique test removed 48 transitions
Reduce isomorphic transitions removed 300 transitions.
Iterating post reduction 20 with 300 rules applied. Total rules applied 33455 place count 773 transition count 1630
Discarding 368 places :
Symmetric choice reduction at 21 with 368 rule applications. Total rules 33823 place count 405 transition count 975
Iterating global reduction 21 with 368 rules applied. Total rules applied 34191 place count 405 transition count 975
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 21 with 2 rules applied. Total rules applied 34193 place count 405 transition count 973
Drop transitions removed 56 transitions
Redundant transition composition rules discarded 56 transitions
Iterating global reduction 22 with 56 rules applied. Total rules applied 34249 place count 405 transition count 917
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 22 with 1 rules applied. Total rules applied 34250 place count 404 transition count 917
Discarding 5 places :
Symmetric choice reduction at 23 with 5 rule applications. Total rules 34255 place count 399 transition count 906
Iterating global reduction 23 with 5 rules applied. Total rules applied 34260 place count 399 transition count 906
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 23 with 4 rules applied. Total rules applied 34264 place count 397 transition count 904
Free-agglomeration rule applied 2 times.
Iterating global reduction 23 with 2 rules applied. Total rules applied 34266 place count 397 transition count 902
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 54 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 23 with 57 rules applied. Total rules applied 34323 place count 395 transition count 847
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 24 with 10 rules applied. Total rules applied 34333 place count 395 transition count 837
Partial Free-agglomeration rule applied 1 times.
Drop transitions removed 1 transitions
Iterating global reduction 24 with 1 rules applied. Total rules applied 34334 place count 395 transition count 837
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 24 with 1 rules applied. Total rules applied 34335 place count 394 transition count 836
Reduce places removed 2 places and 0 transitions.
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Iterating post reduction 24 with 4 rules applied. Total rules applied 34339 place count 392 transition count 834
Reduce places removed 2 places and 0 transitions.
Iterating post reduction 25 with 2 rules applied. Total rules applied 34341 place count 390 transition count 834
Performed 4 Post agglomeration using F-continuation condition with reduction of 1 identical transitions.
Deduced a syphon composed of 4 places in 0 ms
Reduce places removed 5 places and 0 transitions.
Iterating global reduction 26 with 9 rules applied. Total rules applied 34350 place count 385 transition count 829
Drop transitions removed 5 transitions
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 26 with 9 rules applied. Total rules applied 34359 place count 385 transition count 820
Discarding 3 places :
Symmetric choice reduction at 27 with 3 rule applications. Total rules 34362 place count 382 transition count 817
Iterating global reduction 27 with 3 rules applied. Total rules applied 34365 place count 382 transition count 817
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 1 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 27 with 6 rules applied. Total rules applied 34371 place count 378 transition count 815
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Graph (trivial) has 8 edges and 378 vertex of which 2 / 378 are part of one of the 1 SCC in 1 ms
Free SCC test removed 1 places
Iterating post reduction 27 with 8 rules applied. Total rules applied 34379 place count 377 transition count 808
Drop transitions removed 29 transitions
Reduce isomorphic transitions removed 29 transitions.
Iterating post reduction 28 with 29 rules applied. Total rules applied 34408 place count 377 transition count 779
Drop transitions removed 83 transitions
Redundant transition composition rules discarded 83 transitions
Iterating global reduction 29 with 83 rules applied. Total rules applied 34491 place count 377 transition count 696
Reduce places removed 2 places and 0 transitions.
Graph (complete) has 1086 edges and 375 vertex of which 368 are kept as prefixes of interest. Removing 7 places using SCC suffix rule.0 ms
Discarding 7 places :
Also discarding 6 output transitions
Drop transitions removed 6 transitions
Iterating post reduction 29 with 3 rules applied. Total rules applied 34494 place count 368 transition count 690
Drop transitions removed 5 transitions
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 13 transitions.
Iterating post reduction 30 with 13 rules applied. Total rules applied 34507 place count 368 transition count 677
Discarding 45 places :
Symmetric choice reduction at 31 with 45 rule applications. Total rules 34552 place count 323 transition count 613
Iterating global reduction 31 with 45 rules applied. Total rules applied 34597 place count 323 transition count 613
Applied a total of 34597 rules in 9343 ms. Remains 323 /17305 variables (removed 16982) and now considering 613/26483 (removed 25870) transitions.
Finished structural reductions, in 1 iterations. Remains : 323/17305 places, 613/26483 transitions.
[2021-05-08 17:32:48] [INFO ] Flatten gal took : 141 ms
[2021-05-08 17:32:48] [INFO ] Flatten gal took : 108 ms
[2021-05-08 17:32:48] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality5758108661180444069.gal : 19 ms
[2021-05-08 17:32:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12867582738247684230.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality5758108661180444069.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12867582738247684230.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality5758108661180444069.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12867582738247684230.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12867582738247684230.prop.
SDD proceeding with computation,10 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,10 properties remain. new max is 8
SDD size :3 after 12
SDD proceeding with computation,10 properties remain. new max is 16
SDD size :12 after 18
SDD proceeding with computation,10 properties remain. new max is 32
SDD size :18 after 108
SDD proceeding with computation,10 properties remain. new max is 64
SDD size :108 after 2160
SDD proceeding with computation,10 properties remain. new max is 128
SDD size :2160 after 6480
SDD proceeding with computation,10 properties remain. new max is 256
SDD size :6480 after 25920
Invariant property DLCflexbar-PT-5b-ReachabilityFireability-01 does not hold.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING
SDD proceeding with computation,9 properties remain. new max is 256
SDD size :25920 after 249120
SDD proceeding with computation,9 properties remain. new max is 512
SDD size :249120 after 251280
SDD proceeding with computation,9 properties remain. new max is 1024
SDD size :251280 after 801378
SDD proceeding with computation,9 properties remain. new max is 2048
SDD size :801378 after 1.02816e+06
SDD proceeding with computation,9 properties remain. new max is 4096
SDD size :1.02816e+06 after 5.09662e+07
Detected timeout of ITS tools.
[2021-05-08 17:33:04] [INFO ] Flatten gal took : 64 ms
[2021-05-08 17:33:04] [INFO ] Applying decomposition
[2021-05-08 17:33:04] [INFO ] Flatten gal took : 58 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/convert-linux64, -i, /tmp/graph9135421427337459660.txt, -o, /tmp/graph9135421427337459660.bin, -w, /tmp/graph9135421427337459660.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202104292328/bin/louvain-linux64, /tmp/graph9135421427337459660.bin, -l, -1, -v, -w, /tmp/graph9135421427337459660.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-08 17:33:09] [INFO ] Decomposing Gal with order
[2021-05-08 17:33:09] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-08 17:33:09] [INFO ] Removed a total of 929 redundant transitions.
[2021-05-08 17:33:09] [INFO ] Flatten gal took : 111 ms
[2021-05-08 17:33:09] [INFO ] Fuse similar labels procedure discarded/fused a total of 77 labels/synchronizations in 33 ms.
[2021-05-08 17:33:09] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17504414392175991998.gal : 9 ms
[2021-05-08 17:33:09] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16491506107459667261.prop : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality17504414392175991998.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16491506107459667261.prop, --nowitness], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp/ReachabilityCardinality17504414392175991998.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16491506107459667261.prop --nowitness
Loading property file /tmp/ReachabilityCardinality16491506107459667261.prop.
SDD proceeding with computation,9 properties remain. new max is 4
SDD size :1 after 4
SDD proceeding with computation,9 properties remain. new max is 8
SDD size :4 after 6
SDD proceeding with computation,9 properties remain. new max is 16
SDD size :6 after 36
SDD proceeding with computation,9 properties remain. new max is 32
SDD size :36 after 864
SDD proceeding with computation,9 properties remain. new max is 64
SDD size :864 after 622080
SDD proceeding with computation,9 properties remain. new max is 128
SDD size :3.409e+08 after 9.17598e+11
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-14 is true.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-14 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Invariant property DLCflexbar-PT-5b-ReachabilityFireability-13 does not hold.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Invariant property DLCflexbar-PT-5b-ReachabilityFireability-12 does not hold.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-10 is true.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-06 is true.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-06 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-03 is true.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-03 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-02 is true.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-02 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,2 properties remain. new max is 128
SDD size :9.17598e+11 after 2.19804e+26
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,1.49279e+28,0.135534,8864,580,363,5222,2285,1038,3831,321,3224,0
Total reachable state count : 14927889633392171429344051200

Verifying 9 reachability properties.
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-02 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-02,2.69257e+22,0.137274,8864,137,123,5222,2285,1069,3831,327,3224,226
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-03 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-03,1.94775e+19,0.137776,8864,132,116,5222,2285,1084,3831,329,3224,234
Invariant property DLCflexbar-PT-5b-ReachabilityFireability-04 does not hold.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-04,6.05829e+22,0.138485,8864,145,122,5222,2285,1090,3831,329,3224,301
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-05 is true.
FORMULA DLCflexbar-PT-5b-ReachabilityFireability-05 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-05,8.27158e+26,0.138877,8864,136,121,5222,2285,1094,3831,329,3224,312
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-06 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-06,1.94775e+19,0.139616,8864,134,117,5222,2285,1128,3831,334,3224,360
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-10 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-10,9.30553e+26,0.139929,8864,129,121,5222,2285,1132,3831,334,3224,362
Invariant property DLCflexbar-PT-5b-ReachabilityFireability-12 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-12,6.39106e+19,0.140691,8864,146,132,5222,2285,1163,3831,338,3224,406
Invariant property DLCflexbar-PT-5b-ReachabilityFireability-13 does not hold.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-13,6.92534e+19,0.141098,8864,136,116,5222,2285,1172,3831,338,3224,428
Reachability property DLCflexbar-PT-5b-ReachabilityFireability-14 is true.

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DLCflexbar-PT-5b-ReachabilityFireability-14,1.94775e+19,0.141881,8864,133,122,5222,2285,1206,3831,338,3224,489
ITS tools runner thread asked to quit. Dying gracefully.
All properties solved without resorting to model-checking.

BK_STOP 1620495190884

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityFireability = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityFireability -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ cut -d . -f 9
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202104292328.jar
+ VERSION=0
+ echo 'Running Version 0'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityFireability -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m

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-5b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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 itstools"
echo " Input is DLCflexbar-PT-5b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-tall-162038396900223"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-5b.tgz
mv DLCflexbar-PT-5b execution
cd execution
if [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "UpperBounds" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] || [ "ReachabilityFireability" = "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 [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityFireability" = "ReachabilityDeadlock" ] || [ "ReachabilityFireability" = "QuasiLiveness" ] || [ "ReachabilityFireability" = "StableMarking" ] || [ "ReachabilityFireability" = "Liveness" ] || [ "ReachabilityFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityFireability"
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 ;